Buscas alternativas:
verification programming » application programming (Expandir a busca), application programing (Expandir a busca), certification program (Expandir a busca)
software verification » software verificacao (Expandir a busca), software validation (Expandir a busca)
parallel software » parallel state (Expandir a busca)
Mostrando 1 - 6 resultados de 6 para a busca 'parallel software verification programming*', tempo de busca: 0,23s

1

Assuntos: “...Componentes de software...”

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

Publicado em 2012
Acessar documento
Dissertação

2

Assuntos: “...Teste de software...”

Uma estratégia para a avaliação e evolução de teste funcional de software

Publicado em 2012
Acessar documento
Dissertação

3

Um benchmark para avaliação de técnicas de busca no contexto de análise de Mutantes sql

Publicado em 2013
Acessar documento
Dissertação

4

Automatização da análise do desempenho termo energético das envoltórias de edificações residenciais a partir da integração BIM-VPL

Publicado em 2022
Acessar documento
Dissertação

5

“... a de uma aplicação equivalente em software para um grafo com 1024 nós....”

Análise e construção de aceleradores em hardware para o cálculo do menor caminho em planejamento de rotas de robôs

Publicado em 2024
Acessar documento
Tese

6

“... a de uma aplicação equivalente em software para um grafo com 1024 nós....”

Análise e construção de aceleradores em hardware para o cálculo do menor caminho em planejamento de rotas de robôs

Publicado em 2024
Acessar documento
Tese