Autotuning Parallel Programs by Model Checking
Garanina, N; Gorlatch, S
Research article (journal) | Peer reviewedDetails about the publication
Journal: Automatic Control and Computer Sciences
Volume: 56
Issue: 7
Page range: 634-648
Status: Published
Release year: 2023
Language in which the publication is written: English
Keywords: Optimization problem; autotuning of parallel programs; parallel programs; GPU programming; model checking; counterexamples; OpenCL; SPIN; Promela
Authors from the University of Münster
| Gorlatch, Sergei | Professur für Praktische Informatik (Prof. Gorlatch) |