Publicações

Dynamic Deadlock Verification for General Barrier Synchronisation

AuthID
P-00G-FWW

Author(s)

Cogumbreiro, T

Hu, R

Martins, F

Yoshida, N

Editor(es)

Albert Cohen 0001; David Grove

Tipo de Documento

Article

Year published

2015

Publicado

in ACM SIGPLAN NOTICES in PPOPP, ISSN: 0362-1340

Volume: 50, Número: 8, Páginas: 150-160 (11)

Conference

20Th Acm Sigplan Symposium on Principles and Practice of Parallel Programming, Ppopp 2015, Date: 7 February 2015 through 11 February 2015, Patrocinadores: ACM SIGPLAN;NSF

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/540572

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/2688500.2688519

DBLP: conf/ppopp/CogumbreiroHMY15

SCOPUS: 2-s2.0-84939143714

Wos: WOS:000367254800015

Source Identifiers

ISSN: 0362-1340

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Dynamic Deadlock Verification for General Barrier Synchronisation

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Dynamic Deadlock Verification for General Barrier Synchronisation

Links Úteis

Ajuda