TU Darmstadt / ULB / TUbiblio

Verifying Pipeline Implementations in OpenMP

Wiesner, Maik ; Jakobs, Marie-Christine
Hrsg.: Laarman, Alfons ; Sokolova, Ana (2021)
Verifying Pipeline Implementations in OpenMP.
27th International Symposium on Model Checking Software (SPIN 2021). virtual Conference (12.07.2021)
doi: 10.1007/978-3-030-84629-9_5
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2021
Herausgeber: Laarman, Alfons ; Sokolova, Ana
Autor(en): Wiesner, Maik ; Jakobs, Marie-Christine
Art des Eintrags: Bibliographie
Titel: Verifying Pipeline Implementations in OpenMP
Sprache: Englisch
Publikationsjahr: 3 August 2021
Verlag: Springer
Buchtitel: Model Checking Software
Reihe: Lecture Notes in Computer Science
Band einer Reihe: 12864
Veranstaltungstitel: 27th International Symposium on Model Checking Software (SPIN 2021)
Veranstaltungsort: virtual Conference
Veranstaltungsdatum: 12.07.2021
DOI: 10.1007/978-3-030-84629-9_5
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Semantik und Verifikation paralleler Systeme
Hinterlegungsdatum: 30 Nov 2021 13:52
Letzte Änderung: 30 Nov 2021 13:52
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen