Algorithm of Static Deadlock Detection in MPI Synchronization Communication Sequential Model

Ming-xue Liao Xiao-Xin He Zhi-hua Fan

Published in: CoRR (2007)

Keyphrases

probabilistic model
theoretical analysis
objective function
tree structure
parallel implementation
sensor networks
computational complexity
association rules
wireless sensor networks
decision support
parallel algorithm