10 search results - page 1 / 2 » Bloom Filters in Probabilistic Verification |
FMCAD
2004
Springer
13 years 8 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...
DPD
2010
13 years 1 months ago
2010
Abstract Bloom filters are extensively used in distributed applications, especially in distributed databases and distributed information systems, to reduce network requirements and...
CJ
2002
13 years 4 months ago
2002
Bloom filters make use of a "probabilistic" hash-coding method to reduce the amount of space required to store a hash set. A Bloom filter offers a trade-off between its ...
IWNAS
2006
IEEE
13 years 10 months ago
2006
IEEE
— In existing query-based routing protocols in wireless sensor networks (WSNs), a node either keeps precise route information to desired events, such as in event flooding, or do...
CLUSTER
2004
IEEE
13 years 8 months ago
2004
IEEE
An efficient and distributed scheme for file mapping or file lookup scheme is critical in decentralizing metadata management within a group of metadata servers. This paper present...