Design and Analysis of Distributed Embedded Systems: IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada
Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels o...
Gespeichert in:
| Weitere Verfasser: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Springer US
2002
|
| Ausgabe: | 1st ed. 2002 |
| Schriftenreihe: | IFIP Advances in Information and Communication Technology
91 |
| Schlagworte: | |
| Online-Zugang: | UBY01 Volltext |
| Zusammenfassung: | Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks |
| Beschreibung: | 1 Online-Ressource (XVI, 288 p) |
| ISBN: | 9780387355993 |
| DOI: | 10.1007/978-0-387-35599-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047064024 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2002 |||| o||u| ||||||eng d | ||
| 020 | |a 9780387355993 |9 978-0-387-35599-3 | ||
| 024 | 7 | |a 10.1007/978-0-387-35599-3 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-0-387-35599-3 | ||
| 035 | |a (OCoLC)1227483179 | ||
| 035 | |a (DE-599)BVBBV047064024 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 620.00420285 |2 23 | |
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 245 | 1 | 0 | |a Design and Analysis of Distributed Embedded Systems |b IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada |c edited by Bernd Kleinjohann, K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg |
| 250 | |a 1st ed. 2002 | ||
| 264 | 1 | |a New York, NY |b Springer US |c 2002 | |
| 300 | |a 1 Online-Ressource (XVI, 288 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a IFIP Advances in Information and Communication Technology |v 91 | |
| 520 | |a Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks | ||
| 650 | 4 | |a Computer-Aided Engineering (CAD, CAE) and Design | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Processor Architectures | |
| 650 | 4 | |a Computer-aided engineering | |
| 650 | 4 | |a Computer communication systems | |
| 650 | 4 | |a Microprocessors | |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2002 |z Montreal |2 gnd-content | |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 1 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kleinjohann, Bernd |4 edt | |
| 700 | 1 | |a Kim, K.H. (Kane) |4 edt | |
| 700 | 1 | |a Kleinjohann, Lisa |4 edt | |
| 700 | 1 | |a Rettberg, Achim |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781475749373 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781402071560 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781475749366 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-0-387-35599-3 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471136 | ||
| 966 | e | |u https://doi.org/10.1007/978-0-387-35599-3 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182061505839104 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Kleinjohann, Bernd Kim, K.H. (Kane) Kleinjohann, Lisa Rettberg, Achim |
| author2_role | edt edt edt edt |
| author2_variant | b k bk k k k kk kkk l k lk a r ar |
| author_facet | Kleinjohann, Bernd Kim, K.H. (Kane) Kleinjohann, Lisa Rettberg, Achim |
| building | Verbundindex |
| bvnumber | BV047064024 |
| classification_rvk | ST 200 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-0-387-35599-3 (OCoLC)1227483179 (DE-599)BVBBV047064024 |
| dewey-full | 620.00420285 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620.00420285 |
| dewey-search | 620.00420285 |
| dewey-sort | 3620.00420285 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-0-387-35599-3 |
| edition | 1st ed. 2002 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03093nmm a2200601zcb4500</leader><controlfield tag="001">BV047064024</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2002 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780387355993</subfield><subfield code="9">978-0-387-35599-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-0-387-35599-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-0-387-35599-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227483179</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064024</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620.00420285</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Design and Analysis of Distributed Embedded Systems</subfield><subfield code="b">IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada</subfield><subfield code="c">edited by Bernd Kleinjohann, K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2002</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer US</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVI, 288 p)</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">IFIP Advances in Information and Communication Technology</subfield><subfield code="v">91</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-Aided Engineering (CAD, CAE) and Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Processor Architectures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer communication systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprocessors</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">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2002</subfield><subfield code="z">Montreal</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kleinjohann, Bernd</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kim, K.H. (Kane)</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kleinjohann, Lisa</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rettberg, Achim</subfield><subfield code="4">edt</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">9781475749373</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">9781402071560</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">9781475749366</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-0-387-35599-3</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471136</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-0-387-35599-3</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2002 Montreal gnd-content |
| genre_facet | Konferenzschrift 2002 Montreal |
| id | DE-604.BV047064024 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:21Z |
| indexdate | 2024-07-10T09:01:34Z |
| institution | BVB |
| isbn | 9780387355993 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471136 |
| oclc_num | 1227483179 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XVI, 288 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer US |
| record_format | marc |
| series2 | IFIP Advances in Information and Communication Technology |
| spelling | Design and Analysis of Distributed Embedded Systems IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann, K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg 1st ed. 2002 New York, NY Springer US 2002 1 Online-Ressource (XVI, 288 p) txt rdacontent c rdamedia cr rdacarrier IFIP Advances in Information and Communication Technology 91 Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks Computer-Aided Engineering (CAD, CAE) and Design Computer Communication Networks Processor Architectures Computer-aided engineering Computer communication systems Microprocessors Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2002 Montreal gnd-content Eingebettetes System (DE-588)4396978-1 s Verteiltes System (DE-588)4238872-7 s DE-604 Kleinjohann, Bernd edt Kim, K.H. (Kane) edt Kleinjohann, Lisa edt Rettberg, Achim edt Erscheint auch als Druck-Ausgabe 9781475749373 Erscheint auch als Druck-Ausgabe 9781402071560 Erscheint auch als Druck-Ausgabe 9781475749366 https://doi.org/10.1007/978-0-387-35599-3 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Design and Analysis of Distributed Embedded Systems IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada Computer-Aided Engineering (CAD, CAE) and Design Computer Communication Networks Processor Architectures Computer-aided engineering Computer communication systems Microprocessors Eingebettetes System (DE-588)4396978-1 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4396978-1 (DE-588)4238872-7 (DE-588)1071861417 |
| title | Design and Analysis of Distributed Embedded Systems IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada |
| title_auth | Design and Analysis of Distributed Embedded Systems IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada |
| title_exact_search | Design and Analysis of Distributed Embedded Systems IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada |
| title_exact_search_txtP | Design and Analysis of Distributed Embedded Systems IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada |
| title_full | Design and Analysis of Distributed Embedded Systems IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann, K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg |
| title_fullStr | Design and Analysis of Distributed Embedded Systems IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann, K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg |
| title_full_unstemmed | Design and Analysis of Distributed Embedded Systems IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann, K.H. (Kane) Kim, Lisa Kleinjohann, Achim Rettberg |
| title_short | Design and Analysis of Distributed Embedded Systems |
| title_sort | design and analysis of distributed embedded systems ifip 17th world computer congress tc10 stream on distributed and parallel embedded systems dipes 2002 august 25 29 2002 montreal quebec canada |
| title_sub | IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada |
| topic | Computer-Aided Engineering (CAD, CAE) and Design Computer Communication Networks Processor Architectures Computer-aided engineering Computer communication systems Microprocessors Eingebettetes System (DE-588)4396978-1 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Computer-Aided Engineering (CAD, CAE) and Design Computer Communication Networks Processor Architectures Computer-aided engineering Computer communication systems Microprocessors Eingebettetes System Verteiltes System Konferenzschrift 2002 Montreal |
| url | https://doi.org/10.1007/978-0-387-35599-3 |
| work_keys_str_mv | AT kleinjohannbernd designandanalysisofdistributedembeddedsystemsifip17thworldcomputercongresstc10streamondistributedandparallelembeddedsystemsdipes2002august25292002montrealquebeccanada AT kimkhkane designandanalysisofdistributedembeddedsystemsifip17thworldcomputercongresstc10streamondistributedandparallelembeddedsystemsdipes2002august25292002montrealquebeccanada AT kleinjohannlisa designandanalysisofdistributedembeddedsystemsifip17thworldcomputercongresstc10streamondistributedandparallelembeddedsystemsdipes2002august25292002montrealquebeccanada AT rettbergachim designandanalysisofdistributedembeddedsystemsifip17thworldcomputercongresstc10streamondistributedandparallelembeddedsystemsdipes2002august25292002montrealquebeccanada |