Muhammad Atif

According to our database1, Muhammad Atif authored at least 20 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Beyond precision: accelerated life testing for fuzzy life time data.
Soft Comput., 2018

FPGA Based Adaptive Rate and Manifold Pattern Projection for Structured Light 3D Camera System.
Sensors, 2018

Soft Computing Techniques for Dependable Cyber-Physical Systems.
CoRR, 2018

Auto-Setting of Optimal Exposure for Structured Light 3D Cameras.
Proceedings of the 12th International Conference on Ubiquitous Information Management and Communication, 2018

Efficient Evaluation of Scheduling Metrics Using Emulation: A Case Study in the Effect of Artefacts.
Proceedings of the 47th International Conference on Parallel Processing, 2018

Generalized Likelihood Ratio Test and Cox's F-Test Based on Fuzzy Lifetime Data.
Int. J. Intell. Syst., 2017

Adaptive frame rate pattern projection for structured light 3D camera system.
Proceedings of the 2017 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2017

Efficient Density-Based Blocking for Record Matching.
Proceedings of the 21st International Database Engineering & Applications Symposium, 2017

Boundary based shade detection.
Proceedings of the 2016 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2016

LogProv: Logging events as provenance of big data analytics pipelines with trustworthiness.
Proceedings of the 2016 IEEE International Conference on Big Data, 2016

Evaluation of High Density GPUs as Sustainable Smart City Infrastructure.
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

Adaptive parallel application resource remapping through the live migration of virtual machines.
Future Generation Comp. Syst., 2014

Optimal depth estimation and extended depth of field from single images by computational imaging using chromatic aberrations.
PhD thesis, 2013

Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems.
Proceedings of the ACM Symposium on Applied Computing, 2012

Scientific Application Performance on HPC, Private and Public Cloud Resources: A Case Study Using Climate, Cardiac Model Codes and the NPB Benchmark Suite.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Adaptive Resource Remapping through Live Migration of Virtual Machines.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2011

Formal specification and analysis of accelerated heartbeat protocols.
Proceedings of the SummerSim '10, 2010

Optimizing Live Migration of Virtual Machines in SMP Clusters for HPC Applications.
Proceedings of the NPC 2009, 2009

Controlling the longitudinal dynamics of a vehicle using sensor based haptic feedback.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

An Efficient Algorithm for Globally Aligning DNA Sequences.
Proceedings of the 21st International Conference on Computers and Their Applications, 2006