An OpenMP Epoch Model for Correctness Checking

Cramer, Tim (Corresponding author); Schwitanski, Simon (Corresponding author); Münchhalfen, Jan Felix (Corresponding author); Terboven, Christian (Corresponding author); Müller, Matthias S. (Corresponding author)

Philadelphia : IEEE (2016)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 45th International Conference on Parallel Processing workshops : ICPPW 2016 : 16-19 August 2016, Philadelphia, Pennsylvania, USA : proceedings / International Association for Computers and Communications (IACC)
Seite(n)/Artikel-Nr.: 299-308