Buscas alternativas:
parallel verification » parallel application (Expandir a busca)
verification using » verification in (Expandir a busca), modification using (Expandir a busca), identification using (Expandir a busca)
using programming » user programming (Expandir a busca), wsn programming (Expandir a busca), line programming (Expandir a busca)
parallel verification » parallel application (Expandir a busca)
verification using » verification in (Expandir a busca), modification using (Expandir a busca), identification using (Expandir a busca)
using programming » user programming (Expandir a busca), wsn programming (Expandir a busca), line programming (Expandir a busca)
1
Assuntos:
“...Parallel programing...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
2
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
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 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
“... parallel starts, parallel to problems using a protocol for the exchange of messages and the time required...”
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