Design methods and applications for distributed embedded systems : IFIP 18th World Computer Congress : TC10 Wo | TC10 Working Conference on Distributed and Parallel Embedded Systems (2004 : Toulouse, France), Kleinjohann, Bernd, IFIP World Computer Congress (18th : 2004 : Toulouse, France)
Share on TelegramDesign methods and applications for distributed embedded systems : IFIP 18th World Computer Congress : TC10 Wo
User Rating: Be the first one!
Author: TC10 Working Conference on Distributed and Parallel Embedded Systems (2004 : Toulouse, France), Kleinjohann, Bernd, IFIP World Computer Congress (18th : 2004 : Toulouse, France)
Added by: sketch
Added Date: 2015-12-29
Publication Date: 2004
Language: eng
Subjects: Embedded computer systems, Electronic data processing, Parallel processing (Electronic computers)
Publishers: Boston : Kluwer Academic Publishers
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 1402081480, 1402081499
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 186.98 MB
PDF Size: 16.62 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 868
Views: 918
Total Files: 18
Media Type: texts
Description
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:
Includes bibliographical references
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
