Author of the publication

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

Explorations of the viability of ARM and Xeon Phi for physics processing, , , , , , , , , and 2 other author(s). (Jan 21, 2014)Using Tadpoles to Reduce Memory and Communication Requirements for Exhaustive, Breadth-First Search Using Distributed Computers., and . SPAA, page 231-238. ACM, (1997)Adapting the DMTCP Plugin Model for Checkpointing of Hardware Emulation., , , , , , , and . CoRR, (2017)Efficient mining of max frequent patterns in a generalized environment., , and . CIKM, page 810-811. ACM, (2006)STAR/MPI: Binding a Parallel Library to Interactive Symbolic Algebra Systems.. ISSAC, page 126-132. ACM, (1995)URDB: a universal reversible debugger based on decomposing debugging histories., , , and . PLOS@SOSP, page 8:1-8:5. ACM, (2011)McMini: A Programmable DPOR-Based Model Checker for Multithreaded Programs., , and . Art Sci. Eng. Program., (June 2023)An Architecture for Exploiting Native User-Land Checkpoint-Restart to Improve Fuzzing., , and . CoRR, (2021)Collective Vector Clocks: Low-Overhead Transparent Checkpointing for MPI., and . CoRR, (2022)SymGrid: A Framework for Symbolic Computation on the Grid., , , , and . Euro-Par, volume 4641 of Lecture Notes in Computer Science, page 457-466. Springer, (2007)