IEEE Transactions on Very Large Scale Integration (VLSI) Systems
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
Policy optimization for dynamic power management
DAC '98 Proceedings of the 35th annual Design Automation Conference
Online computation and competitive analysis
Online computation and competitive analysis
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
Competitive randomized algorithms for non-uniform problems
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
System-level power optimization: techniques and tools
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Dynamic power management of complex systems using generalized stochastic Petri nets
Proceedings of the 37th Annual Design Automation Conference
Dynamic power management using adaptive learning tree
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
A survey of design techniques for system-level dynamic power management
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special section on low-power electronics and design
Quantitative comparison of power management algorithms
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Requester-aware power reduction
ISSS '00 Proceedings of the 13th international symposium on System synthesis
Dynamic Power Management: Design Techniques and CAD Tools
Dynamic Power Management: Design Techniques and CAD Tools
Power-aware source routing protocol for mobile ad hoc networks
Proceedings of the 2002 international symposium on Low power electronics and design
Latency effects of system level power management algorithms
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Comparing System-Level Power Management Policies
IEEE Design & Test
SODA '03 Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms
On the Logical Characterisation of Performability Properties
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Model Checking of Probabalistic and Nondeterministic Systems
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Verifying Continuous Time Markov Chains
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Proceedings of the 40th annual Design Automation Conference
Adaptive Hard Disk Power Management on Personal Computers
GLS '99 Proceedings of the Ninth Great Lakes Symposium on VLSI
HLDVT '01 Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop (HLDVT'01)
Event-Driven Power Management of Portable Systems
Proceedings of the 12th international symposium on System synthesis
Online strategies for dynamic power management in systems with multiple power-saving states
ACM Transactions on Embedded Computing Systems (TECS)
Proceedings of the conference on Design, automation and test in Europe
Energy efficient system design and utilization
Energy efficient system design and utilization
Power-aware operating systems for interactive systems
Power-aware operating systems for interactive systems
FOCS '04 Proceedings of the 45th Annual IEEE Symposium on Foundations of Computer Science
Using probabilistic model checking for dynamic power management
Formal Aspects of Computing
HLDVT '02 Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop
Sentry-based power management in wireless sensor networks
IPSN'03 Proceedings of the 2nd international conference on Information processing in sensor networks
Energy-centric enabling tecumologies for wireless sensor networks
IEEE Wireless Communications
Policy optimization for dynamic power management
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
An analysis of system level power management algorithms and their effects on latency
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
An empirical evaluation of virtual circuit holding time policies in IP-over-ATM networks
IEEE Journal on Selected Areas in Communications
Game-theoretic timing analysis
Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
Energy Smart Management of Scientific Data
SSDBM 2009 Proceedings of the 21st International Conference on Scientific and Statistical Database Management
Communications of the ACM
Online reinforcement learning for dynamic multimedia systems
IEEE Transactions on Image Processing
Dynamic data reorganization for energy savings in disk storage systems
SSDBM'10 Proceedings of the 22nd international conference on Scientific and statistical database management
Energy proportionality for disk storage using replication
Proceedings of the 14th International Conference on Extending Database Technology
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
FREP: Energy proportionality for disk storage using replication
Journal of Parallel and Distributed Computing
Energy-saving by low-power modes in ADSL2
Computer Networks: The International Journal of Computer and Telecommunications Networking
Quantitative Analysis of Systems Using Game-Theoretic Learning
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
An energy complexity model for algorithms
Proceedings of the 4th conference on Innovations in Theoretical Computer Science
Power-reduction techniques for data-center storage systems
ACM Computing Surveys (CSUR)
Dynamic power management for the iterative decoding of Turbo codes
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A three-phase energy-saving strategy for cloud storage systems
Journal of Systems and Software
Hi-index | 0.02 |
Dynamic power management (DPM) refers to the problem of judicious application of various low-power techniques based on runtime conditions in an embedded system to minimize the total energy consumption. To be effective, often such decisions take into account the operating conditions and the system-level design goals. DPM has been a subject of intense research in the past decade driven by the need for low power consumption in modern embedded devices. We present a comprehensive overview of two closely related approaches to designing DPM strategies, namely, competitive analysis approach and model checking approach based on adversarial modeling. Although many other approaches exist for solving the system-level DPM problem, these two approaches are closely related and are based on a common theme. This commonality is in the fact that the underlying model is that of a competition between the system and an adversary. The environment that puts service demands on devices is viewed as an adversary, or to be in competition with the system to make it burn more energy, and the DPM strategy is employed by the system to counter that.