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

Aleksandra Sesic, Stanisa Dautovic, Veljko Malbasa. Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking. IEEE Trans. on CAD of Integrated Circuits and Systems, 27(2):403-407, 2008. [doi]

Abstract

Abstract is missing.