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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
San Francisco :
Morgan Kaufmann,
©2004.
|
| Schriftenreihe: | Morgan Kaufmann series in systems on silicon.
|
| Schlagworte: | |
| Online-Zugang: | Volltext Volltext |
| Zusammenfassung: | 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 |
| Beschreibung: | 1 online resource (xxii, 351 pages) : illustrations |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9780080511825 0080511821 9781558609259 1558609253 1281022683 9781281022684 9786611022686 6611022686 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn173972441 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.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 |d OCLCL |d SXB |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 | ||
| 037 | |a CL0500000046 |b Safari Books Online | ||
| 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 | 7 | |a 004.16 |2 22 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Jantsch, Axel. |1 https://id.oclc.org/worldcat/entity/E39PCjJJ8jxHc9gqfDD8j3dHbq |0 http://id.loc.gov/authorities/names/n2003002913 | |
| 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. |0 http://id.loc.gov/authorities/subjects/sh92001010 | |
| 650 | 6 | |a Fonctionnement multitâche. | |
| 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 | |
| 650 | 7 | |a Embedded computer systems |x Design and construction |x Data processing |2 fast | |
| 650 | 7 | |a Arquitetura e organização de computadores. |2 larpcal | |
| 650 | 7 | |a Sistemas embutidos. |2 larpcal | |
| 758 | |i has work: |a Modeling embedded systems and SoC's (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGm9hWd8Qmvg7QMTVKKHfm |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 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. |0 http://id.loc.gov/authorities/names/n2001146727 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=204206 |3 Volltext |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://www.sciencedirect.com/science/book/9781558609259 |3 Volltext |
| 938 | |a ebrary |b EBRY |n ebr10175540 | ||
| 938 | |a EBSCOhost |b EBSC |n 204206 | ||
| 938 | |a YBP Library Services |b YANK |n 2613978 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn173972441 |
|---|---|
| _version_ | 1816881654428336128 |
| adam_text | |
| any_adam_object | |
| author | Jantsch, Axel |
| author_GND | http://id.loc.gov/authorities/names/n2003002913 |
| author_facet | Jantsch, Axel |
| author_role | |
| author_sort | Jantsch, Axel |
| author_variant | a j aj |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | T - Technology |
| callnumber-label | TK7895 |
| callnumber-raw | TK7895.E42 J365 2004eb |
| callnumber-search | TK7895.E42 J365 2004eb |
| callnumber-sort | TK 47895 E42 J365 42004EB |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| collection | ZDB-4-EBA |
| 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. |
| ctrlnum | (OCoLC)173972441 |
| dewey-full | 004.16 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.16 |
| dewey-search | 004.16 |
| dewey-sort | 14.16 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05946cam a2200781 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn173972441</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">071010s2004 caua ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCA</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UMI</subfield><subfield code="d">CEF</subfield><subfield code="d">NHM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLGGC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OPELS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">COO</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">STF</subfield><subfield code="d">D6H</subfield><subfield code="d">VTS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AU@</subfield><subfield code="d">WYU</subfield><subfield code="d">UAB</subfield><subfield code="d">REC</subfield><subfield code="d">LEAUB</subfield><subfield code="d">M8D</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">VLY</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">162596809</subfield><subfield code="a">434023504</subfield><subfield code="a">648243777</subfield><subfield code="a">856952239</subfield><subfield code="a">1035710384</subfield><subfield code="a">1044314997</subfield><subfield code="a">1056376691</subfield><subfield code="a">1064949214</subfield><subfield code="a">1074982567</subfield><subfield code="a">1103263570</subfield><subfield code="a">1129348389</subfield><subfield code="a">1162251105</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080511825</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080511821</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781558609259</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1558609253</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281022683</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281022684</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786611022686</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6611022686</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1558609253</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)173972441</subfield><subfield code="z">(OCoLC)162596809</subfield><subfield code="z">(OCoLC)434023504</subfield><subfield code="z">(OCoLC)648243777</subfield><subfield code="z">(OCoLC)856952239</subfield><subfield code="z">(OCoLC)1035710384</subfield><subfield code="z">(OCoLC)1044314997</subfield><subfield code="z">(OCoLC)1056376691</subfield><subfield code="z">(OCoLC)1064949214</subfield><subfield code="z">(OCoLC)1074982567</subfield><subfield code="z">(OCoLC)1103263570</subfield><subfield code="z">(OCoLC)1129348389</subfield><subfield code="z">(OCoLC)1162251105</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">CL0500000046</subfield><subfield code="b">Safari Books Online</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK7895.E42</subfield><subfield code="b">J365 2004eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">050000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">074000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">041000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">004.16</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jantsch, Axel.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjJJ8jxHc9gqfDD8j3dHbq</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2003002913</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling embedded systems and SoC's :</subfield><subfield code="b">concurrency and time in models of computation /</subfield><subfield code="c">Axel Jantsch.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">San Francisco :</subfield><subfield code="b">Morgan Kaufmann,</subfield><subfield code="c">©2004.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxii, 351 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">The Morgan Kaufmann series in systems on silicon</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Embedded computer systems</subfield><subfield code="x">Design and construction</subfield><subfield code="x">Data processing.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Systems on a chip</subfield><subfield code="x">Design and construction</subfield><subfield code="x">Data processing.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Timing circuits</subfield><subfield code="x">Design and construction</subfield><subfield code="x">Data processing.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer multitasking.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh92001010</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Fonctionnement multitâche.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Hardware</subfield><subfield code="x">Personal Computers</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Hardware</subfield><subfield code="x">Handheld Devices.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Microprocessors.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Embedded computer systems</subfield><subfield code="x">Design and construction</subfield><subfield code="x">Data processing.</subfield><subfield code="2">blmlsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systems on a chip</subfield><subfield code="x">Design and construction</subfield><subfield code="x">Data processing.</subfield><subfield code="2">blmlsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Timing circuits</subfield><subfield code="x">Design and construction</subfield><subfield code="x">Data processing.</subfield><subfield code="2">blmlsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Multitasking (Computer science)</subfield><subfield code="2">blmlsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer multitasking</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Embedded computer systems</subfield><subfield code="x">Design and construction</subfield><subfield code="x">Data processing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Arquitetura e organização de computadores.</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Sistemas embutidos.</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Modeling embedded systems and SoC's (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGm9hWd8Qmvg7QMTVKKHfm</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Jantsch, Axel.</subfield><subfield code="t">Modeling embedded systems and SoC's.</subfield><subfield code="d">San Francisco : Morgan Kaufmann, ©2004</subfield><subfield code="z">1558609253</subfield><subfield code="z">9781558609259</subfield><subfield code="w">(DLC) 2003047408</subfield><subfield code="w">(OCoLC)51978028</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Morgan Kaufmann series in systems on silicon.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2001146727</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=204206</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://www.sciencedirect.com/science/book/9781558609259</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10175540</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">204206</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2613978</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn173972441 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:09Z |
| institution | BVB |
| isbn | 9780080511825 0080511821 9781558609259 1558609253 1281022683 9781281022684 9786611022686 6611022686 |
| language | English |
| oclc_num | 173972441 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xxii, 351 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Morgan Kaufmann, |
| record_format | marc |
| series | Morgan Kaufmann series in systems on silicon. |
| series2 | The Morgan Kaufmann series in systems on silicon |
| spelling | Jantsch, Axel. https://id.oclc.org/worldcat/entity/E39PCjJJ8jxHc9gqfDD8j3dHbq http://id.loc.gov/authorities/names/n2003002913 Modeling embedded systems and SoC's : concurrency and time in models of computation / Axel Jantsch. San Francisco : Morgan Kaufmann, ©2004. 1 online resource (xxii, 351 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier 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. Print version record. 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 English. 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. http://id.loc.gov/authorities/subjects/sh92001010 Fonctionnement multitâche. COMPUTERS Hardware Personal Computers General. bisacsh COMPUTERS Hardware Handheld Devices. bisacsh COMPUTERS Microprocessors. bisacsh Embedded computer systems Design and construction Data processing. blmlsh Systems on a chip Design and construction Data processing. blmlsh Timing circuits Design and construction Data processing. blmlsh Multitasking (Computer science) blmlsh Computer multitasking fast Embedded computer systems Design and construction Data processing fast Arquitetura e organização de computadores. larpcal Sistemas embutidos. larpcal has work: Modeling embedded systems and SoC's (Text) https://id.oclc.org/worldcat/entity/E39PCGm9hWd8Qmvg7QMTVKKHfm https://id.oclc.org/worldcat/ontology/hasWork Print version: Jantsch, Axel. Modeling embedded systems and SoC's. San Francisco : Morgan Kaufmann, ©2004 1558609253 9781558609259 (DLC) 2003047408 (OCoLC)51978028 Morgan Kaufmann series in systems on silicon. http://id.loc.gov/authorities/names/n2001146727 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=204206 Volltext FWS01 ZDB-4-EBA FWS_PDA_EBA https://www.sciencedirect.com/science/book/9781558609259 Volltext |
| spellingShingle | Jantsch, Axel Modeling embedded systems and SoC's : concurrency and time in models of computation / Morgan Kaufmann series in systems on silicon. 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. 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. http://id.loc.gov/authorities/subjects/sh92001010 Fonctionnement multitâche. COMPUTERS Hardware Personal Computers General. bisacsh COMPUTERS Hardware Handheld Devices. bisacsh COMPUTERS Microprocessors. bisacsh Embedded computer systems Design and construction Data processing. blmlsh Systems on a chip Design and construction Data processing. blmlsh Timing circuits Design and construction Data processing. blmlsh Multitasking (Computer science) blmlsh Computer multitasking fast Embedded computer systems Design and construction Data processing fast Arquitetura e organização de computadores. larpcal Sistemas embutidos. larpcal |
| subject_GND | http://id.loc.gov/authorities/subjects/sh92001010 |
| title | Modeling embedded systems and SoC's : concurrency and time in models of computation / |
| title_auth | Modeling embedded systems and SoC's : concurrency and time in models of computation / |
| title_exact_search | Modeling embedded systems and SoC's : concurrency and time in models of computation / |
| title_full | Modeling embedded systems and SoC's : concurrency and time in models of computation / Axel Jantsch. |
| title_fullStr | Modeling embedded systems and SoC's : concurrency and time in models of computation / Axel Jantsch. |
| title_full_unstemmed | Modeling embedded systems and SoC's : concurrency and time in models of computation / Axel Jantsch. |
| title_short | Modeling embedded systems and SoC's : |
| title_sort | modeling embedded systems and soc s concurrency and time in models of computation |
| title_sub | concurrency and time in models of computation / |
| topic | 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. http://id.loc.gov/authorities/subjects/sh92001010 Fonctionnement multitâche. COMPUTERS Hardware Personal Computers General. bisacsh COMPUTERS Hardware Handheld Devices. bisacsh COMPUTERS Microprocessors. bisacsh Embedded computer systems Design and construction Data processing. blmlsh Systems on a chip Design and construction Data processing. blmlsh Timing circuits Design and construction Data processing. blmlsh Multitasking (Computer science) blmlsh Computer multitasking fast Embedded computer systems Design and construction Data processing fast Arquitetura e organização de computadores. larpcal Sistemas embutidos. larpcal |
| topic_facet | 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. Multitasking (Computer science) Computer multitasking Embedded computer systems Design and construction Data processing Arquitetura e organização de computadores. Sistemas embutidos. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=204206 https://www.sciencedirect.com/science/book/9781558609259 |
| work_keys_str_mv | AT jantschaxel modelingembeddedsystemsandsocsconcurrencyandtimeinmodelsofcomputation |