Author of the publication

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

, and . CoRR, (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

NVMOVE: Helping Programmers Move to Byte-Based Persistence., , , , , and . INFLOW@OSDI, USENIX Association, (2016)FOLKSOMAPS - towards community driven intelligent maps for developing regions., , , , and . ICTD, page 85-94. IEEE, (2009)Necessary and Sufficient Conditions on Partial Orders for Modeling Concurrent Computations., and . CoRR, (2014)RegSOP: A registry for service oriented programming with behavior based discovery., , and . NOMS, page 671-674. IEEE, (2012)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)An Evidence Based Analytical Approach for Process Automation: Case Study in Finance and Administration Process Delivery Services., , , , , , and . ICEBE, page 286-292. IEEE Computer Society, (2011)Enabling Scaleable, Efficient, Non-visual Web Browsing Services., , and . ICWS, page 1037-1038. IEEE Computer Society, (2009)Fast Detection of Stable and Count Predicates in Parallel Computations., and . OPODIS, volume 95 of LIPIcs, page 20:1-20:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Distributed Abstraction Algorithm for Online Predicate Detection, , , and . CoRR, (2013)ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism., , and . CoRR, (2014)