The complexity of simple computer architectures
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...
محفوظ في:
| المؤلفون الرئيسيون: | , |
|---|---|
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
995 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The complexity of simple computer architectures, Silvia M. Müller, Wolfgang J. Paul, Berlin, Springer, 1995, 1 vol. (XII-270 p.), Lecture notes in computer science, 3-540-60580-0 • The Complexity of Simple Computer Architectures, Texte imprimé, 9783662195499 |
| LEADER | 03339nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 944676 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155197371 | ||
| 020 | |a 9783540477747 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 004.22 | ||
| 100 | 1 | |a Müller, Silvia M., |d 19..- | |
| 245 | 1 | 0 | |a The complexity of simple computer architectures |c Silvia M. Müller, Wolfgang J. Paul. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 995 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Systèmes informatiques |x Pannes | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Architecture des ordinateurs | ||
| 650 | |a Structure logique | ||
| 650 | |a Microprogrammation | ||
| 650 | |a Unités arithmétiques et logiques | ||
| 700 | 1 | |a Paul, Wolfgang J., |d 1951- |4 aut | |
| 776 | 0 | |0 024471933 |t The complexity of simple computer architectures |f Silvia M. Müller, Wolfgang J. Paul |c Berlin |n Springer |d 1995 |p 1 vol. (XII-270 p.) |s Lecture notes in computer science |z 3-540-60580-0 | |
| 776 | 0 | |t The Complexity of Simple Computer Architectures |b Texte imprimé |z 9783662195499 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60580-0 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-ZXPWHQ51-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747917485 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60580-0 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750930055 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60580-0 |z Accès INSA CVL | |
| 997 | |0 944676 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||

