Buscas alternativas:
parameters solvers » parameters survey (Expandir a busca)
solvers computing » solvers computacao (Expandir a busca), systems computing (Expandir a busca), models computing (Expandir a busca)
computing program » computer program (Expandir a busca), computador program (Expandir a busca), computer programs (Expandir a busca)
parameters solvers » parameters survey (Expandir a busca)
solvers computing » solvers computacao (Expandir a busca), systems computing (Expandir a busca), models computing (Expandir a busca)
computing program » computer program (Expandir a busca), computador program (Expandir a busca), computer programs (Expandir a busca)
1
Assuntos:
“...High-performance computing...”
A dynamic scheduling runtime and tuning system for heterogeneous multi and many-core desktop platforms
Tese
2
“..., the Boolean satisfiability (SAT) solvers have been employed lately as a useful engine for computing...”
Cell implementation through boolean satisfiability for conventional and emerging technologies
Tese