Listar por tema "Automatic parallelization"
Mostrando ítems 1-1 de 1
-
Parallel SAT solvers and their application in automatic parallelization
(2014) [Tesis de maestría]Since the slowdown in improvement in the frequency of processors, a new tendency has arisen to allow software to take advantage of faster hardware: parallelization. However, different from increasing the frequency of ...