Buscas alternativas:
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification problem » identification problems (Expandir a busca), classification problem (Expandir a busca), qualification problems (Expandir a busca)
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification problem » identification problems (Expandir a busca), classification problem (Expandir a busca), qualification problems (Expandir a busca)
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
Dissertação
3
Assuntos:
“...Parallel converters...”
Estudo, análise e implementação de uma metodologia para otimização de rendimento em sistemas compostos por conversores em paralelo
Tese
4
Assuntos:
“...Parallel computation...”
Análise numérica na Engenharia do Vento Computacional empregando computação de alto desempenho e simulação de grandes escalas
Dissertação
5
“... programming language C++ for the simulation of these problems, first we present a study on tethered satellites...”
Modelos dinâmicos simplificados, para verificação do comportamento de rede de satélites amarrados por cabos flexíveis, usando-se o método explícito das diferenças finitas
Dissertação
6
7
8
9
“..., que derivam requisitos de teste a partir da especifica ̧c ̃ao do software. A pesquisa enfrenta o problema...”
Uma estratégia para a avaliação e evolução de teste funcional de software
Dissertação