Himanshu Chauhan

According to our database, Himanshu Chauhan authored at least 15 papers between 2009 and 2020.

Collaborative distances:

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

2020

Deep feature learning for histopathological image classification of canine mammary tumors and human breast cancer.

Abhinav Kumar, Sanjay Kumar Singh, Sonal Saxena, K. Lakshmanan, Arun Kumar Sangaiah, Himanshu Chauhan, Sameer Shrivastava, Raj Kumar Singh

Inf. Sci., 2020

2017

Efficient abstraction algorithms for predicate detection.

Aravind Natarajan, Himanshu Chauhan, Neeraj Mittal, Vijay K. Garg

Theor. Comput. Sci., 2017

Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs.

Himanshu Chauhan, Vijay K. Garg

Proceedings of the Runtime Verification - 17th International Conference, 2017

Fast Detection of Stable and Count Predicates in Parallel Computations.

Himanshu Chauhan, Vijay K. Garg

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

2016

NVMOVE: Helping Programmers Move to Byte-Based Persistence.

Himanshu Chauhan, Irina Calciu, Vijay Chidambaram, Eric Schkufza, Onur Mutlu, Pratap Subrahmanyam

Proceedings of the 4th Workshop on Interactions of NVM/Flash with Operating Systems and Workloads, 2016

2015

ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization.

Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations.

Himanshu Chauhan, Vijay K. Garg

Proceedings of the 2015 International Conference on Distributed Computing and Networking, 2015

2014

ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism.

Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg

CoRR, 2014

Non-blocking Monitor Executions for Increased Parallelism.

Wei-Lun Hung, Himanshu Chauhan, Vijay K. Garg

Proceedings of the Distributed Computing - 28th International Symposium, 2014

2013

A Distributed Abstraction Algorithm for Online Predicate Detection.

Himanshu Chauhan, Vijay K. Garg, Aravind Natarajan, Neeraj Mittal

Proceedings of the IEEE 32nd Symposium on Reliable Distributed Systems, 2013

Democratic Elections in Faulty Distributed Systems.

Himanshu Chauhan, Vijay K. Garg

Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013

2012

RegSOP: A registry for service oriented programming with behavior based discovery.

Arun Kumar, Himanshu Chauhan, D. Janaki Ram

Proceedings of the 2012 IEEE Network Operations and Management Symposium, 2012

2011

An Evidence Based Analytical Approach for Process Automation: Case Study in Finance and Administration Process Delivery Services.

Sai Zeng, Jim Alain Laredo, Sameep Mehta, Himanshu Chauhan, Ashish Verma, Douglas Williams, Beth Browne

Proceedings of the IEEE 8th International Conference on e-Business Engineering, 2011

2009

Enabling Scaleable, Efficient, Non-visual Web Browsing Services.

Ashish Verma, Tyrone Grandison, Himanshu Chauhan

Proceedings of the IEEE International Conference on Web Services, 2009

FOLKSOMAPS - towards community driven intelligent maps for developing regions.

Arun Kumar, Dipanjan Chakraborty, Himanshu Chauhan, Sheetal K. Agarwal, Nitendra Rajput

Proceedings of the 2009 International Conference on Information and Communication Technologies and Development, 2009