|
[IHSH15]
Shafaq Iqtedar, Osman Hasan, Muhammad Shafique and Jörg Henkel.
Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems.
In Proc. IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises.
2015.
[Analyses dynamic thermal management schemes for multi-core architectures using PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|