Buscas alternativas:
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification program » certification program (Expandir a busca), eradication program (Expandir a busca), electrification program (Expandir a busca)
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification program » certification program (Expandir a busca), eradication program (Expandir a busca), electrification program (Expandir a busca)
1
Assuntos:
“...Geradores (Programas de computador)...”
Test generation for shared-memory verification of multicore chips
Tese
2
Assuntos:
“...Validation and verification...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese
3
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
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
“..., aspects such as speedup and efficiency are obtained for the parallel program with the aim of evaluating...”
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
“... 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