KI-Beratung Beta

  • Produktbild: Design and Analysis of Distributed Embedded Systems
  • Produktbild: Design and Analysis of Distributed Embedded Systems
Band 91 - 12%

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

12% sparen

144,99 € UVP 164,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.03.2013

Abbildungen

XVI, 288 p.

Herausgeber

Bernd Kleinjohann + weitere

Verlag

Springer Us

Seitenzahl

288

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

464 g

Auflage

Softcover reprint of the original 1st ed. 2002

Sprache

Englisch

ISBN

978-1-4757-4937-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.03.2013

Abbildungen

XVI, 288 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

288

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

464 g

Auflage

Softcover reprint of the original 1st ed. 2002

Sprache

Englisch

ISBN

978-1-4757-4937-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Design and Analysis of Distributed Embedded Systems
  • Produktbild: Design and Analysis of Distributed Embedded Systems
  • Can UML be a System-Level Language for Embedded Software?.- PEARL for Distributed Embedded Systems.- Universal Plug and Play Machine Models.- Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach.- Petri Net Based Design of Reconfigurable Embedded Real-Time Systems.- Model Checking Robustness to Desynchronization.- A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems.- Towards Design Verification and Validation at Multiple Levels of Abstraction.- Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions.- Statistical Analysis of a Hybrid Replication Model.- Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study.- Fault Detection in Safety-Critical Embedded Systems.- Dependability Characterization of Middleware Services.- Adaptive Middleware for Ubiquitous Computing Environments.- Finegrained Application Specific Customization of Embedded Software.- Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems.- Transforming Execution-Time Boundable Code into Temporally Predictable Code.- Bottom-Up Performance Analysis of HW/SW Platforms.- Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems.- Integration of Low Power Analysis into High-Level Synthesis.- Going Beyond Deadline-Driven Low-Level Scheduling in Distributed Real-Time Computing Systems.- IEEE-1394 A Standard to Interconnect Distributed Systems.- Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE 1394a.- A Consistent Design Methodology for Configurable HW/SW-Interfaces in Embedded Systems.- Low Latency Color Segmentation on EmbeddedReal-Time Systems.- Soft IP Design Framework Using Metaprogramming Techniques.- How to integrate Webservices in Embedded System Design?.- Design and Realization of Distributed Real-Time Controllers for Mechatronic Systems.