Publikation

Artifact for 'Modeling Synchronization and Consistency for Data Race Detection in Remote Memory Access Programs'

  • Artefakt zu 'Modellierung von Synchronisation und Konsistenz zur Erkennung von Data Races in Remote-Memory-Access-Programmen'

Schwitanski, Simon

(2025)
Dataset

Einrichtungen

  • Lehrstuhl für Hochleistungsrechnen (Informatik 12) [123010]
  • Fachgruppe Informatik [120000]
  • Fakultät für Mathematik, Informatik und Naturwissenschaften [100000]
  • IT Center [022000]

Identifikationsnummern

Verwandte Publikationen