Buscas alternativas:
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification algorithms » identification algorithms (Expandir a busca), classification algorithms (Expandir a busca), optimization algorithms (Expandir a busca)
parallel programming » parallel processing (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)
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
verification algorithms » identification algorithms (Expandir a busca), classification algorithms (Expandir a busca), optimization algorithms (Expandir a busca)
parallel programming » parallel processing (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