Automated Configuration Problem Solving

Energy-aware Scheduling on Multiprocessor Platforms

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

Formal System Verification State-of the-Art and Future Trends

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures

Design Techniques for Mash Continuous-Time Delta-Sigma Modulators

Smart Camera Design Algorithms, Architectures, and Art

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores

Contactless VLSI Measurement and Testing Techniques

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers