Buscas alternativas:
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification to » verification of (Expandir a busca), verification _ (Expandir a busca), verification in (Expandir a busca)
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification to » verification of (Expandir a busca), verification _ (Expandir a busca), verification in (Expandir a busca)
2
Assuntos:
“...Parallel programing...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
3
Assuntos:
“...Validation and verification...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese
4
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
5
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
6
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
7
“... 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
8
9
10
11
12
13
14
“... of computer networks, parallel and distributed applications to IC projects. IP modules are used to reduce...”
Interfaces de rede seguras para conexão de periféricos em MPSOCS
Dissertação
15
“... estudos emp ́ıricos foram aplicados com resultados promissores em rela ̧c ̃ao ao TFS: todos eles reduzem...”
Uma estratégia para a avaliação e evolução de teste funcional de software
Dissertação