Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings - Vassilis Paliouras, Johan Vounckx, Diederik Verkest ((Lecture Notes in Computer Science))