( en | de | ru )

 

Disambiguierung von "Cooperman, Gene"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
McMini: A Programmable DPOR-based Model Checker for Multithreaded Programs.

, , und . CoRR, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Gene Boychuk

Gene Simat

Gene Zavadzkas

Gene Pang

Gene O Stimpson

 

Weitere Publikationen von Autoren mit dem selben Namen

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