nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A fleeting moment of recognition
|
Steve, Hitchcock |
|
1990 |
14 |
10 |
p. 618- 1 p. |
artikel |
2 |
Complete high-performance cache system for the 80386
|
Safai, Mammad |
|
1990 |
14 |
10 |
p. 664-675 12 p. |
artikel |
3 |
Computation Structures
|
Clements, Alan |
|
1990 |
14 |
10 |
p. 677- 1 p. |
artikel |
4 |
Computer Architecture
|
Tabak, Daniel |
|
1990 |
14 |
10 |
p. 676- 1 p. |
artikel |
5 |
Enhancing MC68030 performance using the SN74ACT2155 cache
|
|
|
1990 |
14 |
10 |
p. 653-663 11 p. |
artikel |
6 |
Formal aspects of microprocessor design
|
Zedan, Hussein |
|
1990 |
14 |
10 |
p. 621-622 2 p. |
artikel |
7 |
Formal specification of the ProCoS/safemos instruction set
|
Bowen, Jonathan |
|
1990 |
14 |
10 |
p. 631-643 13 p. |
artikel |
8 |
Hardware Specification, Verification and Synthesis: Mathematical Aspects
|
Zedan, Hussein |
|
1990 |
14 |
10 |
p. 676- 1 p. |
artikel |
9 |
Index to volume 14 numbers 1–10, pages 1–680 (1990)
|
|
|
1990 |
14 |
10 |
p. 678-680 3 p. |
artikel |
10 |
Intel/AMD lead processor charge on PC chip sets
|
|
|
1990 |
14 |
10 |
p. 619-620 2 p. |
artikel |
11 |
Interfacing transputer links to external devices
|
Milway, Michael |
|
1990 |
14 |
10 |
p. 644-652 9 p. |
artikel |
12 |
Verified microcode design
|
Shepherd, David |
|
1990 |
14 |
10 |
p. 623-630 8 p. |
artikel |