Distributed Embedded Systems: Design, Middleware and Resources IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy / edited by Bernd Kleinjohann, Lisa Kleinjohann, Marilyn Wolf.

International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Kleinjohann, Bernd (Editor), Kleinjohann, Lisa (Editor), Wolf, Marilyn (Editor)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:IFIP Advances in Information and Communication Technology,
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • Hierarchically Distributing Embedded Systems for Improved Autonomy
  • Sorting Units for FPGA-Based Embedded Systems
  • Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems
  • Specification-based Verification of Embedded Systems by Automated Test Case Generation
  • Analysis of Periodic Clock Relations in Polychronous Systems
  • Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level
  • Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT
  • Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables
  • The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures
  • On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems
  • Minimizing Leakage Energy with Modulo Scheduling for VLIW DSP Processors
  • Using Imprecise Computation Techniques for Power Management in Real-Time Embedded Systems
  • A Power Model for Register-Sharing Structures
  • Design and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor
  • Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements
  • TinyOS Extensions for a Wireless Sensor Network Node Based on a Dynamically Reconfigurable Processor
  • Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems
  • An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration
  • Handling QoS Dependencies in Distributed Cooperative Real-Time Systems
  • Topology-Aware Energy Efficient Task Assignment for Collaborative In-Network Processing in Distributed Sensor Systems
  • Data Partitioning Techniques for Partially Protected Caches to Reduce Soft Error Induced Failures.