Concurrency and hardware design : advances in petri nets

Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg (eds.)

This LNCS State-of-the-Art Survey is devoted to the relatively old and well-known behavioral paradigm in computing, concurrency, and to the ways in which concurrency is exhibited or can be exploited in digital hardware devices. The nine chapters presented are organized in four parts on formal methods, asynchronous circuits, embedded systems design, and timed verification and performance analysis.

「Nielsen BookData」より


  • Formal Models.- Composing Snippets.- A Programming Approach to the Design of Asynchronous Logic Blocks.- Asynchronous Circuits.- GALA (Globally Asynchronous - Locally Arbitrary) Design.- Synthesis of Reactive Systems: Application to Asynchronous Circuit Design.- Decomposition in Asynchronous Circuit Design.- Embedded System Design.- Functional and Performance Modeling of Concurrency in VCC.- Modeling and Designing Heterogeneous Systems.- Timed Verification and Performance Analysis.- Timed Verification of Asynchronous Circuits.- Performance Analysis of Asynchronous Circuits Using Markov Chains.

「Nielsen BookData」より


書名 Concurrency and hardware design : advances in petri nets
著作者等 Rozenberg, Grzegorz
Yakovlev Alex
Cortadella Jordi
シリーズ名 Lecture notes in computer science
出版元 Springer
刊行年月 c2002
ページ数 ix, 343 p.
大きさ 24 cm
ISBN 3540001999
NCID BA60126656
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