156 search results - page 13 / 32 » Parallel SAT Solving using Bit-level Operations |
EUROPAR
2000
Springer
13 years 11 months ago
2000
Springer
Balancing networks are highly distributed data structures used to solve multiprocessor synchronization problems. Typically, balancing networks are accessed by tokens, and the distr...
DSRT
2008
IEEE
14 years 2 months ago
2008
IEEE
In the past decade parallel disk systems have been highly scalable and able to alleviate the problem of disk I/O bottleneck, thereby being widely used to support a wide range of d...
SPAA
1997
ACM
13 years 12 months ago
1997
ACM
Discovery of association rules is an important database mining problem. Mining for association rules involves extracting patterns from large databases and inferring useful rules f...
CCGRID
2007
IEEE
14 years 2 months ago
2007
IEEE
In the past, efficient parallel algorithms have always been developed specifically for the successive generations of parallel systems (vector machines, shared-memory machines, d...
ICPPW
2003
IEEE
14 years 28 days ago
2003
IEEE
The resource allocation problem is a fundamental problem in distributed systems. In this paper, we focus on constructing nondominated (ND) local coteries to solve the problem. Dis...