Buscas alternativas:
verification programming » application programming (Expandir a busca), application programing (Expandir a busca), certification program (Expandir a busca)
code verification » and verification (Expandir a busca), _ verification (Expandir a busca)
parallel code » parallel and (Expandir a busca), parallel file (Expandir a busca), parallel to (Expandir a busca)
verification programming » application programming (Expandir a busca), application programing (Expandir a busca), certification program (Expandir a busca)
code verification » and verification (Expandir a busca), _ verification (Expandir a busca)
parallel code » parallel and (Expandir a busca), parallel file (Expandir a busca), parallel to (Expandir a busca)
1
Assuntos:
“...Validation and verification...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese
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:
“...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