Entry Foster:1986:VMA from compj1980.bib
Last update: Sat Jan 6 02:03:49 MST 2018
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Foster:1986:VMA,
author = "J. M. Foster",
title = "Validating Microcode Algebraically",
journal = j-COMP-J,
volume = "29",
number = "5",
pages = "416--422",
month = oct,
year = "1986",
CODEN = "CMPJA6",
DOI = "https://doi.org/10.1093/comjnl/29.5.416",
ISSN = "0010-4620 (print), 1460-2067 (electronic)",
ISSN-L = "0010-4620",
bibdate = "Tue Dec 4 14:48:21 MST 2012",
bibsource = "Compendex database;
http://comjnl.oxfordjournals.org/content/29/5.toc;
http://www.math.utah.edu/pub/tex/bib/compj1980.bib;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/",
URL = "http://comjnl.oxfordjournals.org/content/29/5/416.full.pdf+html;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/416.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/417.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/418.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/419.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/420.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/421.tif;
http://www3.oup.co.uk/computer_journal/hdb/Volume_29/Issue_05/tiff/422.tif",
acknowledgement = ack-nhfb,
affiliation = "Royal Signals \& Radar Establishment, Malvern, Engl",
affiliationaddress = "Royal Signals \& Radar Establishment, Malvern,
Engl",
classcodes = "C4240 (Programming and algorithm theory); C5220
(Computer architecture); C6150G (Diagnostic, testing,
debugging and evaluating systems)",
classification = "722; 723; 921",
corpsource = "R. Signals and Radar Establ., Malvern, UK",
fjournal = "The Computer Journal",
journal-URL = "http://comjnl.oxfordjournals.org/",
keywords = "computer architecture; expression stack overflow;
Flex; interrupts; mathematical techniques --- Algebra;
methods; microcode validation; microprogramming;
Microprogramming; Perq; program diagnostics; program
testing; programming theory; systematic algebraic;
timing constraints; validating microcode",
treatment = "P Practical; T Theoretical or Mathematical",
}
Related entries
- algebra,
23(1)73,
25(1)56,
25(2)231,
25(3)397,
25(4)493,
26(1)6,
26(2)184,
27(2)159,
28(2)142,
28(3)340,
29(3)261,
30(3)268,
30(6)498,
31(1)34,
31(3)229,
31(4)313,
31(6)564,
31(6)567,
32(2)122
- algebraic,
27(2)178,
27(4)301,
28(1)59,
28(2)142,
28(2)154,
29(3)261,
30(4)316,
31(3)229,
31(4)313,
32(2)122,
32(5)413
- architecture,
23(2)115,
23(4)382,
24(1)25,
24(1)62,
24(2)139,
24(3)210,
24(4)353,
25(1)74,
25(1)153,
25(2)207,
26(1)43,
26(3)208,
27(2)127,
27(3)254,
27(4)294,
27(4)362,
28(2)105,
28(2)138,
28(2)170,
28(3)282,
29(2)103,
29(2)182,
29(4)300,
29(5)451,
29(6)486,
30(2)110,
30(2)157,
30(2)189,
30(3)214,
30(4)289,
30(5)404,
30(5)413,
32(1)29,
32(2)175,
32(3)267,
32(3)281,
32(4)370,
32(5)453,
32(5)461,
32(6)505
- constraint,
24(2)118,
26(2)124,
27(3)209,
28(1)82,
28(2)105,
28(3)298,
28(4)398,
31(2)125,
31(4)336,
32(4)362
- diagnostics,
30(1)16,
32(4)305
- expression,
24(3)288,
25(2)239,
25(3)316,
25(3)340,
26(3)193,
26(4)366,
29(5)423,
30(2)128,
30(4)289,
31(3)220,
31(3)243,
32(1)24,
32(5)461
- flex,
30(5)451
- Foster, J. M.,
30(5)451
- interrupt,
27(3)254,
29(3)229
- mathematical,
24(2)177,
24(2)180,
24(2)184,
25(1)7,
25(1)56,
25(4)478,
26(1)6,
26(2)97,
26(2)106,
26(3)193,
27(2)165,
27(4)368-1,
28(1)5,
28(1)78,
28(1)89,
28(2)142,
28(2)179,
28(4)414,
28(4)417,
28(4)426,
28(5)498,
28(5)524,
28(5)530,
28(5)538,
29(1)36,
29(1)52,
29(2)171,
29(2)176,
29(2)182,
29(4)378,
29(6)553,
30(1)16,
30(1)20,
30(1)70,
30(2)128,
30(2)189,
30(3)258,
30(3)268,
30(3)282,
30(4)298,
30(5)458,
30(6)498,
30(6)569,
31(1)61,
31(1)71,
31(1)76,
31(2)155,
31(3)229,
31(3)243,
31(3)283,
31(4)364,
31(6)490,
31(6)545,
31(6)557,
31(6)564,
31(6)567,
32(1)45,
32(1)68,
32(1)76,
32(1)86,
32(1)93,
32(2)175,
32(4)351,
32(4)374,
32(4)377
- method,
22(2)105,
24(2)139,
24(2)190,
24(3)230,
24(4)320,
25(1)7,
25(1)56,
25(1)61,
25(3)327,
25(3)353,
26(1)6,
26(2)187,
26(3)199,
26(3)283,
27(3)218,
27(3)238,
28(2)112,
28(2)184,
28(3)330,
28(4)372,
28(4)379,
28(4)417,
28(4)433,
28(4)444,
28(5)498,
29(2)97,
29(2)118,
29(2)167,
29(5)434,
30(1)70,
30(2)149,
30(2)163,
30(2)189,
30(3)268,
30(3)277,
30(4)289,
30(4)295,
30(4)316,
30(4)337,
30(4)376,
30(6)535,
31(1)83,
31(6)510,
31(6)565,
31(6)570,
32(1)93,
32(2)108,
32(2)142,
32(2)187,
32(3)220,
32(3)238,
32(3)241,
32(3)281,
32(4)305,
32(4)374,
32(4)377,
32(5)385,
32(5)432,
32(6)563
- overflow,
23(2)153,
25(3)347,
28(3)319,
28(3)330,
29(2)167,
30(6)529,
z(z)z
- stack,
23(2)153,
25(1)159,
25(2)264,
28(1)9,
28(3)257
- systematic,
25(4)410,
28(2)138,
32(5)453
- testing,
25(4)465,
27(3)201,
27(3)238,
27(4)340,
29(4)380,
29(4)380-1,
30(1)63,
30(3)258,
30(4)378,
31(1)12,
31(1)17,
31(3)201,
31(5)437,
32(5)437
- timing,
23(2)142
- validation,
24(2)139,
24(4)347,
27(3)238,
28(4)357,
29(4)330