Concurrency and Hardware Design
Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg
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.
الفئات:
عام:
2003
الإصدار:
1
الناشر:
Springer
اللغة:
english
الصفحات:
354
ISBN 10:
3540001999
ISBN 13:
9783540001997
ملف:
DJVU, 3.63 MB
IPFS:
,
english, 2003