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

Title:
Correctness Checking of MPI+OpenMP Applications Using Vector Clocks in MUST / Cornelius Pätzold, Simon Schwitanski, Joachim Jenke, Felix Tomski, Matthias S. Müller
Involved:
Pätzold, Cornelius (Verfasser); Schwitanski, Simon (Verfasser); Jenke, Joachim (Verfasser) ; Tomski, Felix (Verfasser); Müller, Matthias S. (Verfasser)
Published:
Aachen : Universitätsbibliothek der RWTH Aachen, 2024
Scope:
1 Online-Ressource
Resource Type:
eBook
Language:
English
Notes:
In: 10.1109/SCW63240.2024.00035
DOI:
10.18154/RWTH-2025-01932

Additional information

Additional functions