http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

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

Pätzold, Cornelius (Corresponding author)^RWTH* ; Schwitanski, Simon (Corresponding author)^RWTH* ; Jenke, Joachim (Corresponding author)^RWTH* ; Tomski, Felix (Corresponding author)^RWTH* ; Müller, Matthias S. (Corresponding author)^RWTH*

In
Proceedings of the SC '24 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, Seiten/Artikel-Nr: 227-231

2024 & 2025

Konferenz/Event:8. International Workshop on Software Correctness for HPC Applications , Atlanta, GA , USA , Correctness 2024 , 2024-11-18 - 2024-11-18

Konferenz/Event:International Conference for High Performance Computing, Networking, Storage and Analysis , Atlanta, GA , USA , SC 2024 , 2024-11-17 - 2024-11-22

Impressum[Erscheinungsort nicht ermittelbar] : IEEE Press

Umfang227-231

ISBN979-8-3503-5554-3, 979-8-3503-5555-0, 9798350355543

ReiheACM Conferences

Date Added to IEEE Xplore: 08 January 2025. - Zweitveröffentlicht auf dem Publikationsserver der RWTH Aachen University 2025

Online
DOI: 10.1109/SCW63240.2024.00035
10.1109/SCW63240.2024.00035
DOI: 10.18154/RWTH-2025-01932
URL: https://publications.rwth-aachen.de/record/1005683/files/1005683_ZV.pdf

Einrichtungen

1. Lehrstuhl für Hochleistungsrechnen (Informatik 12) (123010)
2. IT Center (022000)
3. Fachgruppe Informatik (120000)

OpenAccess:
PDF
(zusätzliche Dateien)

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85217179079
WOS Core Collection: WOS:001451792300026

Interne Identnummern
RWTH-2025-01932
Datensatz-ID: 1005683

Beteiligte Länder
Germany