 |
|
| MODELING EMBEDDED SYSTEMS AND SOC'S
| |
| | |
|
|
Concurrency and Time in Models of Computation
To order this title, and for more information, click here
By
Axel Jantsch, Royal Institute of Technology, Stockholm, Sweden
Included in series
Systems on Silicon,
Description
Over the last decade, advances in the semiconductor fabrication process have led to the realization of true system-on-a-chip devices.
But the theories, methods and tools for designing, integrating and verifying these complex systems have not kept pace with our ability
to build them. System level design is a critical component in the search for methods to develop designs more productively. However, there
are a number of challenges that must be overcome in order to implement system level modeling.
This book directly addresses that need
by developing organizing principles for understanding, assessing, and comparing the different models of computation necessary for system
level modeling. Dr. Axel Jantsch identifies the representation of time as the essential feature for distinguishing these models. After
developing this conceptual framework, he presents a single formalism for representing very different models, allowing them to be easily
compared. As a result, designers, students, and researchers are able to identify the role and the features of the "right" model of computation
for the task at hand.
Audience
Digital Systems Designers; Embedded Systems Designers, System-on-a-chip designers, graduate students, researchers
Contents
Preface
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
| Bibliographic details |
Hardbound, 351 pages, publication date: JUN-2003
ISBN-13: 978-1-55860-925-9
ISBN-10: 1-55860-925-3
Imprint: MORGAN KAUFFMAN
|
| Price and Ordering |
Price:
EUR 52.95
USD 70.95
GBP 45
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
077/745
Last update: 30 Nov 2009
|
|
| |
| | |
|
|
| |
Home | Elsevier Sites | Privacy Policy | Terms and Conditions | Feedback | Site Map | A Reed Elsevier Company