Dynamic deadlock verification for general barrier synchronisation.

Tiago Cogumbreiro Raymond Hu Francisco Martins Nobuko Yoshida

Published in: PPOPP (2015)

Keyphrases

special case
dynamic environments
neural network
image sequences
closely related
database
multiresolution
social networks
decision making
decision trees
optimal solution
wireless sensor networks
probabilistic model