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: | FLA01 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: | Includes bibliographical references and index |
| Beschreibung: | 1 online resource (xxii, 351 pages) illustrations |
| ISBN: | 9780080511825 0080511821 9781558609259 1558609253 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV046124416 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 190827s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 9780080511825 |9 978-0-08-051182-5 | ||
| 020 | |a 0080511821 |9 0-08-051182-1 | ||
| 020 | |a 9781558609259 |9 978-1-55860-925-9 | ||
| 020 | |a 1558609253 |9 1-55860-925-3 | ||
| 035 | |a (ZDB-33-ESD)ocn173972441 | ||
| 035 | |a (OCoLC)173972441 | ||
| 035 | |a (DE-599)BVBBV046124416 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 004.16 |2 22 | |
| 084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
| 100 | 1 | |a Jantsch, Axel |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modeling embedded systems and SoC's |b concurrency and time in models of computation |c Axel Jantsch |
| 264 | 1 | |a San Francisco |b Morgan Kaufmann |c © 2004 | |
| 300 | |a 1 online resource (xxii, 351 pages) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Morgan Kaufmann series in systems on silicon | |
| 500 | |a Includes bibliographical references and index | ||
| 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 | ||
| 650 | 7 | |a COMPUTERS / Hardware / Personal Computers / General |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Hardware / Handheld Devices |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Microprocessors |2 bisacsh | |
| 650 | 7 | |a Embedded computer systems / Design and construction / Data processing |2 blmlsh | |
| 650 | 7 | |a Systems on a chip / Design and construction / Data processing |2 blmlsh | |
| 650 | 7 | |a Timing circuits / Design and construction / 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 / Design and construction / Data processing |2 fast | |
| 650 | 7 | |a Arquitetura e organização de computadores |2 larpcal | |
| 650 | 7 | |a Sistemas embutidos |2 larpcal | |
| 650 | 4 | |a Embedded computer systems / Design and construction / Data processing | |
| 650 | 4 | |a Systems on a chip / Design and construction / Data processing | |
| 650 | 4 | |a Timing circuits / Design and construction / Data processing | |
| 650 | 4 | |a Multitasking (Computer science) | |
| 650 | 4 | |a Embedded computer systems |x Design and construction |x Data processing | |
| 650 | 4 | |a Systems on a chip |x Design and construction |x Data processing | |
| 650 | 4 | |a Timing circuits |x Design and construction |x Data processing | |
| 650 | 4 | |a Computer multitasking | |
| 650 | 0 | 7 | |a Modellierung |0 (DE-588)4170297-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a System-on-Chip |0 (DE-588)4740357-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a System-on-Chip |0 (DE-588)4740357-3 |D s |
| 689 | 0 | 1 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 1 | 1 | |a Modellierung |0 (DE-588)4170297-9 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 1558609253 |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9781558609259 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031504870 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9781558609259 |l FLA01 |p ZDB-33-ESD |q FLA_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804180442391248896 |
|---|---|
| any_adam_object | |
| author | Jantsch, Axel |
| author_facet | Jantsch, Axel |
| author_role | aut |
| author_sort | Jantsch, Axel |
| author_variant | a j aj |
| building | Verbundindex |
| bvnumber | BV046124416 |
| classification_rvk | ST 153 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn173972441 (OCoLC)173972441 (DE-599)BVBBV046124416 |
| 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>04912nmm a2200757zc 4500</leader><controlfield tag="001">BV046124416</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190827s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080511825</subfield><subfield code="9">978-0-08-051182-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080511821</subfield><subfield code="9">0-08-051182-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781558609259</subfield><subfield code="9">978-1-55860-925-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1558609253</subfield><subfield code="9">1-55860-925-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn173972441</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)173972441</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046124416</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.16</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jantsch, Axel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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="264" ind1=" " ind2="1"><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="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Morgan Kaufmann series in systems on silicon</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</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="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Hardware / Personal Computers / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Hardware / Handheld Devices</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Microprocessors</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Embedded computer systems / Design and construction / Data processing</subfield><subfield code="2">blmlsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systems on a chip / Design and construction / Data processing</subfield><subfield code="2">blmlsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Timing circuits / Design and construction / 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 / Design and construction / 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="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems / Design and construction / Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems on a chip / Design and construction / Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Timing circuits / Design and construction / Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Multitasking (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><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="4"><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="4"><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="4"><subfield code="a">Computer multitasking</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">System-on-Chip</subfield><subfield code="0">(DE-588)4740357-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">System-on-Chip</subfield><subfield code="0">(DE-588)4740357-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Modellierung</subfield><subfield code="0">(DE-588)4170297-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">1558609253</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9781558609259</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031504870</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9781558609259</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FLA_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV046124416 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T08:35:50Z |
| institution | BVB |
| isbn | 9780080511825 0080511821 9781558609259 1558609253 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031504870 |
| oclc_num | 173972441 |
| open_access_boolean | |
| physical | 1 online resource (xxii, 351 pages) illustrations |
| psigel | ZDB-33-ESD ZDB-33-ESD FLA_PDA_ESD |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Morgan Kaufmann |
| record_format | marc |
| series2 | Morgan Kaufmann series in systems on silicon |
| spelling | Jantsch, Axel Verfasser aut 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 txt rdacontent c rdamedia cr rdacarrier Morgan Kaufmann series in systems on silicon Includes bibliographical references and index 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 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 Embedded computer systems / Design and construction / Data processing Systems on a chip / Design and construction / Data processing Timing circuits / Design and construction / Data processing Multitasking (Computer science) 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 Modellierung (DE-588)4170297-9 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf System-on-Chip (DE-588)4740357-3 gnd rswk-swf System-on-Chip (DE-588)4740357-3 s Modellierung (DE-588)4170297-9 s 1\p DE-604 Eingebettetes System (DE-588)4396978-1 s 2\p DE-604 Erscheint auch als Druck-Ausgabe 1558609253 http://www.sciencedirect.com/science/book/9781558609259 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Jantsch, Axel Modeling embedded systems and SoC's concurrency and time in models of computation 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 Embedded computer systems / Design and construction / Data processing Systems on a chip / Design and construction / Data processing Timing circuits / Design and construction / Data processing Multitasking (Computer science) 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 Modellierung (DE-588)4170297-9 gnd Eingebettetes System (DE-588)4396978-1 gnd System-on-Chip (DE-588)4740357-3 gnd |
| subject_GND | (DE-588)4170297-9 (DE-588)4396978-1 (DE-588)4740357-3 |
| 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 | 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 Embedded computer systems / Design and construction / Data processing Systems on a chip / Design and construction / Data processing Timing circuits / Design and construction / Data processing Multitasking (Computer science) 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 Modellierung (DE-588)4170297-9 gnd Eingebettetes System (DE-588)4396978-1 gnd System-on-Chip (DE-588)4740357-3 gnd |
| topic_facet | COMPUTERS / Hardware / Personal Computers / General COMPUTERS / Hardware / Handheld Devices COMPUTERS / Microprocessors Embedded computer systems / Design and construction / Data processing Systems on a chip / Design and construction / Data processing Timing circuits / Design and construction / Data processing Multitasking (Computer science) Computer multitasking Arquitetura e organização de computadores Sistemas embutidos Embedded computer systems Design and construction Data processing Systems on a chip Design and construction Data processing Timing circuits Design and construction Data processing Modellierung Eingebettetes System System-on-Chip |
| url | http://www.sciencedirect.com/science/book/9781558609259 |
| work_keys_str_mv | AT jantschaxel modelingembeddedsystemsandsocsconcurrencyandtimeinmodelsofcomputation |