A Holistic Energy-Efficient Real-Time Scheduler for Mixed Stream and Batch Processing Workloads | IEEE Journals & Magazine | IEEE Xplore