The complexity of simple computer architectures [electronic resource] / Silvia M. Müller, Wolfgang J. Paul.

This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives fo...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Main Author: Müller, Silvia M.
Other Authors: Paul, Wolfgang J., 1951-
Format: Electronic eBook
Language:English
Published: Berlin ; New York : Springer, ©1995.
Series:Lecture notes in computer science ; 995.
Subjects:

MARC

LEADER 00000cam a2200000xa 4500
001 b8601836
006 m o d
007 cr |||||||||||
008 951012s1995 gw a ob 001 0 eng d
005 20240418143100.8
019 |a 990412761  |a 1005827280  |a 1162799793  |a 1238939659  |a 1259160507  |a 1340075613 
020 |a 9783540477747  |q (electronic bk.) 
020 |a 3540477748  |q (electronic bk.) 
020 |z 9783540605805 
020 |z 3540605800 
024 7 |a 10.1007/3-540-60580-0 
035 |a (OCoLC)spr326708784 
035 |a (OCoLC)326708784  |z (OCoLC)990412761  |z (OCoLC)1005827280  |z (OCoLC)1162799793  |z (OCoLC)1238939659  |z (OCoLC)1259160507  |z (OCoLC)1340075613 
037 |a spr3-540-60580-0 
040 |a SCPER  |b eng  |e pn  |c CUSER  |d OCLCQ  |d GW5XE  |d OCLCF  |d OCLCQ  |d UA@  |d OCLCQ  |d LIP  |d UAB  |d ESU  |d OCLCQ  |d VT2  |d OCLCQ  |d CEF  |d DEHBZ  |d OCLCQ  |d AU@  |d LEAUB  |d OL$  |d OCLCQ  |d HS0  |d EUX  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d COA  |d OCLCQ 
049 |a GWRE 
050 4 |a QA76.9.A73  |b M84 1995 
100 1 |a Müller, Silvia M.  |0 http://id.loc.gov/authorities/names/n95100965  |1 http://isni.org/isni/0000000115843746. 
245 1 4 |a The complexity of simple computer architectures  |h [electronic resource] /  |c Silvia M. Müller, Wolfgang J. Paul. 
260 |a Berlin ;  |a New York :  |b Springer,  |c ©1995. 
300 |a 1 online resource (xii, 270 pages) :  |b illustrations. 
336 |a text  |b txt  |2 rdacontent. 
337 |a computer  |b c  |2 rdamedia. 
338 |a online resource  |b cr  |2 rdacarrier. 
347 |a text file. 
347 |b PDF. 
490 1 |a Lecture notes in computer science ;  |v 995. 
504 |a Includes bibliographical references (pages 263-265) and index. 
505 0 |a The formal architecture model -- Functional modules -- Hardwired control -- Design of a minimal CPU -- Design of the DLX machine -- Trade-off analyses -- Interrupt -- Microprogrammed control -- Further applications of the architecture model. 
520 |a This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives for the well-known RISC architecture called DLX are analyzed quantitatively. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts correctly. In an appendix all programs to compute the cost and cycle time of the designs described are listed in C code. Running these simple C programs on a PC is sufficient to verify the results presented. The book addresses design professionals and students in computer architecture. 
546 |a English. 
588 0 |a Print version record. 
650 0 |a Computer architecture.  |0 http://id.loc.gov/authorities/subjects/sh85029479. 
650 7 |a Computer architecture.  |2 fast  |0 (OCoLC)fst00872026. 
700 1 |a Paul, Wolfgang J.,  |d 1951-  |0 http://id.loc.gov/authorities/names/n78070422  |1 http://isni.org/isni/0000000108641054. 
776 0 8 |i Print version:  |a Müller, Silvia M.  |t Complexity of simple computer architectures.  |d Berlin ; New York : Springer, ©1995  |z 3540605800  |w (DLC) 95045657  |w (OCoLC)33333580. 
830 0 |a Lecture notes in computer science ;  |v 995.  |0 http://id.loc.gov/authorities/names/n42015162. 
856 4 0 |u https://colorado.idm.oclc.org/login?url=https://link.springer.com/10.1007/3-540-60580-0  |z Full Text (via Springer) 
907 |a .b8601836x  |b 02-01-23  |c 06-02-16 
998 |a web  |b 01-31-23  |c b  |d b   |e -  |f eng  |g gw   |h 4  |i 1 
907 |a .b8601836x  |b 01-31-23  |c 06-02-16 
944 |a MARS - RDA ENRICHED 
956 |a Computer Science 
915 |a - 
956 |a Springer e-books: archive 
956 |a Springer e-books 
956 |b Springer Nature - Springer Book Archive - Springer Computer Science 
999 f f |i 0ca670a5-b32c-58fd-8561-765d470a26ba  |s 5847fe3b-6c63-550e-ac7f-e0aa0cc39e1b 
952 f f |p Can circulate  |a University of Colorado Boulder  |b Online  |c Online  |d Online  |e QA76.9.A73 M84 1995  |h Library of Congress classification  |i Ebooks, Prospector  |n 1