Concurrency and Hardware Design
Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg
Résumé
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.
- Formal Models
- Asynchronous Circuits
- Embedded System Design
- Timed Verification and Performance Analysis
- Author Index
L'auteur - Jordi Cortadella
Cortadella, J., Technical University of Catalonia, Barcelona, Spain; Editor
L'auteur - Alex Yakovlev
Yakovlev, A., University of Newcastle, Newcastle upon Tyne, UK
L'auteur - Grzegorz Rozenberg
Rozenberg, G., Leiden University, Leiden, The Netherlands (Eds.)
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg |
| Parution | 18/02/2003 |
| Nb. de pages | 346 |
| Format | 15,5 x 23,5 |
| Couverture | Relié |
| Poids | 535g |
| Intérieur | Noir et Blanc |
| EAN13 | 9783540001997 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
