Buscas alternativas:
tool programming » goal programming (Expandir a busca), to programming (Expandir a busca), cone programming (Expandir a busca)
parallel sat » parallel state (Expandir a busca), parallel data (Expandir a busca), parallel scan (Expandir a busca)
sat tool » start tool (Expandir a busca), cat tools (Expandir a busca), cad tool (Expandir a busca)
tool programming » goal programming (Expandir a busca), to programming (Expandir a busca), cone programming (Expandir a busca)
parallel sat » parallel state (Expandir a busca), parallel data (Expandir a busca), parallel scan (Expandir a busca)
sat tool » start tool (Expandir a busca), cat tools (Expandir a busca), cad tool (Expandir a busca)
1
Assuntos:
“...Parallel SAT solver...”
Parallel SAT solvers and their application in automatic parallelization
Dissertação
2
Assuntos:
“...Parallel Simulations...”
Simulação da dinâmica do micromagnetismo de vórticesiImplementados em plataformas de programação em paralelo
Dissertação