C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation.
Mathieu Laurent
Emmanuelle Saillard
Martin Quinson
Published in:
Correctness@SC (2021)
Keyphrases
</>
main contribution
evaluation method
message passing
shared memory
high performance computing
parallel computing
decision support
parallelization strategy
software tools
software systems
general purpose
parallel algorithm
lightweight
parallel implementation
massively parallel
probabilistic model
neural network