CPU scheduling for statistically-assured real-time performance and improved energy efficiency