Prospects for Hardware Foundations (eBook, PDF)

ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters
Redaktion: Möller, Bernhard; Tucker, John V.

• Format: PDF

Produktbeschreibung

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 NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68, 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 33 34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 35 36 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 37

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 470
• Erscheinungstermin: 31. Juli 2003
• Englisch
• ISBN-13: 9783540492542
• Artikelnr.: 53393299

Inhaltsangabe

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.