4137 search results - page 673 / 828 » On the number of matchings of a tree |
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
ESEM
2009
ACM
14 years 2 months ago
2009
ACM
Decisions on “Who should fix this bug” have substantial impact on the duration of the process and its results. In this paper, optimized strategies for the assignment of the ...
ACSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
A large number of papers have proposed cryptographic protocols for establishing secure group communication. These protocols allow group members to exchange or establish keys to en...
AVSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Camera handoff is a crucial step to generate a continuously tracked and consistently labeled trajectory of the object of interest in multi-camera surveillance systems. Most existi...
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
The rapid growth of Internet population leads to the shortage of IP addresses. The next generation IP protocol, IPv6, which extends the IP address length from 32 bits to 128 bits,...