A scheduling model for reduced CPU energy, Proceedings of IEEE Annual Foundations of Computer Science, pp.374-382, 1995. ,

Speed scaling to manage energy and temperature, Journal of the ACM, vol.54, issue.1, 2007. ,

Determining optimal processor speeds for periodic real-time tasks with different power characteristics, Euromicro Conference on Real-Time Systems, ECRTS'01, pp.225-232, 2001. ,

On energy reduction in hard real-time systems containing tasks with stochastic execution times, IEEE Workshop on Power Management for Real-Time and Embedded Systems, pp.11-16, 2001. ,

Improving dynamic voltage scaling algorithms with PACE, ACM SIGMETRICS 2001 Conference, pp.50-61, 2001. ,

Optimal two-level speed assignment for real-time systems, IJES, vol.4, issue.2, pp.101-111, 2009. ,

Real-time dynamic voltage scaling for low-power embedded operating systems, SIGOPS Oper. Syst. Rev, vol.35, pp.89-102, 2001. ,

Optimal dynamic voltage scaling in energy-limited nonpreemptive systems with real-time constraints, IEEE Trans. Mob. Comput, vol.6, issue.6, pp.678-688, 2007. ,

Markov Decision Process : Discrete Stochastic Dynamic Programming. Wiley, wiley series in probability and statistics ed, 2005. ,

Dynamic speed scaling minimizing expected energy consumption for real-time tasks, 2017. ,

URL : https://hal.archives-ouvertes.fr/hal-01615835

Shortest Path Algorithms for Real-Time Scheduling of FIFO tasks with Minimal Energy Use, ACM Transactions on Embedded Computing Systems (TECS), vol.4, issue.4, 2005. ,

URL : https://hal.archives-ouvertes.fr/inria-00099957

, Inequalitites: Theory of Majorization and Its Applications, vol.143, 1979.

, Comparison Methods for Stochastic Models and Risks. No. ISBN: 978-0-471-49446-1 in Wiley Series in Probability and Statistics, 2002.

Voltage and frequency control with adaptive reaction time in multiple-clock-domain processors, International Conference on High-Performance Computer Architecture, HPCA'05, pp.178-189, 2005. ,

Design issues for dynamic voltage scaling, International Symposium on Low Power Electronics and Design, ISLPED'00, 2000. ,

Energy management of embedded wireless systems through voltage and modulation scaling under probabilistic workloads, International Green Computing Conference, IGCC'14, pp.1-10, 2014. ,

Energy and time constrained task scheduling on multiprocessor computers with discrete speed levels, J. of Parallel and Distributed Computing, vol.95, pp.15-28, 2016. ,

Energy and timing aware synchronous programming, International Conference on Embedded Software, EMSOFT'16, 2016. ,

URL : https://hal.archives-ouvertes.fr/hal-01412100

Cache-related preemption and migration delays: Empirical approximation and impact on schedulability, Workshop on Operating Systems Platforms for Embedded Real-Time Applications, OSPERT'10, pp.33-44, 2010. ,

Scheduling and Locking in Multiprocessor Real-Time Operating Systems, 2011. ,

Global scheduling not required: Simple, near-optimal multiprocessor real-time scheduling with semi-partitioned reservations, Real-Time Systems Symposium, RTSS'16, pp.99-110, 2016. ,

Neuro-dynamic programming, 1996. ,

Catalan numbers, their generalization, and their uses, The Mathematical Intelligencer, vol.13, pp.64-75, 1991. ,

Some simple scheduling algorithms, Naval Research Logistics, vol.21, issue.1, pp.177-185, 1974. ,

Why aren't operating systems getting faster as fast as hardware?, Proceedings of the Usenix Summer 1990 Technical Conference, pp.247-256, 1990. ,

A discrete time markov decision process for energy minimization under deadline constraints, Tech. Rep. XXXXX, Inria, 2019. ,

URL : https://hal.archives-ouvertes.fr/hal-02391948

On energy-optimal voltage scheduling for fixed priority hard real-time systems, ACM Trans. Embed. Comput. Syst, vol.2, issue.3, pp.393-430, 2003. ,

An efficient algorithm for computing optimal discrete voltage schedules, SIAM J. Comput, vol.35, pp.658-671, 2005. ,

, Saint Ismier Cedex Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria