Willkommen, schön sind Sie da!
Logo Ex Libris

Prospects for Hardware Foundations

  • E-Book (pdf)
  • 470 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
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.... Weiterlesen
CHF 106.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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



Inhalt

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.

Produktinformationen

Titel: Prospects for Hardware Foundations
Untertitel: ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters
Editor:
EAN: 9783540492542
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 31.07.2003
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 470

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"