Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Jantsch, Axel
Formato: Electrónico eBook
Idioma:Inglés
Publicado: San Francisco : Morgan Kaufmann, �2004.
Colección:Morgan Kaufmann series in systems on silicon.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn173972441
003 OCoLC
005 20231117015028.0
006 m o d
007 cr cnu---unuuu
008 071010s2004 caua ob 001 0 eng d
040 |a N$T  |b eng  |e pn  |c N$T  |d OCLCQ  |d YDXCP  |d OCLCA  |d OCLCQ  |d IDEBK  |d E7B  |d OCLCQ  |d UMI  |d CEF  |d NHM  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d OCLCO  |d OCLCQ  |d NLGGC  |d OCLCO  |d OCLCQ  |d OCLCO  |d OPELS  |d OCLCO  |d OCLCQ  |d OCLCO  |d COO  |d OCLCO  |d AGLDB  |d OCLCQ  |d OCLCF  |d STF  |d D6H  |d VTS  |d OCLCQ  |d AU@  |d WYU  |d UAB  |d REC  |d LEAUB  |d M8D  |d VT2  |d OCLCQ  |d K6U  |d VLY  |d OCLCO  |d OCLCQ  |d OCLCO 
019 |a 162596809  |a 434023504  |a 648243777  |a 856952239  |a 1035710384  |a 1044314997  |a 1056376691  |a 1064949214  |a 1074982567  |a 1103263570  |a 1129348389  |a 1162251105 
020 |a 9780080511825  |q (electronic bk.) 
020 |a 0080511821  |q (electronic bk.) 
020 |a 9781558609259 
020 |a 1558609253 
020 |a 1281022683 
020 |a 9781281022684 
020 |a 9786611022686 
020 |a 6611022686 
020 |z 1558609253 
035 |a (OCoLC)173972441  |z (OCoLC)162596809  |z (OCoLC)434023504  |z (OCoLC)648243777  |z (OCoLC)856952239  |z (OCoLC)1035710384  |z (OCoLC)1044314997  |z (OCoLC)1056376691  |z (OCoLC)1064949214  |z (OCoLC)1074982567  |z (OCoLC)1103263570  |z (OCoLC)1129348389  |z (OCoLC)1162251105 
050 4 |a TK7895.E42  |b J365 2004eb 
072 7 |a COM  |x 050000  |2 bisacsh 
072 7 |a COM  |x 074000  |2 bisacsh 
072 7 |a COM  |x 041000  |2 bisacsh 
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. 
260 |a San Francisco :  |b Morgan Kaufmann,  |c �2004. 
300 |a 1 online resource (xxii, 351 pages) :  |b illustrations 
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 
504 |a Includes bibliographical references and index. 
505 0 |a 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. 
588 0 |a Print version record. 
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 
546 |a English. 
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 6 |a Fonctionnement multit�ache.  |0 (CaQQLa)201-0232230 
650 7 |a COMPUTERS  |x Hardware  |x Personal Computers  |x General.  |2 bisacsh 
650 7 |a COMPUTERS  |x Hardware  |x Handheld Devices.  |2 bisacsh 
650 7 |a COMPUTERS  |x Microprocessors.  |2 bisacsh 
650 7 |a Embedded computer systems  |x Design and construction  |x Data processing.  |2 blmlsh 
650 7 |a Systems on a chip  |x Design and construction  |x Data processing.  |2 blmlsh 
650 7 |a Timing circuits  |x Design and construction  |x Data processing.  |2 blmlsh 
650 7 |a Multitasking (Computer science)  |2 blmlsh 
650 7 |a Computer multitasking  |2 fast  |0 (OCoLC)fst01728115 
650 7 |a Embedded computer systems  |x Design and construction  |x Data processing  |2 fast  |0 (OCoLC)fst00908301 
650 7 |a Arquitetura e organiza�c�ao de computadores.  |2 larpcal 
650 7 |a Sistemas embutidos.  |2 larpcal 
776 0 8 |i Print version:  |a Jantsch, Axel.  |t Modeling embedded systems and SoC's.  |d San Francisco : Morgan Kaufmann, �2004  |z 1558609253  |z 9781558609259  |w (DLC) 2003047408  |w (OCoLC)51978028 
830 0 |a Morgan Kaufmann series in systems on silicon. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9781558609259  |z Texto completo