Architecture Design and Validation Methods /
This state-of-the-art survey gives a systematic presentation of recent advances in the design and validation of computer architectures. Based on advanced research ideas and approaches, and written by eminent researchers in the field, seven chapters cover the whole range from computer aided high-leve...
| Main Author: | Börger, Egon |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint : Springer,
2000.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems : Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.-22. September 1989, Proceedings /
by: Görke, Winfried
Published: (1989)
by: Görke, Winfried
Published: (1989)
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I /
Published: (2022)
Published: (2022)
Digital Design from the VLSI Perspective : Concepts for VLSI Beginners /
by: Taraate, Vaibbhav
Published: (2023)
by: Taraate, Vaibbhav
Published: (2023)
Practical Formal Methods for Hardware Design /
by: Delgado Kloos, Carlos
Published: (1997)
by: Delgado Kloos, Carlos
Published: (1997)
Microprogramming and computer architecture /
by: Segee, Bruce
Published: (1991)
by: Segee, Bruce
Published: (1991)
Multi-Threaded Programming in C++ /
by: Walmsley, Mark
Published: (2000)
by: Walmsley, Mark
Published: (2000)
Microprogrammable computer architectures /
by: Salisbury, Alan B.
Published: (1976)
by: Salisbury, Alan B.
Published: (1976)
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV /
Published: (2022)
Published: (2022)
Microprogrammed state machine design /
by: Lynch, Michel A.
Published: (1993)
by: Lynch, Michel A.
Published: (1993)
Microprogramming and firmware engineering methods /
Published: (1988)
Published: (1988)
Microprocessor design : a practical guide from design planning to manufacturing /
by: McFarland, Grant (Grant W.)
Published: (2006)
by: McFarland, Grant (Grant W.)
Published: (2006)
Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
Published: (2023)
Published: (2023)
Abstract State Machines : A Method for High-Level System Design and Analysis /
by: Börger, Egon
Published: (2003)
by: Börger, Egon
Published: (2003)
Concepts in User Interfaces : : Reference Model for Command and Response Languages /
Published: (1986)
Published: (1986)
Principles of firmware engineering in microprogram control /
by: Andrews, Michael, 1940-
Published: (1980)
by: Andrews, Michael, 1940-
Published: (1980)
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published: (2023)
Published: (2023)
Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published: (2023)
Published: (2023)
Dependable Computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings /
by: Echtle, Klaus
Published: (1994)
by: Echtle, Klaus
Published: (1994)
Digital system design with LSI bit-slice logic /
by: Myers, Glenford J., 1946-
Published: (1980)
by: Myers, Glenford J., 1946-
Published: (1980)
Optimal design of distributed control and embedded systems / Arben Çela ... [et al.].
by: Çela, Arben
Published: (2014)
by: Çela, Arben
Published: (2014)
Journal of systems architecture.
Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings /
Published: (2024)
Published: (2024)
Tutorial, microprogramming and firmware engineering /
by: Milutinović, Veljko
Published: (1989)
by: Milutinović, Veljko
Published: (1989)
Testing and Diagnosis of Analog Circuits and Systems /
by: Liu, Ruey-wen
Published: (1991)
by: Liu, Ruey-wen
Published: (1991)
Control Flow and Data Flow: Concepts of Distributed Programming : International Summer School /
by: Broy, Manfred
Published: (1985)
by: Broy, Manfred
Published: (1985)
Guide to Computer Processor Architecture : A RISC-V Approach, with High-Level Synthesis /
by: Goossens, Bernard
Published: (2023)
by: Goossens, Bernard
Published: (2023)
Computer systems design and architecture /
by: Heuring, Vincent P.
Published: (1997)
by: Heuring, Vincent P.
Published: (1997)
Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
Published: (2022)
Published: (2022)
Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
Published: (2022)
Published: (2022)
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /
Published: (2022)
Published: (2022)
AMD 29300 microprogrammed processor design report /
by: Liu, Jyh-Charn
Published: (1992)
by: Liu, Jyh-Charn
Published: (1992)
STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16-18, 1989 Proceedings /
Published: (1989)
Published: (1989)
Theory and Design of Digital Computer Systems /
by: Lewin, Douglas
Published: (1992)
by: Lewin, Douglas
Published: (1992)
Software engineering : selected readings /
Published: (2000)
Published: (2000)
Firmware, microprogramming, and restructurable hardware : proceedings of the IFIP Working Conference on Firmware, Microprogramming, and Restructurable Hardware, Linz, Austria, April 28-May 1, 1980 /
Published: (1980)
Published: (1980)
Proceedings of the ... Annual Workshop on Microprogramming and Microarchitecture.
Published: (1988)
Published: (1988)
Proceedings of the ... annual workshop and symposium : MICRO.
Published: (1990)
Published: (1990)
Proceedings of the ... annual workshop and symposium : MICRO ... : microprogramming and microarchitecture /
Published: (1990)
Published: (1990)
Microprogramming techniques with sample programs /
by: Evans, Stanley J.
Published: (1979)
by: Evans, Stanley J.
Published: (1979)
Programming microcomputers with sample programs /
by: Evans, Stanley J.
Published: (1980)
by: Evans, Stanley J.
Published: (1980)