Integrated circuit and system design power and timing modeling, optimization and simulation : 19th international workshop, PATMOS 2009, Delft, the Netherlands, September 9-11, 2009 : revised selected papers / - Monteiro, José.; Van Leuken, René. (Springer,)