Buscas alternativas:
solution algorithm » selection algorithm (Expandir a busca), selection algorithms (Expandir a busca), reduction algorithm (Expandir a busca)
checking problem » packing problem (Expandir a busca), picking problem (Expandir a busca), scheduling problem (Expandir a busca)
problem solution » problem resolution (Expandir a busca), problem situation (Expandir a busca), problem situations (Expandir a busca)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using method » using methods (Expandir a busca), tuning method (Expandir a busca), dosing method (Expandir a busca)
solution algorithm » selection algorithm (Expandir a busca), selection algorithms (Expandir a busca), reduction algorithm (Expandir a busca)
checking problem » packing problem (Expandir a busca), picking problem (Expandir a busca), scheduling problem (Expandir a busca)
problem solution » problem resolution (Expandir a busca), problem situation (Expandir a busca), problem situations (Expandir a busca)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using method » using methods (Expandir a busca), tuning method (Expandir a busca), dosing method (Expandir a busca)
1
Assuntos:
“...Genetic algorithm...”
Aplicando verificação de modelos baseada nas teorias do módulo da satisfabilidade para o particionamento de hardware/software em sistemas embarcados
Dissertação
2
“... aperfeiçoado. Limites superiores para o tempo de execução na solução de problemas nominais de verificação...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese