Verifying IO Synchronization from MPI Traces.
Sushma YellapragadaChen WangMarc SnirPublished in: PDSW@SC (2021)
Keyphrases
- highly efficient
- message passing
- general purpose
- parallel implementation
- shared memory
- parallel algorithm
- high performance computing
- parallel computing
- message passing interface
- parallelization strategy
- model checking
- chaotic systems
- information systems
- music score
- artificial intelligence
- verification method
- parallel architecture
- real time
- phase locked
- log files
- graph cuts
- multiscale
- social networks
- machine learning
- real world