8 search results - page 2 / 2 » Parallel SAT Solving on Peer-to-Peer Desktop Grids |
IJHPCA
2006
13 years 4 months ago
2006
The purpose of GridSolve is to create the middleware necessary to provide a seamless bridge between the simple, standard programming interfaces and desktop systems that dominate t...
FGCS
2010
13 years 3 months ago
2010
Evolutionary Algorithms, including Genetic Programming (GP), are frequently employed to solve difficult real-life problems, which can require up to days or months of computation. ...
ICCS
2005
Springer
13 years 10 months ago
2005
Springer
We revisit and use the dependence transformation method to generate parallel algorithms suitable for cluster and grid computing. We illustrate this method in two applications: to o...