Towards Correctness Checking of MPI Partitioned Communication in MUST.
Simon SchwitanskiNiko SakicJoachim JenkeFelix TomskiMarc-André HermannsPublished in: SC Workshops (2023)
Keyphrases
- general purpose
- communication channels
- parallel algorithm
- multithreading
- message passing
- neural network
- communication protocols
- communication overhead
- parallel implementation
- information sharing
- distributed systems
- communication networks
- graphical models
- shared memory
- search engine
- communication technologies
- multi party
- resource constrained
- genetic algorithm
- share information
- information retrieval
- data sets
- human communication