Treffer: Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST

Titel:

Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST / Cornelius Pätzold, Simon Schwitanski, Joachim Jenke, Felix Tomski, Matthias S. Müller

Beteiligt:

Veröffentlicht:

Aachen : Universitätsbibliothek der RWTH Aachen, 2024

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Anmerkungen:

In: 10.1109/SCW63240.2024.00035

DOI:

10.18154/RWTH-2025-01932

Zusatz-Informationen