577 search results - page 24 / 116 » Smartsockets: solving the connectivity problems in grid comp... |
SC
2003
ACM
14 years 24 days ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
GCC
2006
Springer
13 years 11 months ago
2006
Springer
Computational Grid technology has been noticed as an issue to solve large-scale bioinformatics-related problems and improves data accuracy and processing speed on multiple computa...
COMPGEOM
2007
ACM
13 years 11 months ago
2007
ACM
We show how to embed a 3-connected planar graph with n vertices as a 3-polytope with small integer coordinates. The coordinates are bounded by O(27.55n ). The crucial part is the ...
IWC
2006
13 years 7 months ago
2006
Schools are increasingly integrating character education to facilitate improved moral thinking and pro social behavior among students. An effective method for delivering character...
HPCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— In recent years our society has witnessed an unprecedented growth in computing power available to tackle important problems in science, engineering and medicine. For ex...