Leram - Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation: 20th International Workshop, PATMOS 2010, Grenoble, ... 7-10, 2010, Revised Selected Papers: 6448