2008 | ||
---|---|---|
1 | EE | 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) |
1 | Stanisa Dautovic | [1] |
2 | Veljko Malbasa | [1] |