Buscas alternativas:
programming validation » programming verification (Expandir a busca), programming education (Expandir a busca), programming solution (Expandir a busca)
validation programming » application programming (Expandir a busca), application programing (Expandir a busca), simulation programming (Expandir a busca)
programming validation » programming verification (Expandir a busca), programming education (Expandir a busca), programming solution (Expandir a busca)
validation programming » application programming (Expandir a busca), application programing (Expandir a busca), simulation programming (Expandir a busca)
1
Assuntos:
“...Parallel processing...”
Uma proposta de escalonamento distribuído para exploração de paralelismo na programação em lógica
Dissertação
2
Assuntos:
“...Parallel Programming...”
Implementação computacional paralela da homogeneização por expansão assintótica para análise de problemas mecânicos em 3D
Dissertação
3
“...-Loop (SIL) model reduces/eliminates the risk of obtaining an unsuccessful validation in the Hardware...”
Algorithms assistance of the car maneuvers during parallel and perpendicular parking
Tese
4
Assuntos:
“...Parallel programming...”
Modelo e critérios de teste estrutural para programas CUDA
Tese
5
Assuntos:
“...Parallel quantum simulation...”
Explorando as Possibilidades de Otimização da Simulação de Algoritmos Quânticos no VPE-qGM
Dissertação
6
Assuntos:
“...Parallel Simulations...”
Simulação da dinâmica do micromagnetismo de vórticesiImplementados em plataformas de programação em paralelo
Dissertação
7
Assuntos:
“...Parallel processing...”
Uma interface para escalonamento de algoritmos iterativos em C++
Dissertação
8
Assuntos:
“...Nonlinear programming...”
Metodologia para o rateio do bloco hidráulico no planejamento hidrotérmico de médio prazo
Dissertação
9
Assuntos:
“...Validation and verification...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese
10
Assuntos:
“...Programming languages (Electronic computers)...”
Simulação de uma arquitetura de computação própria ao paradigma orientado a notificações
Dissertação
11
Assuntos:
“...Mixed integer programming...”
Programação das frentes de colheita de cana-de-açúcar: uma modelagem visando o equilíbrio das capacidades de colheita e transporte
Tese
12
Assuntos:
“...Parallel processing...”
Projeto e implementação de uma plataforma MP-SoC usando SystemC
Dissertação
13
14
“... an increasing demand on implementing efficient parallel programming techniques. This entails new challenges...”
Structural testing criteria for concurrent programs considering loop execution
Dissertação