Buscas alternativas:
optimization algorithm » optimization algorithms (Expandir a busca)
code optimization » cost optimization (Expandir a busca), convex optimization (Expandir a busca), the optimization (Expandir a busca)
algorithm level » algorithm sebal (Expandir a busca), algorithm global (Expandir a busca), algoritmo lempel (Expandir a busca)
current code » current mode (Expandir a busca), current power (Expandir a busca), current and (Expandir a busca)
level method » novel method (Expandir a busca), kernel method (Expandir a busca), releve method (Expandir a busca)
optimization algorithm » optimization algorithms (Expandir a busca)
code optimization » cost optimization (Expandir a busca), convex optimization (Expandir a busca), the optimization (Expandir a busca)
algorithm level » algorithm sebal (Expandir a busca), algorithm global (Expandir a busca), algoritmo lempel (Expandir a busca)
current code » current mode (Expandir a busca), current power (Expandir a busca), current and (Expandir a busca)
level method » novel method (Expandir a busca), kernel method (Expandir a busca), releve method (Expandir a busca)
1
“... heuristic functions that can be used by an optimization algorithm to generate counterexamples of the design...”
Aumentando a eficiência da verificação dinâmica de propriedades em sistemas descritos em alto nível de abstração por meio da utilização de funções de classificação heurística deriv...
Tese