Synthesizing synchronous systems by static scheduling in space-time
The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that have been proposed during the last few years. Thus the treatment is fairly mathematical. In a space-tim...
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Thèse numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| মালা: | Lecture notes in computer science
362 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| টীকা: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Synthesizing synchronous systems by static scheduling in space-time, Björn Lisper, Berlin, Springer-Verlag, 1989, 1 vol. (VI-262 p.), Lecture notes in computer science, 3-540-51156-3 • Synthesizing Synchronous Systems by Static Scheduling in Space-Time, Texte imprimé, 9783662195758 |
সূচিপত্রের সারণি:
- Preliminaries
- Output specification
- Formal expressions as schemes for evaluation
- Computational events and computation networks
- Compound events of computation
- A hardware model
- Schedules and performance criteria
- Index vectors and complexity
- Data dependent scheduling
- Applications
- Conclusions.