Distributed Embedded Systems: Design, Middleware and Resources

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kleinjohann, Bernd (Επιμελητής έκδοσης), Wolf, Wayne (Επιμελητής έκδοσης), Kleinjohann, Lisa (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2008.
• Σειρά: IFIP – The International Federation for Information Processing, 271
• Θέματα: Computer science.; Computer system failures.; Operating systems (Computers).; Computers.; Computer Science.; Theory of Computation.; System Performance and Evaluation.; Operating Systems.

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

Πίνακας περιεχομένων:

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