Integrated circuit and system design. Power and timing modeling, optimization and simulation. Proceedings : PATMOS 2003, Turin, Italy, Sept. 10 - 12, 2003 - Chico, Jorge Juan (Lecture notes in computer science, 2003)