25167 search results - page 308 / 5034 » Parallel and Distributed Algorithms |
162
click to vote
PDPTA
2003
15 years 8 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
136
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
We demonstrate that the performance of commodity parallel systems significantly depends on low-level details, such as storage layout and iteration space mapping, which motivates t...
174
click to vote
GECCO
2007
Springer
16 years 26 days ago
2007
Springer
In recent years the computing power of graphics cards has increased significantly. Indeed, the growth in the computing power of these graphics cards is now several orders of magn...
194
click to vote
ICPP
2007
IEEE
16 years 1 months ago
2007
IEEE
Ever-increasing memory footprint of applications and increasing mainstream popularity of shared memory parallel computing motivate us to explore memory compression potential in di...
167
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Many modern massively distributed systems deploy thousands of nodes to cooperate on a computation task. Network congestions occur in these systems. Most applications rely on conge...