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)

Created from the Publication Database of the Vienna University of Technology.