5740 search results - page 222 / 1148 » Dynamic Distributed BackJumping |
141
click to vote
TKDE
2010
15 years 22 days ago
2010
—A Bloom filter is an effective, space-efficient data structure for concisely representing a set, and supporting approximate membership queries. Traditionally, the Bloom filter a...
108
Voted
GRID
2010
Springer
14 years 11 months ago
2010
Springer
Abstract Satciety is a distributed parallel satisfiability (SAT) solver which focuses on tackling the domainspecific problems inherent to one of the most challenging environments f...
155
click to vote
TSE
2010
14 years 9 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
101
Voted
DPHOTO
2010
15 years 3 months ago
2010
Defocus imaging techniques, involving the capture and reconstruction of purposely out-of-focus images, have recently become feasible due to advances in deconvolution methods. This...
114
Voted
JFP
2008
15 years 2 months ago
2008
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...