121 search results - page 3 / 25 » GridSAT: a system for solving satisfiability problems using ... |
CIMCA
2008
IEEE
14 years 25 days ago
2008
IEEE
—The computational grid provides a promising platform for the deployment of various high-performance computing applications. In computational grid, an efficient scheduling of tas...
IPPS
2005
IEEE
13 years 12 months ago
2005
IEEE
In this paper we propose two price-based job allocation schemes for computational grids. A grid system tries to solve problems submitted by various grid users by allocating the jo...
ITS
2000
Springer
13 years 10 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
ICFEM
2009
Springer
13 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
GRID
2007
Springer
14 years 16 days ago
2007
Springer
Since grid computing provides users with more distributed computing and storage resources, it gives us an opportunity to design new efficient and robust solvers for the numerical...