Formal probabilistic analysis of distributed dynamic thermal management

Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jörg Henkel. Formal probabilistic analysis of distributed dynamic thermal management. In Wolfgang Nebel, David Atienza, editors, Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015. pages 1221-1224, ACM, 2015. [doi]

Authors

Shafaq Iqtedar

This author has not been identified. Look up 'Shafaq Iqtedar' in Google

Osman Hasan

This author has not been identified. It may be one of the following persons: Look up 'Osman Hasan' in Google

Muhammad Shafique

This author has not been identified. Look up 'Muhammad Shafique' in Google

Jörg Henkel

This author has not been identified. Look up 'Jörg Henkel' in Google