Buscas alternativas:
verification methodology » education methodology (Expandir a busca), evaluation methodology (Expandir a busca)
algorithm verification » algorithms verification (Expandir a busca), algorithm variation (Expandir a busca), algorithms identification (Expandir a busca)
verification methodology » education methodology (Expandir a busca), evaluation methodology (Expandir a busca)
algorithm verification » algorithms verification (Expandir a busca), algorithm variation (Expandir a busca), algorithms identification (Expandir a busca)
1
Assuntos:
“...Algorithm,Software tool...”
Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação.
Tese
2
Assuntos:
“...Functional verification...”
Projeto, verificação funcional e síntese de módulos funcionais para um comutador Gigabit Ethernet
Dissertação
3
Assuntos:
“...Genetic algorithm...”
Utilização de técnica de computação evolutiva para análise de desempenho de sistemas de aterramentos modelados em PI-RL
Tese
4
Assuntos:
“...Algorithm...”
A programação no ensino médio como recurso de aprendizagem dos zeros da função polinomial do 2º grau
Dissertação
5
Assuntos:
“...Algorithm...”
Algoritmos para seleção de metodologias de avaliação de softwares educacionais
Dissertação
6
Assuntos:
“...VeriSC methodology...”
Vericação funcional de sistemas digitais utilizando algoritmos genéticos na geração de dados aplicada a metodologia veriSC
Dissertação
7
Assuntos:
“...Genetic Algorithm...”
Projeto iterativo, simulação, análise e otimização de máquina a relutância variável monofásica
Dissertação
8
Assuntos:
“...7Cs methodology...”
Metodologia 7Cs: uma proposta de ensino e aprendizagem para disciplinas introdutórias à programação
Dissertação
9
Assuntos:
“...Greedy algorithm...”
Aprovisionamento dinâmico de recursos em redes ópticas elásticas multiplexadas por divisão de espaço considerando limitações de camada física
Tese
10
12
“... risk modules to be submitted to a more rigorous verification process.The proposed methodology...”
Uma metodologia para identificação de módulos de circuitos integrados propensos a erros
Tese
13
14
“... experimental verification of the self-heating phenomenon in viscoelastic materials with emphasis on the thermal...”
Estudo numérico, implementação computacional e verificação experimental do fenômeno da fuga térmica em materiais viscoelásticos
Dissertação
15
17
“... operating points in the gas turbine operational envelope need to be analyzed, for the sake of verification...”
Micro-turbine design point definition using optimization techniques
Dissertação
18
“... ground reaction force (vGRF) acquisition with a sensorized insole that uses a machine learning algorithm...”
Avaliação da marcha humana utilizando palmilhas sensorizadas e algoritmo de aprendizado de máquina
Tese