7456 search results - page 457 / 1492 » Parallelism in Logic Programming |
215
click to vote
IAJIT
2011
15 years 1 months ago
2011
: This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency i...
197
click to vote
PVM
2005
Springer
16 years 9 days ago
2005
Springer
We consider a parallel decomposition technique for solving the large quadratic programs arising in training the learning methodology Support Vector Machine. At each iteration of th...
157
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
187
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
216
click to vote
CC
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. How can we exploit a microprocessor as efficiently as possible? The “classic” approach is static optimization at compile-time, optimizing a program for all possible u...