Verfügbarkeit: Design and analysis of distributed embedded systems

Design and analysis of distributed embedded systems: IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Boston Kluwer Academic Publishers 2002
Schlagworte:	Embedded computer systems > Congresses Verteiltes System Eingebettetes System Konferenzschrift > 2002 > Montreal
Online-Zugang:	Table of contents Inhaltsverzeichnis
Beschreibung:	Includes bibliographical references (p. 286)
Beschreibung:	X, 286 S. Ill., graph. Darst.
ISBN:	1402071566

Internformat

MARC


LEADER	00000nam a2200000zc 4500
001	BV014535968
003	DE-604
005	20030224
007	t
008	020618s2002 xxuad\|\| \|\|\|\| 10\|\|\| eng d
010			\|a 2002072766
020			\|a 1402071566 \|9 1-402-07156-6
035			\|a (OCoLC)50023718
035			\|a (DE-599)BVBBV014535968
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
044			\|a xxu \|c US
050		0	\|a JK146
050		0	\|a TK7895.E42
082	0		\|a 004/.36 \|2 21
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 parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada \|c edited by Bernd Kleinjohann ... [et al.]
264		1	\|a Boston \|b Kluwer Academic Publishers \|c 2002
300			\|a X, 286 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
500			\|a Includes bibliographical references (p. 286)
650		4	\|a Embedded computer systems \|v Congresses
650	0	7	\|a Verteiltes System \|0 (DE-588)4238872-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|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 \|e Sonstige \|4 oth
711	2		\|a World Computer Congress \|n 17 \|d 2002 \|c Montréal \|j Sonstige \|0 (DE-588)5542135-0 \|4 oth
856	4		\|u http://www.loc.gov/catdir/toc/fy033/2002072766.html \|3 Table of contents
856	4	2	\|m GBV Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009890602&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-009890602

Datensatz im Suchindex

