Improving energy-efficient real-time scheduling by exploiting code instrumentation | IEEE Conference Publication | IEEE Xplore