Scheduling with dynamic voltage/speed adjustment using slack reclamation in multi-processor real-time systems | IEEE Conference Publication | IEEE Xplore