Publication

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

Institutions

  • Chair of High Performance Computing (Computer Science 12) [123010]
  • Department of Computer Science [120000]
  • Faculty of Mathematics, Computer Science, and Natural Sciences [100000]
  • IT Center [022000]

Identifier

Related publications