Static verification of data races in openMP

Tese de mestrado em Engenharia Informática (Engenharia de Software), Universidade de Lisboa, Faculdade de Ciências, 2014

Bibliographic Details
Main Author: Silva, Kátya Thaís Martins da (author)
Format: masterThesis
Language:eng
Published: 2014
Subjects:
Boogie
Data race
OpenMP
Paralelismo
Verificação
Teses de mestrado - 2014
Online Access:http://hdl.handle.net/10451/12406
Country:Portugal
Oai:oai:repositorio.ul.pt:10451/12406

Internet

http://hdl.handle.net/10451/12406

Similar Items