عنوان

Modeling embedded systems and SoC's :

(Number (ISBN

0080511821

(Number (ISBN

1281022683

(Number (ISBN

1558609253

(Number (ISBN

6611022686

(Number (ISBN

9780080511825

(Number (ISBN

9781281022684

(Number (ISBN

9781558609259

(Number (ISBN

9786611022686

Erroneous ISBN

1558609253

Number

b768169

Title Proper

Modeling embedded systems and SoC's :

General Material Designation

[Book]

Other Title Information

concurrency and time in models of computation /

First Statement of Responsibility

Axel Jantsch.

Place of Publication, Distribution, etc.

San Francisco :

Name of Publisher, Distributor, etc.

Morgan Kaufmann,

Date of Publication, Distribution, etc.

©2004.

Specific Material Designation and Extent of Item

1 online resource (xxii, 351 pages) :

Other Physical Details

illustrations

Series Title

The Morgan Kaufmann series in systems on silicon

Text of Note

Includes bibliographical references and index.

Text of Note

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.

0

Text of Note

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.

Source for Acquisition/Subscription Address

Safari Books Online

Stock Number

CL0500000046

Title

Modeling embedded systems and SoC's.

International Standard Book Number

9781558609259

Computer multitasking.

Embedded computer systems-- Design and construction-- Data processing.

Systems on a chip-- Design and construction-- Data processing.

Timing circuits-- Design and construction-- Data processing.

Arquitetura e organização de computadores.

Computer multitasking.

COMPUTERS-- Hardware-- Handheld Devices.

COMPUTERS-- Hardware-- Personal Computers-- General.

COMPUTERS-- Microprocessors.

Embedded computer systems-- Design and construction-- Data processing.

Embedded computer systems-- Design and construction-- Data processing.

Multitasking (Computer science)

Sistemas embutidos.

Systems on a chip-- Design and construction-- Data processing.

Timing circuits-- Design and construction-- Data processing.

COM-- 041000

COM-- 050000

COM-- 074000

Number

Edition

Class number

Book number

Jantsch, Axel.

Date of Transaction

20201206133835.0

Cataloguing Rules (Descriptive Conventions))

pn

Electronic name

[Book]

Y