Modeling embedded systems and SoC's : concurrency and time in models of computation /
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
San Francisco ; London :
Morgan Kaufmann,
c2004.
|
| Colección: | Morgan Kaufmann series in systems on silicon
|
| Materias: | |
| Acceso en línea: | Publisher description Table of contents |
| LEADER | 02135cam a2200433 a 4500 | ||
|---|---|---|---|
| 001 | c000390299 | ||
| 003 | CARM | ||
| 005 | 20120604083626.0 | ||
| 008 | 120604s2004 caua b 001 0 eng d | ||
| 010 | |a 2003047408 | ||
| 015 | |a GBA3X3704 |2 bnb | ||
| 019 | 1 | |a 24546001 |z 27207847 |5 LACONCORD2021 | |
| 020 | |a 1558609253 (hbk.) |c £32.95 | ||
| 035 | |a (OCoLC)51978028 |5 LACONCORD2021 | ||
| 040 | |a StDuBDS |b eng |d UkOxU |d Uk | ||
| 042 | |a pcc | ||
| 050 | 0 | 0 | |a TK7895.E42 J365 2003 |
| 050 | 0 | 0 | |a TK7895.E42 |b J365 2003 |
| 082 | 0 | 4 | |a 004.16 |2 21 |
| 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 ; |a London : |b Morgan Kaufmann, |c c2004. | ||
| 300 | |a xxii, 351 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Morgan Kaufmann series in systems on silicon | |
| 500 | |a Formerly CIP. |5 Uk | ||
| 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. | |
| 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 Multitasking (Computer science) | |
| 852 | 8 | |b CARM |p 0581008 |f BK | |
| 852 | 8 | |b SCAN |h A3:AG27C0 |i F08295 |p 0581008 |f BK | |
| 830 | 0 | |a Morgan Kaufmann series in systems on silicon | |
| 856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/description/els031/2003047408.html |
| 856 | 4 | 1 | |3 Table of contents |u http://www.loc.gov/catdir/toc/els031/2003047408.html |
| 999 | f | f | |i 99601ba9-1cc2-5950-bb41-5cc0408932cf |s 23e3bdab-430b-50c1-9ff5-8972b39a459c |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |i book |m 0581008 |
| 952 | f | f | |a CAVAL |b CAVAL |c CAVAL |d Unmapped Location |e F08295 |f A3:AG27C0 |h Other scheme |