Verifying Pipeline Implementations in OpenMP
Titel | Verifying Pipeline Implementations in OpenMP |
Publication Type | Konferenzartikel (erschienen) |
Year of Publication | 2021 |
Authors | Wiesner, M, Jakobs, M-C |
Conference Name | Proceedings of the 27th International Symposium on Model Checking Software (SPIN) |
Pagination | 81-98 |
Publisher | Springer |
DOI | 10.1007/978-3-030-84629-9_5 |
Undefined