New Added

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

Like Score+749

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
Original Title 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
Author TC10 Working Conference on Distributed and Parallel Embedded Systems (2004 : Toulouse, France), Kleinjohann, Bernd, IFIP World Computer Congress (18th : 2004 : Toulouse, France)
Publication date

Topics Embedded computer systems, Electronic data processing, Parallel processing (Electronic computers)
Publisher Boston : Kluwer Academic Publishers
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
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
Author: Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg
Published by Springer US
ISBN: 978-1-4020-8148-4
DOI: 10.1007/b98982

Table of Contents:

  • MDA Platform for Complex Embedded Systems Development
  • On Detecting Deadlocks in Large UML Models
  • Verification Framework for UML-Based Design of Embedded Systems
  • 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
  • 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
  • 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
  • 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
  • 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
  • Automatic Synthesis of SystemC-Code from Formal Specifications
  • Hardware Synthesis of A Parallel JPEG Decoder from Its Functional Specification

Includes bibliographical references

We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0