Dynamic deadlock verification for general barrier synchronisation

File Description SizeFormat 
dynamic-deadlock-verification-for-general-barrier-synchronisation.pdfAccepted version431.34 kBAdobe PDFView/Open
Title: Dynamic deadlock verification for general barrier synchronisation
Authors: Soares Cogumbreiro Garcia, T
Hu, R
Martins, F
Yoshida, N
Item Type: Conference Paper
Issue Date: 10-Nov-2014
Date of Acceptance: 10-Nov-2014
URI: http://hdl.handle.net/10044/1/23358
DOI: http://doi.org/10.1145/2688500.2688519
Journal / Book Title: Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Copyright Statement: © ACM, 2015. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, http://doi.org/10.1145/2688500.2688519
Conference Name: 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP 2015)
Publication Status: Accepted
Start Date: 2015-02-07
Finish Date: 2015-02-11
Conference Place: San Francisco, CA
Appears in Collections:Faculty of Engineering
Computing



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons