Modeling embedded systems and SoC's : concurrency and time in models of computation /
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 des...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
San Francisco :
Morgan Kaufmann,
2004.
|
| Series: | Morgan Kaufmann series in systems on silicon.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book Publisher description Table of contents |
MARC
| Tag | First Indicator | Second Indicator | Subfields |
|---|---|---|---|
| LEADER | 00000cam a2200000Ia 4500 | ||
| 001 | in00002425779 | ||
| 006 | m d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070806s2004 caua sb 001 0 eng d | ||
| 005 | 20260609193322.2 | ||
| 020 | |a 9781558609259 | ||
| 020 | |a 1558609253 | ||
| 035 | |a (OCoLC)162596809 | ||
| 037 | |a 97289:97289 |b Elsevier Science & Technology |n http://www.sciencedirect.com | ||
| 040 | |a OPELS |c OPELS |d UtOrBLW | ||
| 049 | |a TEFA | ||
| 050 | 1 | 4 | |a TK7895.E42 |b J365 2004eb |
| 082 | 0 | 4 | |a 004.16 |2 22 |
| 100 | 1 | |a Jantsch, Axel. | |
| 245 | 1 | 0 | |a Modeling embedded systems and SoC's : |b concurrency and time in models of computation / |c Axel Jantsch. |
| 264 | 1 | |a San Francisco : |b Morgan Kaufmann, |c 2004. | |
| 300 | |a xxii, 351 pages : |b illustrations ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a The Morgan Kaufmann series in systems on silicon | |
| 533 | |a Electronic reproduction. |b Amsterdam : |c Elsevier Science & Technology, |d 2007. |n Mode of access: World Wide Web. |n System requirements: Web browser. |n Title from title screen (viewed on Aug. 2, 2007). |n Access may be restricted to users at subscribing institutions. | ||
| 520 | |a 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. *Offers a unique and significant contribution to the emerging field of models of computation *Presents a systematic way of understanding and applying different Models of Computation to embedded systems and SoC design *Offers insights and illustrative examples for practioners, researchers and students of complex electronic systems design. | ||
| 505 | 0 | |a 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. | |
| 504 | |a Includes bibliographical references and index. | ||
| 500 | |a Electronic resource. | ||
| 650 | 0 | |a Embedded computer systems |x Design and construction |x Data processing. | |
| 650 | 0 | |a Systems on a chip |x Design and construction |x Data processing. | |
| 650 | 0 | |a Timing circuits |x Design and construction |x Data processing. | |
| 650 | 0 | |a Computer multitasking. | |
| 650 | 7 | |a Arquitetura e organização de computadores. |2 larpcal | |
| 650 | 7 | |a Sistemas embutidos. |2 larpcal | |
| 655 | 7 | |a Electronic books. |2 local | |
| 730 | 0 | |a Referex. | |
| 776 | 1 | |c Original |z 1558609253 |z 9781558609259 |w (DLC) 2003047408 |w (OCoLC)51978028 | |
| 830 | 0 | |a Morgan Kaufmann series in systems on silicon. | |
| 856 | 4 | 0 | |u http://proxy.library.tamu.edu/login?url=https://www.sciencedirect.com/science/book/9781558609259 |z Connect to the full text of this electronic book |t 0 |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/description/els031/2003047408.html |t 0 |
| 856 | 4 | 2 | |3 Table of contents |u http://www.loc.gov/catdir/toc/els031/2003047408.html |t 0 |
| 994 | |a C0 |b TEF | ||
| 999 | |a MARS | ||
| 999 | f | f | |s 156d03cd-75d4-36c8-9c53-0d64f10bbccc |i 32899fc2-41f9-3306-b7d5-a4bc34c882a0 |t 0 |
| 952 | f | f | |a Texas A&M University |b College Station |c Electronic Resources |s www_evans |d Available Online |t 0 |e TK7895.E42 J365 2004eb |h Library of Congress classification |
| 998 | f | f | |a TK7895.E42 J365 2004eb |t 0 |l Available Online |