Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
E-Book/E-Doc
Author Jantsch, Axel.

Title Modeling embedded systems and SoC's : concurrency and time in models of computation / Axel Jantsch.

Imprint San Francisco : Morgan Kaufmann, ©2004.

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
Description 1 online resource (xxii, 351 pages) : illustrations
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Series The Morgan Kaufmann series in systems on silicon
Morgan Kaufmann series in systems on silicon.
Bibliography Includes bibliographical references 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.
Note Print version record.
Summary 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
Language English.
Subject Embedded computer systems -- Design and construction -- Data processing.
Systems on a chip -- Design and construction -- Data processing.
Timing circuits -- Design and construction -- Data processing.
Computer multitasking.
Fonctionnement multitâche.
COMPUTERS -- Hardware -- Personal Computers -- General.
COMPUTERS -- Hardware -- Handheld Devices.
COMPUTERS -- Microprocessors.
Embedded computer systems -- Design and construction -- Data processing.
Systems on a chip -- Design and construction -- Data processing.
Timing circuits -- Design and construction -- Data processing.
Multitasking (Computer science)
Computer multitasking
Embedded computer systems -- Design and construction -- Data processing
Arquitetura e organização de computadores.
Sistemas embutidos.
Other Form: Print version: Jantsch, Axel. Modeling embedded systems and SoC's. San Francisco : Morgan Kaufmann, ©2004 1558609253 9781558609259 (DLC) 2003047408 (OCoLC)51978028
ISBN 9780080511825 (electronic bk.)
0080511821 (electronic bk.)
9781558609259
1558609253
1281022683
9781281022684
9786611022686
6611022686
1558609253
Standard No. AU@ 000051427316
AU@ 000051860306
AU@ 000054163120
CHNEW 001007193
DEBBG BV042307653
DEBBG BV043129476
DEBSZ 355438356
DEBSZ 367756994
DEBSZ 422181358
GBVCP 802357040
HEBIS 291508995
NZ1 12435599
AU@ 000069011325

 
    
Available items only