Login / Signup

Dynamic Deadlock Verification for General Barrier Synchronisation.

Tiago CogumbreiroRaymond HuFrancisco MartinsNobuko Yoshida
Published in: ACM Trans. Program. Lang. Syst. (2019)
Keyphrases
  • special case
  • closely related
  • dynamic environments
  • model checking
  • real time
  • data sets
  • machine learning
  • decision making
  • metadata
  • wide range
  • medical images