Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings - Nadine Azémard, Lars Svensson ((Lecture Notes in Computer Science))