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

Ultra-Low Voltage Nano-Scale Memories

SAT-Based Scalable Formal Verification Solutions

Design for Manufacturability and Yield for Nano-Scale CMOS

Real-Time Applications with Stochastic Task Execution Times Analysis and Optimisation

Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems

Optimized ASIP Synthesis from Architecture Description Language Models

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Computational Intelligence for Engineering and Manufacturing

Vlsi-Soc: From Systems To Silicon Proceedings of IFIP TC 10, WG 10.5, Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australia

Designing Embedded Processors A Low Power Perspective

Advanced Memory Optimization Techniques for Low-Power Embedded Processors