Last update: Wed Sep 26 02:10:27 MDT 2018
Top |
Symbols |
Numbers |
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
@InProceedings{Bird:1991:SPP,
author = "P. L. Bird and U. F. Pleban",
title = "A semantics-directed partitioning of a processor
architecture",
crossref = "IEEE:1991:PSA",
pages = "702--709",
year = "1991",
bibdate = "Wed Apr 15 16:28:01 MDT 1998",
acknowledgement = ack-nhfb,
classification = "C4210 (Formal logic); C4240 (Programming and
algorithm theory); C5220P (Parallel architecture)",
corpsource = "Adv. Comput. Res. Inst., Lyon, France",
keywords = "action semantics; computer architecture; decoupled
address generation; decoupled control activity;
denotational semantics; formal languages; formal
semantic model; MISD machine; parallel architectures;
processor architecture; programming language semantics;
programming theory; semantics partitioning;
semantics-directed partitioning",
sponsororg = "IEEE; ACM",
treatment = "P Practical",
}
Related entries
- activity,
0(0)76
- address,
0(0)56,
0(0)722,
0(0)890
- algorithm,
0(0)xxiii--917,
0(0)4,
0(0)56,
0(0)101,
0(0)122,
0(0)139,
0(0)187,
0(0)197,
0(0)218,
0(0)294,
0(0)316,
0(0)462,
0(0)502,
0(0)512,
0(0)578,
0(0)600,
0(0)633,
0(0)654,
0(0)678,
0(0)712,
0(0)722,
0(0)732,
0(0)742,
0(0)754,
0(0)764,
0(0)786,
0(0)842,
0(0)854,
0(0)866
- architecture,
0(0)46,
0(0)56,
0(0)122,
0(0)176,
0(0)187,
0(0)208,
0(0)348,
0(0)358,
0(0)370,
0(0)390,
0(0)554,
0(0)578,
0(0)654,
0(0)664,
0(0)682,
0(0)692,
0(0)754,
0(0)764,
0(0)776,
0(0)786,
0(0)842,
0(0)900
- Bird, P. L.,
0(0)187
- C4210,
0(0)722
- C4240,
0(0)4,
0(0)187,
0(0)294,
0(0)512
- C5220P,
0(0)348,
0(0)358,
0(0)554,
0(0)578,
0(0)654,
0(0)664,
0(0)682,
0(0)692,
0(0)776,
0(0)786,
0(0)900
- computer,
0(0)xxiii--917,
0(0)36,
0(0)68,
0(0)76,
0(0)158,
0(0)166,
0(0)253,
0(0)370,
0(0)446,
0(0)462,
0(0)491,
0(0)541,
0(0)554,
0(0)567,
0(0)578,
0(0)664,
0(0)712,
0(0)786,
0(0)796,
0(0)900
- control,
0(0)139,
0(0)187
- decoupled,
0(0)187
- formal,
0(0)722
- generation,
0(0)xxiii--917,
0(0)86,
0(0)101,
0(0)122,
0(0)328,
0(0)348,
0(0)424
- language,
0(0)86,
0(0)101,
0(0)208,
0(0)218,
0(0)264,
0(0)283,
0(0)544,
0(0)610
- logic,
0(0)348,
0(0)370,
0(0)534,
0(0)722
- machine,
0(0)86,
0(0)101,
0(0)111,
0(0)139,
0(0)230,
0(0)316,
0(0)328,
0(0)338,
0(0)424,
0(0)435,
0(0)462,
0(0)472,
0(0)522,
0(0)541,
0(0)554,
0(0)578,
0(0)620,
0(0)679,
0(0)682,
0(0)764,
0(0)806,
0(0)900
- model,
0(0)76,
0(0)176,
0(0)197,
0(0)208,
0(0)253,
0(0)273,
0(0)294,
0(0)424,
0(0)540,
0(0)541,
0(0)654,
0(0)677,
0(0)678,
0(0)679,
0(0)806,
0(0)830
- partitioning,
0(0)111,
0(0)732,
0(0)866
- processor,
0(0)xxiii--917,
0(0)14,
0(0)86,
0(0)101,
0(0)111,
0(0)208,
0(0)230,
0(0)328,
0(0)338,
0(0)424,
0(0)502,
0(0)544,
0(0)578,
0(0)610,
0(0)620,
0(0)633,
0(0)682,
0(0)692,
0(0)742,
0(0)764,
0(0)796,
0(0)806,
0(0)842,
0(0)854,
0(0)900
- theory,
0(0)4,
0(0)158,
0(0)166,
0(0)187,
0(0)197,
0(0)230,
0(0)242,
0(0)294,
0(0)304,
0(0)462,
0(0)512,
0(0)578,
0(0)600,
0(0)633,
0(0)644,
0(0)654,
0(0)712,
0(0)722,
0(0)732,
0(0)742,
0(0)754,
0(0)764,
0(0)786,
0(0)806,
0(0)830,
0(0)842,
0(0)854,
0(0)866