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)
Contribution to a book, Contribution to a conference proceedings

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)
Page(s)/Article-Nr.: 299-308