Efficient state-space exploration for asynchronous distributed programs ˸ Adapting unfolding-based dynamic partial order reduction to MPI programs
Les applications de transmission de messages distribués font partie du courant dominant des technologies de l'information car elles exploitent la puissance des systèmes informatiques parallèles pour produire des performances plus élevées. La conception de programmes distribués reste difficile c...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2019ENSR0020/document |