Library of Congress |

Library of Congress

Matches in Library of Congress for { <http://lccn.loc.gov/2002072766> ?p ?o. }

Showing items 1 to 22 of 22 with 100 items per page.

2002072766 contributor B9243177.
2002072766 contributor B9243178.
2002072766 created "c2002.".
2002072766 date "2002".
2002072766 date "c2002.".
2002072766 dateCopyrighted "c2002.".
2002072766 description "Includes bibliographical references (p. 286).".
2002072766 description "Machine generated contents note: Workshop Organization -- Session 1: Modelling and Specification -- Can UML be a System-Level Language for Embedded Software? -- Joao M. Fernandes, Ricardo J. Machado -- PEARL for Distributed Embedded Systems -- Roman Gumzej, Wolfgang A. Halang -- Universal Plug and Play Machine Models -- Uwe Glasser, Margus Veanes -- 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 -- Petri Net Based Design of Reconfigurable Embedded -- Real-Time Systems -- Carsten Rust, Friedhelm Stappert, Reinhard Bernhardi-Grisson -- Model Checking Robustness to Desynchronization -- Jean-Pierre Talpin -- 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 -- Towards Design Verification and Validation at Multiple Levels of -- Abstraction -- Holger Giese, Martin Kardos, Ulrich Nickel -- Modeling and Verification of Pipelined Embedded Processors in the -- Presence of Hazards and Exceptions -- Prabhat Mishra, Nikil Dutt -- Session 4: Fault Tolerance and Detection -- Statistical Analysis of a Hybrid Replication Model -- Emerson Rogdrio de Oliveira Junior, Ingrid Jansch Porto -- Building Embedded Fault-Tolerant Systems for Critical -- Applications: An Experimental Study -- Paul Townend, Jie Xu, Malcolm Munro -- Fault Detection in Safety-Critical Embedded Systems -- Domen Verber, Matjaz Colnaric, Wolfgang A. Halang -- Session 5: Middleware and Reuse -- Dependability Characterization of Middleware Services -- Eric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat -- Adaptive Middleware for Ubiquitous Computing Environments -- Steven S. Yau, Fariaz Karim -- Finegrained Application Specific Customization of Embedded -- Software -- Danilo Beuche, Olaf Spinczyk, Wolfgang Schroder-Preikschat -- Session 6:.Timing and Performance Analysis -- Checking the Temporal Behaviour of Distributed and Parallel -- Embedded Systems -- Wolfgang A. Halang, Nihal Kececi, Grace Tsai -- Transforming Execution-Time Boundable Code into Temporally -- Predictable Code -- Peter Puschner -- Bottom-Up Performance Analysis of HW/SW Platforms -- Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst -- Session 7: Partitioning and Scheduling -- Temporal Partitioning and Sequencing of Dataflow Graphs on -- Reconfigurable Systems -- Christophe Bobda -- Integration of Low Power Analysis into High-Level Synthesis -- Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig -- Going Beyond Deadline-Driven Low-Level Scheduling in -- Distributed Real-Time Computing Systems -- K. H. (Kane) Kim, Juqiang Liu -- Session 8: Communication and Application -- IEEE-1394 A Standard to Interconnect Distributed Systems -- Romualdo Santamaria -- Deterministic and High-Performance Communication System -- for the Distributed Control of Mechatronic Systems Using the -- IEEE1394a -- M. Zanella, T. Lehmann, T. Hestermeyer, A. Pottharst -- A Consistent Design Methodology for Configurable -- HW/SW-Interfaces in Embedded Systems -- Stefan Ihmor, Markus Visarius, Wolfram Hardt -- Low Latency Color Segmentation on Embedded Real-Time -- Systems -- Dirk Stichling, Bemd Kleinjohann -- Session 9: Design Methods and Frameworks -- Soft IP Design Framework Using Metaprogramniing Techniques -- Vytautas Stuikys, Robertas Damasevicius, Giedrius Ziberkas, -- Giedrius Majauskas -- How to integrate Webservices in Embedded System Design? -- Achim Rettberg, Wolfgang Thronicke -- Design and Realization of Distributed Real-Time Controllers for -- Mechatronic Systems -- M. Deppe, M. Zanella.".
2002072766 extent "x, 286 p. :".
2002072766 identifier "1402071566 (alk. paper)".
2002072766 identifier 2002072766-d.html.
2002072766 identifier 2002072766.html.
2002072766 issued "2002".
2002072766 issued "c2002.".
2002072766 language "eng".
2002072766 publisher "Boston : Kluwer Academic Publishers,".
2002072766 subject "004/.36 21".
2002072766 subject "Embedded computer systems Congresses.".
2002072766 subject "TK7895.E42 I35 2002".
2002072766 tableOfContents "Machine generated contents note: Workshop Organization -- Session 1: Modelling and Specification -- Can UML be a System-Level Language for Embedded Software? -- Joao M. Fernandes, Ricardo J. Machado -- PEARL for Distributed Embedded Systems -- Roman Gumzej, Wolfgang A. Halang -- Universal Plug and Play Machine Models -- Uwe Glasser, Margus Veanes -- 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 -- Petri Net Based Design of Reconfigurable Embedded -- Real-Time Systems -- Carsten Rust, Friedhelm Stappert, Reinhard Bernhardi-Grisson -- Model Checking Robustness to Desynchronization -- Jean-Pierre Talpin -- 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 -- Towards Design Verification and Validation at Multiple Levels of -- Abstraction -- Holger Giese, Martin Kardos, Ulrich Nickel -- Modeling and Verification of Pipelined Embedded Processors in the -- Presence of Hazards and Exceptions -- Prabhat Mishra, Nikil Dutt -- Session 4: Fault Tolerance and Detection -- Statistical Analysis of a Hybrid Replication Model -- Emerson Rogdrio de Oliveira Junior, Ingrid Jansch Porto -- Building Embedded Fault-Tolerant Systems for Critical -- Applications: An Experimental Study -- Paul Townend, Jie Xu, Malcolm Munro -- Fault Detection in Safety-Critical Embedded Systems -- Domen Verber, Matjaz Colnaric, Wolfgang A. Halang -- Session 5: Middleware and Reuse -- Dependability Characterization of Middleware Services -- Eric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat -- Adaptive Middleware for Ubiquitous Computing Environments -- Steven S. Yau, Fariaz Karim -- Finegrained Application Specific Customization of Embedded -- Software -- Danilo Beuche, Olaf Spinczyk, Wolfgang Schroder-Preikschat -- Session 6:.Timing and Performance Analysis -- Checking the Temporal Behaviour of Distributed and Parallel -- Embedded Systems -- Wolfgang A. Halang, Nihal Kececi, Grace Tsai -- Transforming Execution-Time Boundable Code into Temporally -- Predictable Code -- Peter Puschner -- Bottom-Up Performance Analysis of HW/SW Platforms -- Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf Ernst -- Session 7: Partitioning and Scheduling -- Temporal Partitioning and Sequencing of Dataflow Graphs on -- Reconfigurable Systems -- Christophe Bobda -- Integration of Low Power Analysis into High-Level Synthesis -- Achim Rettberg, Bernd Kleinjohann, Franz J. Rammig -- Going Beyond Deadline-Driven Low-Level Scheduling in -- Distributed Real-Time Computing Systems -- K. H. (Kane) Kim, Juqiang Liu -- Session 8: Communication and Application -- IEEE-1394 A Standard to Interconnect Distributed Systems -- Romualdo Santamaria -- Deterministic and High-Performance Communication System -- for the Distributed Control of Mechatronic Systems Using the -- IEEE1394a -- M. Zanella, T. Lehmann, T. Hestermeyer, A. Pottharst -- A Consistent Design Methodology for Configurable -- HW/SW-Interfaces in Embedded Systems -- Stefan Ihmor, Markus Visarius, Wolfram Hardt -- Low Latency Color Segmentation on Embedded Real-Time -- Systems -- Dirk Stichling, Bemd Kleinjohann -- Session 9: Design Methods and Frameworks -- Soft IP Design Framework Using Metaprogramniing Techniques -- Vytautas Stuikys, Robertas Damasevicius, Giedrius Ziberkas, -- Giedrius Majauskas -- How to integrate Webservices in Embedded System Design? -- Achim Rettberg, Wolfgang Thronicke -- Design and Realization of Distributed Real-Time Controllers for -- Mechatronic Systems -- M. Deppe, M. Zanella.".
2002072766 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, Montréal, Québec, Canada / edited by Bernd Kleinjohann ... [et al.].".
2002072766 type "text".