Buscas alternativas:
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification programing » application programing (Expandir a busca), certification program (Expandir a busca)
Mostrando 1 - 2 resultados de 2 para a busca 'parallel programming verification programing', tempo de busca: 0,19s

1

Assuntos: “...Parallel programing...”

Contratos formais para derivação e verificação de componentes paralelos

Publicado em 2012
Acessar documento
Dissertação

2

Assuntos: “...Parallel programing...”

Análise automática de acessos concorrentes a dados para refatoração de código sequencial em código paralelo OpenMP

Publicado em 2011
Acessar documento
Dissertação