[Back]


Publications in Scientific Journals:

S. Bukhari, F. Khalid, O. Hasan, M. Shafique, J. Henkel:
"Towards Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques under Multi-Threaded Workloads";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, - (2019), 1 - 14.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/TCAD.2019.2921313