Prospects for hardware foundations : ESPRIT Working Group 8533, NADA - new hardware design methods, survey chapters
Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
1546 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Prospects for hardware foundations, ESPRIT Working Group 8533, NADA--new hardware design methods, survey chapters, Bernhard Möller, John V. Tucker, eds, 1998, Berlin, Springer, 1 vol. (X-468 p.), Lecture notes in computer science, 3-540-65461-5 • Prospects for Hardware Foundations, Texte imprimé, 9783662175392 |
Table des matières:
- Introduction: NADA and NIL
- Introduction: NADA and NIL
- I Mathematical Foundations
- Streams, Stream Transformers and Domain Representations
- Ideal Stream Algebra
- Normalization by Evaluation
- II Hardware And Dynamical Systems
- Algebraic Models of Superscalar Microprocessor Implementations: a Case Study
- Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms
- Towards an Algebraic Specification of the Java Virtual Machine
- Grid Protocol Specifications
- The Computational Description of Analogue System Behaviour
- Verification and Deductive Design
- Reasoning about Imperfect Digital Systems
- Formal Verification and Hardware Design with Statecharts
- An Exercise in Conditional Refinement
- Deductive Hardware Design: A Functional Approach.