Formal verification of parallel C+MPI programs

Tese de mestrado em Engenharia Informática (Engenharia de software), apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2013

Bibliographic Details
Main Author: Martins, Nuno Alexandre Dias (author)
Format: masterThesis
Language:eng
Published: 2014
Subjects:
MPI
Programação paralela
Verificação
Tipos de sessão
Teses de mestrado - 2013
Online Access:http://hdl.handle.net/10451/10051
Country:Portugal
Oai:oai:repositorio.ul.pt:10451/10051

Internet

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

Similar Items