Policy optimization for dynamic power management

intel, 1996, Advanced configuration and power interface specification

microsoft, 1997, OnNow The evolution of the PC platform

golding, 1995, idleness is not sloth, Proc Winter USENIX Tech Conf, 201

golding, 1996, Idleness is not sloth

10.1109/92.486080

10.1145/335043.335046

10.1109/ICUPC.1997.627200

10.1109/GLOCOM.1996.594328

10.1109/98.637380

10.1023/A:1019168125436

benini, 1998, Monitoring system activity for OS-directed dynamic power management, Proceedings 1998 International Symposium on Low Power Electronics and Design (IEEE Cat No 98TH8379) LPE, 185, 10.1145/280756.280887

udani, 1996, The power broker Intelligent power management for mobile computing

10.1007/978-1-4615-5685-5

czyzyk, 1996, PCx user guide

10.1109/ICVD.1995.512103

10.1109/54.329447

intel corporation, 1998, SA-1100 Microprocessor Tech Ref Manual

benini, 1997, Dynamic Power Management Design Techniques and CAD Tools

furber, 1997, ARM System Architecture

10.1007/978-1-4615-2307-9

10.1007/978-1-4615-2325-3

10.1109/98.683740

10.1109/LPE.1995.482410

puterman, 1994, Finite Markov Decision Processes, 10.1002/9780470316887

ross, 1983, Introduction to Stochastic Dynamic Programming

bertsimas, 1997, Introduction to Linear Optimization

kitaev, 1995, Controlled Queuing Systems

ross, 1997, Introduction to Probability Models

trivedi, 1982, Probability &amp Statistics with Reliability Queuing and Computer Science Applications