A model checking approach to evaluating system level dynamic power management policies for embedded systems

Sixth IEEE International High-Level Design Validation and Test Workshop ◽

10.1109/hldvt.2001.972807 ◽

2002 ◽

Author(s):

S.K. Shukla ◽

R.K. Gupta

Keyword(s):

Model Checking ◽

Embedded Systems ◽

Power Management ◽

System Level ◽

Dynamic Power Management ◽

Dynamic Power ◽

Management Policies

Download Full-text

Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2007.911342 ◽

2008 ◽

Vol 27 (2) ◽

pp. 403-407 ◽

Author(s):

Aleksandra Sesic ◽

Stanisa Dautovic ◽

Veljko Malbasa

Keyword(s):

Model Checking ◽

Power Management ◽

Probabilistic Model ◽

Probabilistic Model Checking ◽

Dynamic Power Management ◽

Dynamic Power ◽

Download Full-text

Dynamic power management using on demand paging for networked embedded systems

Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 ◽

10.1145/1120725.1121010 ◽

2005 ◽

Author(s):

Yuvraj Agarwal ◽

Curt Schurgers ◽

Rajesh Gupta

Keyword(s):

Embedded Systems ◽

Power Management ◽

Dynamic Power Management ◽

Dynamic Power ◽

On Demand ◽

Networked Embedded Systems

Download Full-text

Stochastic modeling of dynamic power management policies in server farms with setup times and server failures

International Journal of Communication Systems ◽

10.1002/dac.2761 ◽

2014 ◽

Vol 27 (4) ◽

pp. 680-703 ◽

Author(s):

Aibo Song ◽

Wei Wang ◽

Junzhou Luo

Keyword(s):

Power Management ◽

Stochastic Modeling ◽

Setup Times ◽

Dynamic Power Management ◽

Dynamic Power ◽

Management Policies

Download Full-text

A Dynamic Power Management Algorithm for Sporadic Tasks in Real-Time Embedded Systems

2016 IEEE Trustcom/BigDataSE/ISPA ◽

10.1109/trustcom.2016.0318 ◽

2016 ◽

Author(s):

Changyi Deng ◽

Ruifeng Guo ◽

Hongliang Wang ◽

Azhen Peng

Keyword(s):

Embedded Systems ◽

Real Time ◽

Power Management ◽

Dynamic Power Management ◽

Sporadic Tasks ◽

Dynamic Power ◽

Management Algorithm

Download Full-text

MARTE profile extension for modeling dynamic power management of embedded systems

Journal of Systems Architecture ◽

10.1016/j.sysarc.2011.01.003 ◽

2012 ◽

Vol 58 (5) ◽

pp. 209-219 ◽

Author(s):

Tero Arpinen ◽

Erno Salminen ◽

Timo D. Hämäläinen ◽

Marko Hännikäinen

Keyword(s):

Embedded Systems ◽

Power Management ◽

Dynamic Power Management ◽

Download Full-text

Dynamic power management for embedded systems [SOC design]

IEEE International [Systems-on-Chip] SOC Conference, 2003. Proceedings. ◽

10.1109/soc.2003.1241556 ◽

2004 ◽

Author(s):

B. Brock ◽

K. Rajamani

Keyword(s):

Embedded Systems ◽

Power Management ◽

Dynamic Power Management ◽

Download Full-text

Comparison of dynamic power management policies for Wi-Fi network interfaces

2016 12th IEEE International Conference on Industry Applications (INDUSCON) ◽

10.1109/induscon.2016.7874504 ◽

2016 ◽

Author(s):

Bruna M. J. C. Vilar ◽

Saulo O. D. Luiz ◽

Angelo Perkusich

Keyword(s):

Power Management ◽

Dynamic Power Management ◽

Dynamic Power ◽

Management Policies ◽

Network Interfaces

Download Full-text

A unified approach for fault tolerance and dynamic power management in fixed-priority real-time embedded systems

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ◽

10.1109/tcad.2005.852657 ◽

2006 ◽

Vol 25 (1) ◽

pp. 111-125 ◽

Author(s):

Ying Zhang ◽

K. Chakrabarty

Keyword(s):

Fault Tolerance ◽

Embedded Systems ◽

Real Time ◽

Power Management ◽

Dynamic Power Management ◽

Unified Approach ◽

Fixed Priority ◽

Download Full-text

Dynamic power management using on demand paging for networked embedded systems

Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005. ◽

10.1109/aspdac.2005.1466450 ◽

2005 ◽

Author(s):

Y. Agarwal ◽

R. Gupta ◽

C. Schurgers

Keyword(s):

Embedded Systems ◽

Power Management ◽

Dynamic Power Management ◽

Dynamic Power ◽

On Demand ◽

Networked Embedded Systems

Download Full-text

A formal framework for modeling and analysis of system-level dynamic power management

2005 International Conference on Computer Design ◽

10.1109/iccd.2005.9 ◽

2006 ◽

Author(s):

Shrirang Yardi ◽

K. Channakeshava ◽

M.S. Hsiao ◽

T.L. Martin ◽

D.S. Ha

Keyword(s):

Power Management ◽

System Level ◽

Dynamic Power Management ◽

Modeling And Analysis ◽

Dynamic Power ◽

Formal Framework

Download Full-text