Renaud Pawlak, and Renaud Rioboo Joint Algorithm Developing and System-Level Design: Case Study on Video Encoding, p.26 ,
Berkenbrock Non-functional Aspects of Embedded Systems Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software, p.49 ,
Moreira Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines, p.61 ,
Renaux and Fabiana Pöttker Low-Power Processors Require Effective Memory Partitioning, p.73 ,
Fernando Silveira, and Luigi Carro Enhancement of System-Lifetime by Alternating Module Activation, p.82 ,
Verena Klös, and Sabine Glesner XII Table of Contents Reducing Re-verification Effort by Requirement-Based Change ,
Ylì es Falcone, and Lydie du Bousquet Hardware and Software Implementations of Prim's Algorithm for Efficient Minimum Spanning Tree Computation, p.151 ,
Hiroyuki Tomiyama, and Hiroaki Takada ARAMIS Special Session Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction, p.181 ,
Kurt Rothermel, and Christian Maihöfer Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for, p.205 ,
Martin Fränzle, and Achim Rettberg Table of Contents XIII Formal Verification of Concurrent Embedded Software, p.218 ,
Full Virtualization and Paravirtualization for Multi-core Embedded Systems, p.293 ,
306 Bruno Dal Bó Silva and Marcelo Götz Real-Time Aspects in Distributed Systems Modeling Time-Triggered Ethernet in SystemC, p.318 ,