Encontrado 1 documento, a visualizar página 1 de 1
Ordenado por
Data
ir para a página:
1
Protocol based programming of concurrent systems
Santos, César Augusto Ribeiro dosTese de mestrado, Engenharia Informática (Engenharia de Software), Universidade de Lisboa, Faculdade de Ciências, 2014; Desenvolver sistemas de software concorrentes (e paralelos) seguros é difícil. É muito mais difícil verificar software paralelo do que é fazer o mesmo para aplicações sequenciais. A Message Passing Interface (MPI) é uma especificação independente de linguagem para protocolos de comunicação, ut...
Data: 2014
|
Origem: Repositório da Universidade de Lisboa