Practical Verification of High-Level Dataraces in Transactional Memory Programs

AuthID
P-007-ZYP
5
Author(s)
Pessanha, V
·
Sousa, D
2
Editor(es)
João Lourenço; Eitan Farchi
Tipo de Documento
Proceedings Paper
Year published
2011
Publicado
in Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2011 - Proceedings in PADTAD
Páginas: 26-34
Conference
9Th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, Padtad 2011, Date: 17 July 2011 through 17 July 2011, Location: Toronto, ON, Patrocinadores: IBM Research;Intel
Indexing
Publication Identifiers
DBLP: conf/issta/PessanhaDLFS11
SCOPUS: 2-s2.0-80052165146
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.