Author of the publication

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

, and . RV, volume 10548 of Lecture Notes in Computer Science, page 138-154. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Analysis of Distributed Systems With Many Identical Processes.. ICDCS, page 358-365. IEEE Computer Society, (1988)Lattice Agreement in Message Passing Systems., , and . DISC, volume 121 of LIPIcs, page 41:1-41:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization., , and . OPODIS, volume 46 of LIPIcs, page 29:1-29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Monitoring Functions on Global States of Distributed Programs., and . J. Parallel Distributed Comput., 41 (2): 173-189 (1997)Parallel Algorithms for Equilevel Predicates., and . ICDCN, page 104-113. ACM, (2024)Observation of Software for Distributed Systems with RCL., and . FSTTCS, volume 1026 of Lecture Notes in Computer Science, page 195-209. Springer, (1995)Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution., and . DISC, volume 1693 of Lecture Notes in Computer Science, page 210-224. Springer, (1999)Efficient Detection of Restricted Classes of Global Predicates., and . WDAG, volume 972 of Lecture Notes in Computer Science, page 303-317. Springer, (1995)On Checking Whether a Predicate Definitely Holds., and . FATES, volume 2931 of Lecture Notes in Computer Science, page 15-29. Springer, (2003)Optimization of BLAS on the Cell Processor., , , , , and . HiPC, volume 5374 of Lecture Notes in Computer Science, page 18-29. Springer, (2008)