Green Queue: Customized Large-Scale Clock Frequency Scaling
Annotation-based empirical performance tuning using Orio