5 citations · 5 across the 4 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.DC2014
Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations
Himanshu Chauhan, Vijay K. Garg
Partial orders are used extensively for modeling and analyzing concurrent computations. In this paper, we define two properties of partially ordered sets: width-extensibility and i…
cs.DC2014
ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism
Weil-Lun Hung, Himanshu Chauhan, Vijay K. Garg
We present a set of novel ideas on design and implementation of monitor objects for multi-threaded programs. Our approach has two main goals: (a) increase parallelism in monitor ob…