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:
“...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
Assuntos:
“...Linguagem de programação (Computadores)...”
Automatização da análise do desempenho termo energético das envoltórias de edificações residenciais a partir da integração BIM-VPL
Dissertação
8
“... 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
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