121 search results - page 2 / 25 » GridSAT: a system for solving satisfiability problems using ... |
ICEIS
2008
IEEE
13 years 12 months ago
2008
IEEE
— This paper investigates Grid computing from the point of view three basic computing platforms. The platform consists of virtual compute resources, a programming environment all...
AISC
2008
Springer
13 years 7 months ago
2008
Springer
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
ECAI
2006
Springer
13 years 7 months ago
2006
Springer
Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different applicati...
ICCS
2003
Springer
13 years 10 months ago
2003
Springer
XML-based metadata information services are a crucial core service needed by Problem Solving Environments built over emerging service-based, globally-scaled distributed systems, a...
IAAI
2003
13 years 6 months ago
2003
Grid computing provides key infrastructure for distributed problem solving in dynamic virtual organizations. It has been adopted by many scientific projects, and industrial intere...