Dynamic Voltage and Frequency Scaling for Real-Time Scheduling on a Prioritized SMT Processor | IEEE Conference Publication | IEEE Xplore