Buscas alternativas:
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification from » verification of (Expandir a busca), verification on (Expandir a busca), verification to (Expandir a busca)
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification from » verification of (Expandir a busca), verification on (Expandir a busca), verification to (Expandir a busca)
2
Assuntos:
“...Parallel programing...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
3
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
4
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
5
6
7
Assuntos:
“...Ferrovias - Freios...”
Desenvolvimento de um método computacional para identificação e caracterização de um vazamento em tubulações longas
Tese
8
9
Assuntos:
“...Robôs móveis...”
Análise e construção de aceleradores em hardware para o cálculo do menor caminho em planejamento de rotas de robôs
Tese
10
11
“... and protocols. The possibility of running applications from different sources and profiles in parallel...”
Interfaces de rede seguras para conexão de periféricos em MPSOCS
Dissertação
12
“... 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