An OpenMP Epoch Model for Correctness Checking
Cramer, Tim, Schwitanski, Simon, Munchhalfen, Felix, Terboven, Christian, Muller, Matthias S.
Published in 2016 45th International Conference on Parallel Processing Workshops (ICPPW) (01.08.2016)
Published in 2016 45th International Conference on Parallel Processing Workshops (ICPPW) (01.08.2016)
Get full text
Conference Proceeding
On-the-Fly Data Race Detection for MPI RMA Programs with MUST
Schwitanski, Simon, Jenke, Joachim, Tomski, Felix, Terboven, Christian, Muller, Matthias S.
Published in 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness) (01.11.2022)
Published in 2022 IEEE/ACM Sixth International Workshop on Software Correctness for HPC Applications (Correctness) (01.11.2022)
Get full text
Conference Proceeding
An On-the-Fly Method to Exchange Vector Clocks in Distributed-Memory Programs
Schwitanski, Simon, Tomski, Felix, Protze, Joachim, Terboven, Christian, Muller, Matthias S.
Published in 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) (01.05.2022)
Published in 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) (01.05.2022)
Get full text
Conference Proceeding