Vor Ort
Merkzettel Warenkorb
Produktbild: Design Methods and Applications for Distributed Embedded Systems
Band 150

Design Methods and Applications for Distributed Embedded Systems IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel, Embedded Systems (DIPES 2004), 22–27 August, 2004 Toulouse, France

Aus der Reihe IFIP Advances in Information and Communication Technology

105,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

27.07.2004

Abbildungen

XII, 326 p.

Herausgeber

Bernd Kleinjohann + weitere

Verlag

Springer Us

Seitenzahl

326

Maße (L/B/H)

24,5/16,5/2,7 cm

Gewicht

694 g

Auflage

2004

Sprache

Englisch

ISBN

978-1-4020-8148-4

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

27.07.2004

Abbildungen

XII, 326 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

326

Maße (L/B/H)

24,5/16,5/2,7 cm

Gewicht

694 g

Auflage

2004

Sprache

Englisch

ISBN

978-1-4020-8148-4

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

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 Methods and Applications for Distributed Embedded Systems
  • Modelling and Specification.- MDA Platform for Complex Embedded Systems Development.- On Detecting Deadlocks in Large UML Models.- Verification Framework for UML-Based Design of Embedded Systems.- Verification and Analysis.- LTL’s Intuitive Representations and Its Automaton Translation.- Modeling and Verification of Hybrid Systems Based on Equations.- Distribution of Time Interval Between Successive Interrupt Requests.- Fault Detection and Toleration.- A Membership Agreement Algorithm Detecting and Tolerating Asymmetric Timing Faults.- Temporal Bounds for TTA : Validation.- An Active Replication Scheme That Tolerates Failures in Distributed Embedded Real-Time Systems.- Automotive and Mechatronic Systems Design.- Development of Distributed Automotive Software.- Experiences from Model Based Development of Drive-By-Wire Control Systems.- Hardware Design and Protocol Specification for the Control and Communication Within a Mechatronic System.- Networks and Communication.- A Decentralized Self-Organized Approach for Wireless Sensor Networks.- A Software Architecture and Supporting Kernel for Largely Synchronously Operating Sensor Networks.- Adaptive Bus Encoding Schemes for Power-Efficient Data Transfer in DSM Environments.- Scheduling and Resource Management.- A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems.- Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions.- Flexible Resource Management.- Hardware Architectures and Synthesis.- Automatic Synthesis of SystemC-Code from Formal Specifications.- Hardware Synthesis of A Parallel JPEG Decoder from Its Functional Specification.- A Self-Controlled and Dynamically Reconfigurable Architecture.- Design Space Exploration.- Profiling Specification Pearl Designs.- A Multiobjective Tabu Search Algorithm for The Design Space Exploration of Embedded Systems.- Design Space Exploration with Automatic Generation of IP-Based Embedded Software.- Design Methodologies and User Interfaces.- A Multi-Level Design Pattern for Embedded Software.- A Petri Net Approach for The Design of Dynamically Modifiable Embedded Systems.- Internet Premium Services for Flexible Format Distributed Devices.- Short Papers.- Evaluating High-Level Models for Real Time Embedded Systems Design.- A Dataflow Language (AVON) as an Architecture Description Language (ADL).- Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines.- The Implications of Real-Time Behavior in Networks-on-Chip Architectures.- ME64 - A Parallel Hardware Architecture for Motion Estimation Implemented in FPGA.