Items related to Prospects for Hardware Foundations: Esprit Working...

Prospects for Hardware Foundations: Esprit Working Group 8533 Nada - New Hardware Design Methods Survey Chapters: 1546 (Lecture Notes in Computer Science, 1546) - Softcover

Möller, Bernhard

 
9783540654612: Prospects for Hardware Foundations: Esprit Working Group 8533 Nada - New Hardware Design Methods Survey Chapters: 1546 (Lecture Notes in Computer Science, 1546)
Softcover
ISBN 10: 3540654615 ISBN 13: 9783540654612
Publisher: Springer, 2013

Synopsis

This volume is devoted to the theoretical foundations of hardware design. The 12 chapters presented are organized in sections on mathematical foundations of hardware modelling; models of hardware and dynamical systems; and verification and deductive design of systems. The book is a memoir documenting scientific work done by the NADA Working Group within ESPRIT Basic Research Action 8533.The chapters address theoretical topics including stream processing, spatially extended systems, hierarchical structures, and integration of digital analogue models. There are case studies of superscalar processors, the Java Virtual Machine, and biological excitable media; various design and verification techniques are presented.

"synopsis" may belong to another edition of this title.

Synopsis

This volume is devoted to the theoretical foundations of hardware design. The 12 chapters presented are organized in sections on mathematical foundations of hardware modelling; models of hardware and dynamical systems; and verification and deductive design of systems. The book is a memoir documenting scientific work done by the NADA Working Group within ESPRIT Basic Research Action 8533.The chapters address theoretical topics including stream processing, spatially extended systems, hierarchical structures, and integration of digital analogue models. There are case studies of superscalar processors, the Java Virtual Machine, and biological excitable media; various design and verification techniques are presented.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
3540654615
ISBN 13 
9783540654612
Binding
Paperback
Number of pages
484