2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 12)

H-INDEX

0
(FIVE YEARS 0)

Published By IEEE

9780738110448
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Enhancing DataRaceBench for Evaluating Data Race Detection Tools

2020 ◽  
Author(s):  
Gaurav Verma ◽  
Yaying Shi ◽  
Chunhua Liao ◽  
Barbara Chapman ◽  
Yonghong Yan
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection

scholarly journals PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation

2020 ◽  
Author(s):  
Van Man Nguyen ◽  
Emmanuelle Saillard ◽  
Julien Jaeger ◽  
Denis Barthou ◽  
Patrick Carribault

Order Matters: A Case Study on Reducing Floating Point Error in Sums Via Ordering and Grouping

2020 ◽  
Author(s):  
Vanessa Job ◽  
Terry Grove ◽  
Shane Fogerty ◽  
Christopher Mauney ◽  
Brett Neuman ◽  
...  
Keyword(s):  
Floating Point
Load More ...
Sign in / Sign up

Export Citation Format

Share Document