Login / Signup
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