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 - Sicard, Gilles; Leuken, Ren©♭ (Lecture Notes in Computer Science,, 2011)