Power and performance tuning in the synthesis of real-time scheduling algorithms for embedded applications | IEEE Conference Publication | IEEE Xplore