According to our database1, Muhammad Atif
Legend:Book In proceedings Article PhD thesis Other
Soft Computing Techniques for Dependable Cyber-Physical Systems.
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