Buscas alternativas:
verification algorithms » identification algorithms (Expandir a busca), classification algorithms (Expandir a busca), optimization algorithms (Expandir a busca)
program verification » formal verification (Expandir a busca), program vaccination (Expandir a busca)
parallel program » parallel programs (Expandir a busca), parallel programing (Expandir a busca), parallel programming (Expandir a busca)
algorithms using » algorithms in (Expandir a busca), algorithms and (Expandir a busca), algorithms with (Expandir a busca)
using method » using methods (Expandir a busca), tuning method (Expandir a busca), dosing method (Expandir a busca)
verification algorithms » identification algorithms (Expandir a busca), classification algorithms (Expandir a busca), optimization algorithms (Expandir a busca)
program verification » formal verification (Expandir a busca), program vaccination (Expandir a busca)
parallel program » parallel programs (Expandir a busca), parallel programing (Expandir a busca), parallel programming (Expandir a busca)
algorithms using » algorithms in (Expandir a busca), algorithms and (Expandir a busca), algorithms with (Expandir a busca)
using method » using methods (Expandir a busca), tuning method (Expandir a busca), dosing method (Expandir a busca)
1
“... cables and using the explicit finite difference method, the method of central difference for the...”
Modelos dinâmicos simplificados, para verificação do comportamento de rede de satélites amarrados por cabos flexíveis, usando-se o método explícito das diferenças finitas
Dissertação
2
“... a benchmark to enable performance evaluation, using SQL Mutation Analysis, any search technique that intends...”
Um benchmark para avaliação de técnicas de busca no contexto de análise de Mutantes sql
Dissertação