Speed Modulation in Energy-Aware Real-Time Systems