Proactive Speed Scheduling for Real-Time Tasks under Thermal Constraints | IEEE Conference Publication | IEEE Xplore