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 level » algorithm sebal (Expandir a busca), algorithm global (Expandir a busca), algoritmo lempel (Expandir a busca)
level method » novel method (Expandir a busca), kernel method (Expandir a busca), releve 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 level » algorithm sebal (Expandir a busca), algorithm global (Expandir a busca), algoritmo lempel (Expandir a busca)
level method » novel method (Expandir a busca), kernel method (Expandir a busca), releve method (Expandir a busca)
1
Assuntos:
“...Algorithm,Software tool...”
Checagem de equivalência de sequências de estados de projetos digitais em RTL com modelos de referência em alto nível e de protocolo de comunicação.
Tese