2 citations · 2 across the 7 of their papers we have counts for
1 paper · 1 filter
Asia Auville, Tim Jammer, Eric Petit +3
MPI errors are challenging to identify despite the significant number of expert verification tools. Dynamic tools (i.e., requiring profiling) are computationally expensive and accu…