Global EDF-based online, energy-efficient real-time scheduling in multi-core platform | IEEE Conference Publication | IEEE Xplore