A Model-Based Approach to Platform-Level Power And Clock Management