Runtime Correctness Checking for Emerging Programming Paradigms

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

In
Proceedings of the First International Workshop on Software Correctness for HPC Applications, Seiten/Artikel-Nr: 21-27

2017

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

ImpressumNew York, NY : ACM

Umfang21-27

ISBN978-1-4503-5127-0

Online
DOI: 10.1145/3145344.3145490
10.1145/3145344.3145490

Einrichtungen

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-85054827032

Interne Identnummern
RWTH-CONV-224077
Datensatz-ID: 720751

Beteiligte Länder
France, Germany, Japan

Record created 2018-03-16, last modified 2024-12-03

Similar records

Rate this document:

(Not yet reviewed)

h1