Green Queue: Customized Large-Scale Clock Frequency Scaling
PEBIL: Efficient static binary instrumentation for Linux