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
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
Power Aware Design Methodologies
Power Aware Design Methodologies
Latency effects of system level power management algorithms
Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
SODA '03 Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms
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
Model Checking CSL until Formulae with Random Time Bounds
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and 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
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 empirical evaluation of virtual circuit holding time policies in IP-over-ATM networks
IEEE Journal on Selected Areas in Communications
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
Distributed power-management techniques for wireless network video systems
Proceedings of the conference on Design, automation and test in Europe
Chipping away at greenhouse gases
Communications of the ACM
A dynamic power management controller for optimizing servers' energy consumption in service centers
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Evaluating the effectiveness of model-based power characterization
USENIXATC'11 Proceedings of the 2011 USENIX conference on USENIX annual technical conference
A methodology based on formal methods for predicting the impact of dynamic power management
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Power modeling of a noc based design for high speed telecommunication systems
PATMOS'06 Proceedings of the 16th international conference on Integrated Circuit and System Design: power and Timing Modeling, Optimization and Simulation
Hi-index | 0.02 |
Dynamic Power Management or DPM refers to the problem ofjudicious application of various low power techniques based onruntime conditions in an embedded system to minimize the totalenergy consumption.To be effective, often such decisions takeinto account the operating conditions and the system-level designgoals.DPM has been a subject of intense research in thepast decade driven by the need for low power in modern embeddeddevices.We present an overview of the formal methods thathave been explored in solving the system-level DPM problem.We show how formal reasoning frameworks can potentially unifyapparently disparate DPM techniques.