|
[IHSK15]
Shafaq Iqtedar, Osman Hasan, Muhammad Shafique and Jörg Henkel.
Formal probabilistic analysis of distributed dynamic thermal management.
In Proc. Design, Automation & Test in Europe Conference & Exhibition (DATE'15), pages 1221-1224.
2015.
[Verifies a distributed scheme for dynamic thermal management using PRISM.
]
|
|
Links:
[Google]
[Google Scholar]
|