Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002 - Bertrand Hochet, Antonio J. Acosta, Manuel J. Bellido ((Lecture Notes in Computer Science))