Sciweavers

1861 search results - page 20 / 373
» 1.6-Bit Pattern Databases
Sort
View
129
Voted
TACAS
2004
Springer
130views Algorithms» more  TACAS 2004»
15 years 11 months ago
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Kairong Qian, Albert Nymeyer
124
Voted
CIKM
1998
Springer
15 years 10 months ago
Efficient Repeating Pattern Finding in Music Databases
Jia-Lien Hsu, Arbee L. P. Chen
ACNS
2006
Springer
86views Cryptology» more  ACNS 2006»
15 years 10 months ago
Efficient Memory Bound Puzzles Using Pattern Databases
CPU bound client puzzles have been suggested as a defense mechanism against connection depletion attacks. However, the wide disparity in CPU speeds prevents such puzzles from being...
Sujata Doshi, Fabian Monrose, Aviel D. Rubin