4586 search results - page 327 / 918 » Computing stable models in parallel |
120
click to vote
ISCA
2000
IEEE
15 years 9 months ago
2000
IEEE
Spatial-lattice computations with finite-range interactions are an important class of easily parallelized computations. This class includes many simple and direct algorithms for ...
158
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...
139
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
As the scale of cluster computing grows, it is becoming hard for long-running applications to complete without facing failures on large-scale clusters. To address this issue, chec...
256
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
117
click to vote
COLCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— Computer supported collaborative applications on overlay networks are gaining popularity among users who are geographically dispersed. Examples of these kinds of applications i...