A scheduling model for reduced CPU energy | Synapse