Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers - Leuken, René van; Sicard, Gilles (Springer Berlin Heidelberg, 2011)