Buscas alternativas:
data platform » intra platform (Expandir a busca), iot platform (Expandir a busca), fpga platform (Expandir a busca)
program state » program at (Expandir a busca), program atp (Expandir a busca)
state array » gate array (Expandir a busca), state army (Expandir a busca), sparse array (Expandir a busca)
data platform » intra platform (Expandir a busca), iot platform (Expandir a busca), fpga platform (Expandir a busca)
program state » program at (Expandir a busca), program atp (Expandir a busca)
state array » gate array (Expandir a busca), state army (Expandir a busca), sparse array (Expandir a busca)
1
Assuntos:
“...Programas CUDA...”
Verificação limitada de modelos baseada em SMT para programas CUDA
Dissertação