Buscas alternativas:
code optimization » cost optimization (Expandir a busca), convex optimization (Expandir a busca), the optimization (Expandir a busca)
algorithm kernel » algoritmo kernel (Expandir a busca), algorithms karnik (Expandir a busca), algorithm sebal (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)
code optimization » cost optimization (Expandir a busca), convex optimization (Expandir a busca), the optimization (Expandir a busca)
algorithm kernel » algoritmo kernel (Expandir a busca), algorithms karnik (Expandir a busca), algorithm sebal (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)
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