Racing and Pacing to Idle: Theoretical and Empirical Analysis of Energy Optimization Heuristics | IEEE Conference Publication | IEEE Xplore