Browsing by Subject "Automatic parallelization"
Now showing items 1-1 of 1
-
Parallel SAT solvers and their application in automatic parallelization
(2014) [Dissertation]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 ...