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 /

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Kleinjohann, Bernd (Editor ), Kleinjohann, Lisa (Editor ), Wolf, Marilyn (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:IFIP Advances in Information and Communication Technology,
Temas:
Computer science.
Electronic digital computers-Evaluation.
Operating systems (Computers).
Theory of Computation.
System Performance and Evaluation.
Operating Systems.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares