Fundamentals of queueing theory (2nd ed.).
Fundamentals of queueing theory (2nd ed.).
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Low power design in deep submicron electronics
Low power design in deep submicron electronics
A predictive system shutdown method for energy saving of event-driven computation
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Dynamic Power Management: Design Techniques and CAD Tools
Dynamic Power Management: Design Techniques and CAD Tools
Finite State Markovian Decision Processes
Finite State Markovian Decision Processes
Monitoring system activity for OS-directed dynamic power management
ISLPED '98 Proceedings of the 1998 international symposium on Low power electronics and design
Dynamic power management of electronic systems
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Software controlled power management
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Dynamic power management for non-stationary service requests
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Dynamic power management based on continuous-time Markov decision processes
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Stochastic modeling of a power-managed system: construction and optimization
ISLPED '99 Proceedings of the 1999 international symposium on Low power electronics and design
Dynamic power management of complex systems using generalized stochastic Petri nets
Proceedings of the 37th Annual Design Automation Conference
Quantitative comparison of power management algorithms
DATE '00 Proceedings of the conference on Design, automation and test in Europe
System level online power management algorithms
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Dynamic power management for portable systems
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
Latency effects of system level power management algorithms
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Event-Driven Power Management of Portable Systems
Proceedings of the 12th international symposium on System synthesis
Formal Methods for Dynamic Power Management
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Performance directed energy management for main memory and disks
ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10 - Volume 11
Performance directed energy management for main memory and disks
ACM Transactions on Storage (TOS)
Applying stochastic modeling to bus arbitration for systems-on-chip
Integration, the VLSI Journal
Dynamic power management using machine learning
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Exploring power management in multi-core systems
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Stochastic DVS-based dynamic power management for soft real-time systems
Microprocessors & Microsystems
Applying models of user activity for dynamic power management in wireless devices
Proceedings of the 10th international conference on Human computer interaction with mobile devices and services
Markov Model Based Disk Power Management for Data Intensive Workloads
CCGRID '09 Proceedings of the 2009 9th IEEE/ACM International Symposium on Cluster Computing and the Grid
System-level power management using online learning
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A dynamic frequency scaling solution to DPM in embedded linux systems
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Performance and power consumption modeling for green COTS software router
COMSNETS'09 Proceedings of the First international conference on COMmunication Systems And NETworks
Combining formal verification with observed system execution behavior to tune system parameters
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Learning to Infer the Status of Heavy-Duty Sensors for Energy-Efficient Context-Sensing
ACM Transactions on Intelligent Systems and Technology (TIST)
Power-Efficient microkernel of embedded operating system on chip
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
A very fast and quasi-accurate power-state-based system-level power modeling methodology
ARCS'12 Proceedings of the 25th international conference on Architecture of Computing Systems
Analysis of disk power management for data-center storage systems
Proceedings of the 3rd International Conference on Future Energy Systems: Where Energy, Computing and Communication Meet
| Hi-index | 0.00 |
Dynamic power management schemes (also called policies) can be used to control the power consumption levels of electronic systems, by setting their components in different states, each characterized by a performance level and a power consumption. In this paper, we describe power-managed systems using a finite-state, stochastic model. Furthermore, we show that the fundamental problem of finding an optimal policy which maximizes the average performance level of a system, subject to a constraint on the power consumption, can be formulated as a stochastic optimization problem called policy optimization. Policy optimization can be solved exactly in polynomial time (in the number of states of the model). We implemented a policy optimization tool and tested the quality of the optimal policies on a realistic case study.