Lecture Notes in Computer Science Lect.Notes ComputerState-of-the-Art Surveys
cover

Prospects for Hardware Foundations

ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

Editors: Möller, Bernhard, Tucker, John V. (Eds.)

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-540-49254-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-65461-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

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

Table of contents (13 chapters)

Table of contents (13 chapters)
  • Introduction: NADA and NIL

    Pages 1-26

  • Streams, Stream Transformers and Domain Representations

    Pages 27-68

    Blanck, Jens (et al.)

  • Ideal Stream Algebra

    Pages 69-116

    Möller, Bernhard

  • Normalization by Evaluation

    Pages 117-137

    Berger, Ulrich (et al.)

  • Algebraic Models of Superscalar Microprocessor Implementations: a Case Study

    Pages 138-183

    Fox, A. C. J. (et al.)

Buy this book

eBook $74.99
price for USA in USD
  • ISBN 978-3-540-49254-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-65461-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Prospects for Hardware Foundations
Book Subtitle
ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters
Editors
  • Bernhard Möller
  • John V. Tucker
Series Title
Lecture Notes in Computer Science
Series Volume
1546
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49254-2
DOI
10.1007/3-540-49254-2
Softcover ISBN
978-3-540-65461-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 470
Topics