Deadline scheduling and power management for speed bounded processors