BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
Static Verification of Data Races in OPENMP

Participants in the publication
Kátya Thaís Martins da Silva (Author)
Mostrous, Dimitris (Adviser)
Dep. Informática
LASIGE

Date of Publication
2014

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers

Document Identifiers
URL - https://repositorio.ul.pt/handle/10451/12406

Notes
Orientadores: Dimitris Mostrous
Co-orientadores: Alastair Donaldson (Imperial College London)



Export

APA
Kátya Thaís Martins da Silva, (2014). Static Verification of Data Races in OPENMP. https://repositorio.ul.pt/handle/10451/12406 Mostrous, Dimitris,

IEEE
Kátya Thaís Martins da Silva, "Static Verification of Data Races in OPENMP", 2014.

BIBTEX
@MastersThesis{34299, author = {Kátya Thaís Martins da Silva}, title = {Static Verification of Data Races in OPENMP}, school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA}, year = {2014}, OPTtype = {Documentos Académicos}, OPTannote = {Orientadores: Dimitris Mostrous
Co-orientadores: Alastair Donaldson (Imperial College London)
} }