An energy-saving task scheduler for mobile devices | IEEE Conference Publication | IEEE Xplore