Buscas alternativas:
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification on » verification of (Expandir a busca), verification in (Expandir a busca), verification and (Expandir a busca)
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification on » verification of (Expandir a busca), verification in (Expandir a busca), verification and (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
“..., onde cada um é composto por uma BDP e um conjunto de instruções SQL. Além disso, como uma referência...”
Um benchmark para avaliação de técnicas de busca no contexto de análise de Mutantes sql
Dissertação
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