Buscas alternativas:
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification process » densification process (Expandir a busca), clarification process (Expandir a busca), nitrification process (Expandir a busca)
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification process » densification process (Expandir a busca), clarification process (Expandir a busca), nitrification process (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 computation...”
Análise numérica na Engenharia do Vento Computacional empregando computação de alto desempenho e simulação de grandes escalas
Dissertação
6
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
7
Assuntos:
“...Modelagem de processos...”
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
“... atender às restrições de tempo necessárias para processamento em robôs. Para isso, foi construída...”
Análise e construção de aceleradores em hardware para o cálculo do menor caminho em planejamento de rotas de robôs
Tese
12
“... atender às restrições de tempo necessárias para processamento em robôs. Para isso, foi construída...”
Análise e construção de aceleradores em hardware para o cálculo do menor caminho em planejamento de rotas de robôs
Tese
13
“... em um conjunto de diretrizes e possui um processo para aplicar esta estrat ́egia de forma sistem ́atica. Trˆes...”
Uma estratégia para a avaliação e evolução de teste funcional de software
Dissertação