Syed Ali Asadullah Bukhari

According to our database, Syed Ali Asadullah Bukhari authored at least 5 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads.

Syed Ali Asadullah Bukhari, Faiq Khalid, Osman Hasan, Muhammad Shafique, Jörg Henkel

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2017

FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems.

Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel

Sci. Comput. Program., 2017

CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking.

Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2014

Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv.

Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

A Hardware Architecture for Difference of Gaussian Calculation in Image Feature Extraction.

Syed Ali Asadullah Bukhari, Sohail Iqbal

Proceedings of the 12th International Conference on Frontiers of Information Technology, 2014