Autotuning Parallel Programs by Model Checking
Garanina, N; Gorlatch, S
Forschungsartikel (Zeitschrift) | Peer reviewedDetails zur Publikation
Fachzeitschrift: Automatic Control and Computer Sciences
Jahrgang / Bandnr. / Volume: 56
Ausgabe / Heftnr. / Issue: 7
Seitenbereich: 634-648
Status: Veröffentlicht
Veröffentlichungsjahr: 2023
Sprache, in der die Publikation verfasst ist: Englisch
Stichwörter: Optimization problem; autotuning of parallel programs; parallel programs; GPU programming; model checking; counterexamples; OpenCL; SPIN; Promela
Autor*innen der Universität Münster
| Gorlatch, Sergei | Professur für Praktische Informatik (Prof. Gorlatch) |