Effective Dynamic Voltage Scaling through Accurate Performance Modeling ∗