1720 search results - page 41 / 344 » Unranking Combinations in Parallel |
PDPTA
2003
13 years 10 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 ...
CLUSTER
2007
IEEE
13 years 8 months ago
2007
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such applications is therefore dependent o...
ISPDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Multi–comparand associative processors are efficient in parallel processing of complex search problems that arise from many application areas including computational geometry, ...
GLVLSI
2007
IEEE
14 years 3 months ago
2007
IEEE
Parallel counters are key elements in many arithmetic circuits, especially fast multipliers. In this paper, novel architectures and designs for high speed, low power (3, 2), (7, 3...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Many performance problems observed in high end systems are actually caused by the runtime system and not the application code. Detecting these cases will require parallel performa...