collaborators

1 paper

cs.DC2017

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

Himanshu Chauhan, Vijay Garg

Enumerating consistent global states of a computation is a fundamental problem in parallel computing with applications to debug- ging, testing and runtime verification of parallel…