Synthesis of correct-by-construction MPI programs

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

Detalhes bibliográficos
Autor principal: Lemos, Filipe Emanuel Ventura Pires de Matos (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2015
Assuntos:
MPI
Tipos de sessão
Síntese de código
Verificação formal
Programação paralela
Teses de mestrado - 2014
Texto completo:http://hdl.handle.net/10451/15855
País:Portugal
Oai:oai:repositorio.ul.pt:10451/15855
Descrição
Resumo:Tese de mestrado, Engenharia Informática (Engenharia de Software), Universidade de Lisboa, Faculdade de Ciências, 2014

Registros relacionados