Predicate Detection for Parallel Computations with Locking Constraints.

Yen-Jung Chang, Vijay K. Garg

Browse the full OPODIS paper archive.