Synthesis of correct-by-construction MPI programs

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

Bibliographic Details
Main Author: Lemos, Filipe Emanuel Ventura Pires de Matos (author)
Format: masterThesis
Language:eng
Published: 2015
Subjects:
MPI
Tipos de sessão
Síntese de código
Verificação formal
Programação paralela
Teses de mestrado - 2014
Online Access:http://hdl.handle.net/10451/15855
Country:Portugal
Oai:oai:repositorio.ul.pt:10451/15855

Internet

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

Similar Items