Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

Real-Time Systems Design Principles for Distributed Embedded Applications

Hard Real-Time Computing Systems Predictable Scheduling Algorithms and Applications

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

Functional Verification of Programmable Embedded Architectures A Top-Down Approach