_version_	1804129323968364544
adam_text	IMAGE 1 DESIGN AND ANALYSIS OF DISTRIBUTED EMBEDDED SYSTEMS IFIP 17 TH WORLD COMPUTER CONGRESS - TC10 STREAM ON DISTRIBUTED AND PARALLEL EMBEDDED SYSTEMS (DIPES2002) AUGUST 25-29, 2002, MONTREAL, QUEBEC, CANADA EDITED BY BERND KLEINJOHANN UNIVERSITY OF PADERBORN / C-LAB GERMANY K.H. (KANE) KIM UNIVERSITY OF CALIFORNIA, IRVINE (UCI) USA LISA KLEINJOHANN UNIVERSITY OF PADERBORN / C-LAB GERMANY - ACHIM RETTBERG UNIVERSITY OF PADERBORN / C-LAB GERMANY KLUWER ACADEMIC PUBLISHERS BOSTON / DORDRECHT / LONDON IMAGE 2 CONTENTS PREFACE IX WORKSHOP ORGANIZATION XI SESSION 1: MODELLING AND SPECIFICATION CAN UML BE A SYSTEM-LEVEL LANGUAGE FOR EMBEDDED SOFTWARE? JOAO M. FERNANDES, RICARDO J. MACHADO 1 PEARL FOR DISTRIBUTED EMBEDDED SYSTEMS ROMAN GUMZEJ, WOLFGANG A. HALANG 11 UNIVERSAL PLUG AND PLAY MACHINE MODELS UWE GLDSSER, MARGUS VEANES 21 SESSION 2: SPECIFICATION AND ANALYSIS ANALYSIS OF EVENT-DRIVEN REAL-TIME SYSTEMS WITH TIME PETRI NETS: A TRANSLATION-BASED APPROACH ZONGHUA GU, KANG G. SHIN 31 PETRI NET BASED DESIGN OF RECONFIGURABLE EMBEDDED REAL-TIME SYSTEMS CARSTEN RUST, FRIEDHELM STAPPERT, REINHARD BERNHARDI-GRISSON 41 MODEL CHECKING ROBUSTNESS TO DESYNCHRONIZATION JEAN-PIERRE TALPIN 51 IMAGE 3 VI SESSION 3: VERIFICATION AND VALIDATION A SEMI-FORMAL METHOD TO VERIFY CORRECTNESS OF FUNCTIONAL REQUIREMENTS SPECIFICATIONS OF COMPLEX SYSTEMS NIHAL KECECI, WOLFGANG A. HALANG, ALAIN ABRAN 61 TOWARDS DESIGN VERIFICATION AND VALIDATION AT MULTIPLE LEVELS OF ABSTRACTION HOLGER GIESE, MARTIN KARDOS, ULRICH NICKEL 71 MODELING AND VERIFICATION OF PIPELINED EMBEDDED PROCESSORS IN THE PRESENCE OF HAZARDS AND EXCEPTIONS PRABHAT MISHRA, NIKIL DUTT 81 SESSION 4: FAULT TOLERANCE AND DETECTION STATISTICAL ANALYSIS OF A HYBRID REPLICATION MODEL EMERSON ROGERIO DE OLIVEIRA JUNIOR, INGRID JANSCH PORTO 91 BUILDING EMBEDDED FAULT-TOLERANT SYSTEMS FOR CRITICAL APPLICATIONS: AN EXPERIMENTAL STUDY PAUL TOWNEND, JIE XU, MALCOLM MUNRO 101 FAULT DETECTION IN SAFETY-CRITICAL EMBEDDED SYSTEMS DOMEN VERBER, MATJAZ COLNARIC, WOLFGANG A. HALANG 113 SESSION 5: MIDDLEWARE AND REUSE DEPENDABILITY CHARACTERIZATION OF MIDDLEWARE SERVICES ERIC MARSDEN, NICOLAS PERROT, JEAN-CHARLES FABRE, JEAN ARLAT 121 ADAPTIVE MIDDLEWARE FOR UBIQUITOUS COMPUTING ENVIRONMENTS STEVEN S. YOU, FARIAZ KARIM 131 FINEGRAINED APPLICATION SPECIFIC CUSTOMIZATION OF EMBEDDED SOFTWARE DANILO BEUCHE, OLAF SPINCZYK, WOLFGANG SCHRODER-PREIKSCHAT 141 IMAGE 4 VLL SESSION 6: TIMING AND PERFORMANCE ANALYSIS CHECKING THE TEMPORAL BEHAVIOUR OF DISTRIBUTED AND PARALLEL EMBEDDED-SYSTEMS WOLFGANG A. HALANG, NIHAL KECECI, GRACE TSAI 153 TRANSFORMING EXECUTION-TIME BOUNDABLE CODE INTO TEMPORALLY PREDICTABLE CODE PETER PUSCHNER 163 BOTTOM-UP PERFORMANCE ANALYSIS OF HW/SW PLATFORMS KAI RICHTER, DIRK ZIEGENBEIN, MAREK JERSAK, ROLF ERNST 173 SESSION 7: PARTITIONING AND SCHEDULING TEMPORAL PARTITIONING AND SEQUENCING OF DATAFLOW GRAPHS ON RECONFIGURABLE SYSTEMS CHRISTOPHE BOBDA 185 INTEGRATION OF LOW POWER ANALYSIS INTO HIGH-LEVEL SYNTHESIS ACHIM RETTBERG, BERND KLEINJOHANN, FRANZ J. RAMFNIG 195 GOING BEYOND DEADLINE-DRIVEN LOW-LEVEL SCHEDULING IN DISTRIBUTED REAL-TIME COMPUTING SYSTEMS K. H. (KANE) KIM, JUQIANG LIU 205 SESSION 8: COMMUNICATION AND APPLICATION IEEE-1394 A STANDARD TO INTERCONNECT DISTRIBUTED SYSTEMS ROMUALDO SANTAMARIA 217 DETERMINISTIC AND HIGH-PERFORMANCE COMMUNICATION SYSTEM FOR THE DISTRIBUTED CONTROL OF MECHATRONIC SYSTEMS USING THE IEEE 1394A M. ZANELLA, T. LEHMANN, T. HESTERMEYER, A. POTTHARST 227 A CONSISTENT DESIGN METHODOLOGY FOR CONFIGURABLE HW/SW-INTERFACES IN EMBEDDED SYSTEMS STEFAN IHMOR, MARKUS VISARIUS, WOLFRAM HARDT 237 LOW LATENCY COLOR SEGMENTATION ON EMBEDDED REAL-TIME SYSTEMS DIRK STICKLING, BERND KLEINJOHANN 247 IMAGE 5 VIA SESSION 9: DESIGN METHODS AND FRAMEWORKS SOFT IP DESIGN FRAMEWORK USING METAPROGRAMMING TECHNIQUES VYTAUTAS STUIKYS, ROBERTAS DAMASEVICIUS, GIEDRIUS ZIBERKAS, GIEDRIUS MAJAUSKAS 257 HOW TO INTEGRATE WEBSERVICES IN EMBEDDED SYSTEM DESIGN? ACHIM RETTBERG, WOLFGANG THRONICKE 267 DESIGN AND REALIZATION OF DISTRIBUTED REAL-TIME CONTROLLERS FOR MECHATRONIC SYSTEMS M. DEPPE, M. ZANELLA 277
any_adam_object	1
building	Verbundindex
bvnumber	BV014535968
callnumber-first	J - Political Science
callnumber-label	JK146
callnumber-raw	JK146 TK7895.E42
callnumber-search	JK146 TK7895.E42
callnumber-sort	JK 3146
callnumber-subject	JK - United States
classification_rvk	ST 200
ctrlnum	(OCoLC)50023718 (DE-599)BVBBV014535968
dewey-full	004/.36
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004/.36
dewey-search	004/.36
dewey-sort	14 236
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01968nam a2200445zc 4500</leader><controlfield tag="001">BV014535968</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030224 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020618s2002 xxuad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2002072766</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402071566</subfield><subfield code="9">1-402-07156-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)50023718</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014535968</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="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">JK146</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7895.E42</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.36</subfield><subfield code="2">21</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 parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada</subfield><subfield code="c">edited by Bernd Kleinjohann ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston</subfield><subfield code="b">Kluwer Academic Publishers</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 286 S.</subfield><subfield code="b">Ill., graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 286)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems</subfield><subfield code="v">Congresses</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="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="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="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">World Computer Congress</subfield><subfield code="n">17</subfield><subfield code="d">2002</subfield><subfield code="c">Montréal</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5542135-0</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/toc/fy033/2002072766.html</subfield><subfield code="3">Table of contents</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009890602&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009890602</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2002 Montreal gnd-content
genre_facet	Konferenzschrift 2002 Montreal
id	DE-604.BV014535968
illustrated	Illustrated
indexdate	2024-07-09T19:03:19Z
institution	BVB
institution_GND	(DE-588)5542135-0
isbn	1402071566
language	English
lccn	2002072766
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-009890602
oclc_num	50023718
open_access_boolean
physical	X, 286 S. Ill., graph. Darst.
publishDate	2002
publishDateSearch	2002
publishDateSort	2002
publisher	Kluwer Academic Publishers
record_format	marc
spelling	Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann ... [et al.] Boston Kluwer Academic Publishers 2002 X, 286 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references (p. 286) Embedded computer systems Congresses Verteiltes System (DE-588)4238872-7 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 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 Sonstige oth World Computer Congress 17 2002 Montréal Sonstige (DE-588)5542135-0 oth http://www.loc.gov/catdir/toc/fy033/2002072766.html Table of contents GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009890602&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada Embedded computer systems Congresses Verteiltes System (DE-588)4238872-7 gnd Eingebettetes System (DE-588)4396978-1 gnd
subject_GND	(DE-588)4238872-7 (DE-588)4396978-1 (DE-588)1071861417
title	Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel 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 parllel 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 parllel 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 parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann ... [et al.]
title_fullStr	Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann ... [et al.]
title_full_unstemmed	Design and analysis of distributed embedded systems IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada edited by Bernd Kleinjohann ... [et al.]
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 parllel embedded systems dipes 2002 august 25 29 2002 montreal quebec canada
title_sub	IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada
topic	Embedded computer systems Congresses Verteiltes System (DE-588)4238872-7 gnd Eingebettetes System (DE-588)4396978-1 gnd
topic_facet	Embedded computer systems Congresses Verteiltes System Eingebettetes System Konferenzschrift 2002 Montreal
url	http://www.loc.gov/catdir/toc/fy033/2002072766.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009890602&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT kleinjohannbernd designandanalysisofdistributedembeddedsystemsifip17thworldcomputercongresstc10streamondistributedandparllelembeddedsystemsdipes2002august25292002montrealquebeccanada AT worldcomputercongressmontreal designandanalysisofdistributedembeddedsystemsifip17thworldcomputercongresstc10streamondistributedandparllelembeddedsystemsdipes2002august25292002montrealquebeccanada

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge