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

Detalhes bibliográficos
Autor principal: Silva, Kátya Thaís Martins da (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2014
Assuntos:
Boogie
Data race
OpenMP
Paralelismo
Verificação
Teses de mestrado - 2014
Texto completo:http://hdl.handle.net/10451/12406
País:Portugal
Oai:oai:repositorio.ul.pt:10451/12406

Texto Completo

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

Registos relacionados