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]

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): 299-308