Publikation

Runtime Correctness Checking for Emerging Programming Paradigms

Protze, Joachim (Corresponding author); Terboven, Christian (Corresponding author); Müller, Matthias S. (Corresponding author); Petiton, Serge G. (Corresponding author); Emad, Nahid (Corresponding author); Murai, Hitoshi (Corresponding author); Boku, Taisuke (Corresponding author)

New York, NY : ACM (2017)
Buchbeitrag, Beitrag zu einem Tagungsband

In
Proceedings of the First International Workshop on Software Correctness for HPC Applications, Seite(n)/Artikel-Nr.: 21-27

Konferenz/Veranstaltung: 1. International Workshop on Software Correctness for HPC Applications Denver, CO 2017-11-12 - 2017-11-17

Einrichtungen

  • IT Center [022000]
  • Fakultät für Informatik [120000]
  • Lehrstuhl für Hochleistungsrechnen (Informatik 12) [123010]