239 search results - page 2 / 48 » Blooms |
FUIN
2008
13 years 5 months ago
2008
CORR
2002
Springer
13 years 5 months ago
2002
Springer
SIGMOD
2012
ACM
11 years 8 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
FMCAD
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
TON
2002
13 years 5 months ago
2002
A Bloom filter is a simple space-efficient randomized data structure for representing a set in order to support membership queries. Although Bloom filters allow false positives, f...