Raymond Hu
AuthID: R-00G-Q4C
1
TÃTULO: Dynamic Deadlock Verification for General Barrier Synchronisation Full Text
AUTORES: Tiago Cogumbreiro; Raymond Hu; Francisco Martins ; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 8
AUTORES: Tiago Cogumbreiro; Raymond Hu; Francisco Martins ; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 8
