Research Catalog
Modeling embedded systems and SoCs : concurrency and time in models of computation
- Title
- Modeling embedded systems and SoCs : concurrency and time in models of computation / Axel Jantsch.
- Author
- Jantsch, Axel
- Publication
- San Francisco : Morgan Kaufmann, c2004.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | TK7895.E42 J365 2004 | Off-site |
Details
- Description
- xxii, 351 p. : ill.; 25 cm.
- Series Statement
- The Morgan Kaufmann series in systems on silicon
- Uniform Title
- Morgan Kaufmann series in systems on silicon.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [335]-342) and index.
- 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.
- ISBN
- 1558609253
- LCCN
- 2003047408
- OCLC
- ocm51978028
- SCSB-4810606
- Owning Institutions
- Columbia University Libraries