Integrated circuit and system design : power and timing modeling, optimization and simulation : 17th international workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, proceedings