Modeling embedded systems and SoC's : concurrency and time in models of computation /

Saved in:
Bibliographic Details
Main Author: Jantsch, Axel
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.