Modeling embedded systems and SoC's : concurrency and time in models of computation /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
San Francisco ; London :
Morgan Kaufmann,
c2004.
|
| Series: | Morgan Kaufmann series in systems on silicon
|
| Subjects: | |
| Online Access: | Publisher description Table of contents |
Table of Contents:
- 1. Introduction
- 2. Behavior and Concurrency
- 3. The Untimed Model of Computation
- 4. The Synchronous Model of Computation
- 5. The Timed Model of Computation
- 6. MoC Interfaces
- 7. Tightly Coupled Process Networks
- 8. Nondeterminism and Probability
- 9. Applications
- 10. Concluding Remarks.