|
[SDM08]
A. Sesic, S. Dautovic and V. Malbasa.
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, 27(2).
February 2008.
[bib]
http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=4435957&arnumber=4378215
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|