Sebastian Winkel Optimal versus Heuristic Global Code Scheduling. 43-55 2007 MICRO http://doi.ieeecomputersociety.org/10.1109/MICRO.2007.29 conf/micro/2007 db/conf/micro/micro2007.html#Winkel07