A scheduling model for reduced CPU energy | IEEE Conference Publication | IEEE Xplore