Deadlock Detection in Basic Models of MPI Synchronization Communication Programs

Ming-xue Liao Zhi-hua Fan

Published in: CoRR (2007)

Keyphrases

deadlock detection
databases
lower bound
distributed systems
computer systems
complex systems
communication networks