Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings - Jorge Juan Chico, Enrico Macii ((Lecture Notes in Computer Science))