Bubble budgeting: throughput optimization for dynamic workloads by exploiting dark cores in many core systems | IEEE Conference Publication | IEEE Xplore