Power-optimized scheduling server for real-time tasks | IEEE Conference Publication | IEEE Xplore