文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
A. Sesic
发表
Dynamic Power Management of a System With a Two-Priority Request Queue Using Probabilistic-Model Checking
Stanisa Dautovic, Veljko Malbasa, Aleksandra Sesic, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.