%0 Journal Article %1 journals/tcad/BukhariKH0H20 %A Bukhari, Syed Ali Asadullah %A Khalid, Faiq %A Hasan, Osman %A Shafique, Muhammad %A Henkel, Jörg %D 2020 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 8 %P 1725-1738 %T Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads. %U http://dblp.uni-trier.de/db/journals/tcad/tcad39.html#BukhariKH0H20 %V 39

@article{journals/tcad/BukhariKH0H20, added-at = {2020-09-24T00:00:00.000+0200}, author = {Bukhari, Syed Ali Asadullah and Khalid, Faiq and Hasan, Osman and Shafique, Muhammad and Henkel, Jörg}, biburl = {https://www.bibsonomy.org/bibtex/28768c16509fc466dc7b94c73e5f9c4f9/dblp}, ee = {https://doi.org/10.1109/TCAD.2019.2921313}, interhash = {94e8fe8bac599b83e71341a90d63cd47}, intrahash = {8768c16509fc466dc7b94c73e5f9c4f9}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 8, pages = {1725-1738}, timestamp = {2020-09-25T11:48:09.000+0200}, title = {Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad39.html#BukhariKH0H20}, volume = 39, year = 2020 }