عنوان

Modeling embedded systems and SoC's :

شابک

0080511821

شابک

1281022683

شابک

1558609253

شابک

6611022686

شابک

9780080511825

شابک

9781281022684

شابک

9781558609259

شابک

9786611022686

شابک اشتباه

1558609253

شماره

b768169

عنوان اصلي

Modeling embedded systems and SoC's :

نام عام مواد

[Book]

ساير اطلاعات عنواني

concurrency and time in models of computation /

نام نخستين پديدآور

Axel Jantsch.

محل نشرو پخش و غیره

San Francisco :

نام ناشر، پخش کننده و غيره

Morgan Kaufmann,

تاریخ نشرو بخش و غیره

©2004.

نام خاص و کميت اثر

1 online resource (xxii, 351 pages) :

ساير جزييات

illustrations

عنوان فروست

The Morgan Kaufmann series in systems on silicon

متن يادداشت

Includes bibliographical references and index.

متن يادداشت

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

متن يادداشت

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.

منبع سفارش / آدرس اشتراک

Safari Books Online

شماره انبار

CL0500000046

عنوان

Modeling embedded systems and SoC's.

شماره استاندارد بين المللي کتاب و موسيقي

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

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Jantsch, Axel.

تاريخ عمليات

20201206133835.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y