Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings - Azémard, Nadine; Svensson, Lars (Springer Berlin Heidelberg, 2007)