Sciweavers

1861 search results - page 20 / 373
» 1.6-Bit Pattern Databases
Sort
View
104
Voted
TACAS
2004
Springer
130views Algorithms» more  TACAS 2004»
15 years 9 months ago
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Kairong Qian, Albert Nymeyer
91
Voted
CIKM
1998
Springer
15 years 8 months ago
Efficient Repeating Pattern Finding in Music Databases
Jia-Lien Hsu, Arbee L. P. Chen
132
Voted
ACNS
2006
Springer
86views Cryptology» more  ACNS 2006»
15 years 7 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