7456 search results - page 172 / 1492 » Parallelism in Logic Programming |
160
click to vote
IPPS
2008
IEEE
16 years 25 days ago
2008
IEEE
—Scheduling and dispatching are two ways of solving production planning problems. In this work, based on preceding works, it is explained how these two approaches can be combined...
146
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
We define the concepts of nesting mode and interaction mode as they arise in the description of skeletal parallel programming systems. We suggest that these new concepts encapsula...
172
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
The availability of commodity multi-core and multi-processor machinesandtheinherentparallelisminconstraintprogrammingsearchoffer significant opportunities for constraint programmi...
182
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
186
click to vote
PPOPP
2012
ACM
14 years 2 months ago
2012
ACM
Speedups demonstrated for finding the biconnected components of a graph: 9x to 33x on the Explicit Multi-Threading (XMT) many-core computing platform relative to the best serial ...