By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Sesic, A. ; Dept. for Power, Electron., & Telecommun. Eng., Novi Sad Univ., Novi Sad ; Dautovic, S. ; Malbasa, V.

In this paper, we used the accepted methodology of applying probabilistic-model checking to dynamic power management. For the first time, we analyze in this context a dynamic-power-management system with the two request priorities. First system we consider has a single two-priority service request queue. Second system to be analyzed has two single service request queues that are dedicated for high- and low-priority requests. We calculate optimal stochastic policies for the both systems. The same delay constraint is applied on the whole queue of the first system and on the high-priority (QH) queue of the second system. The comparison of the power consumptions of the two systems shows that the second system consumes up to 77% less power. We obtain that the power consumptions of both systems converge when the constraints become tighter. We demonstrate that, with the increased length of the QH service request queue of the second system, more power can be saved in applications with varying quality-of-service requirements. Our models and experiments can be easily generalized to N request priorities and different queue lengths.

Published in:

Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on  (Volume:27 ,  Issue: 2 )