
Why3
 Referenced in 136 articles
[sw04438]
 basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs...

Ynot
 Referenced in 35 articles
[sw12334]
 association lists) to complex (e.g., hash tables) but share a common interface which abstracts...

Murphi
 Referenced in 16 articles
[sw22149]
 this mode are saved in a hash table. States generated that exist in the hash...

BProlog
 Referenced in 18 articles
[sw06949]
 finitedomain constraint solving, arrays and hash tables, declarative loops, and tabling. Read more...

SipHash
 Referenced in 10 articles
[sw09726]
 applications include network traffic authentication and hashtable lookups protected against hashflooding denial ... inputs. Compared to dedicated designs for hashtable lookup, SipHash has welldefined security goals ... MACs. We propose that hash tables switch to SipHash as a hash function...

SSAHA
 Referenced in 10 articles
[sw17308]
 contiguous bases and then using a hash table to store the position of each occurrence ... done by obtaining from the hash table the “hits” for each ktuple...

Separation Logic
 Referenced in 8 articles
[sw28549]
 examples include algorithms on lists, hashtables, and unionfind trees. We also provide abstract...

BAS
 Referenced in 8 articles
[sw24118]
 tree structure as an efficient hash table. Uniform priors over all models or betabinomial...

igpm_t_lib
 Referenced in 7 articles
[sw13089]
 access (tlevelmultiindex, tpackedltmi, tmultirange), iii) various hashtable classes (thashmap, thashmap linked, thashmap_linked...

ROBDD
 Referenced in 4 articles
[sw21204]
 thenelse (ITE) operator. A hash table is used to maintain a strong canonical form ... improved by merging the hash table and the ROBDD into a hybrid data structure ... recursive ITE algorithm is implemented using a hashbased cache to decrease memory use. Memory...

HashGraph
 Referenced in 2 articles
[sw35095]
 HashGraph  Scalable Hash Tables Using A Sparse Graph Data Structure. Hash tables are ubiquitous ... unsorted data. If designed properly, hashtables can enable efficients look ups in a constant ... need for efficient and scalable hash table also grows. In this paper we introduce HashGraph ... scalable approach for building hash tables that uses concepts taken from sparse graph representationshence...

RainbowCrack
 Referenced in 3 articles
[sw14125]
 tradeoff technique. It crack hashes with rainbow tables. RainbowCrack uses timememory tradeoff algorithm ... time all plaintext/hash pairs within the selected hash algorithm, charset, plaintext length are computed ... time precomputation is finished, hashes stored in the table can be cracked with much ... generated rainbow tables for LM, NTLM, MD5 and SHA1 hash algorithms are listed in this...

RAPSearch2
 Referenced in 3 articles
[sw23045]
 algorithm that uses a collisionfree hash table to index a similarity search database...

WarpCore
 Referenced in 1 article
[sw35074]
 WarpCore: A Library for fast Hash Tables on GPUs. Hash tables are ubiquitous. Properties such ... fields motivated the need for accelerated hash tables designed for modern parallel architectures. In this ... modern GPUs together with a parallel hashing scheme tailored to improve global memory access patterns ... design WarpCore  a versatile library of hash table data structures. Unique devicesided operations allow...

GSNAP
 Referenced in 1 article
[sw17306]
 multipledata (SIMD) instructions, compressed genomic hash tables with fast access using SIMD instructions, handling ... suffix arrays, segment chaining using genomic hash tables, diagonalization using segmental hash tables, and nucleotide...

lexicon
 Referenced in 2 articles
[sw40179]
 Text Analysis. A collection of lexical hash tables, dictionaries, and word lists...

net.datastructures
 Referenced in 2 articles
[sw12789]
 sequences, trees, priority queues, search trees, hash tables; sorting algorithms; graphs, their traversals, and applications...

NuscaS
 Referenced in 2 articles
[sw09857]
 suitable data structures, such as hash tables. They allow for high performance while preserving modest...

Taichi
 Referenced in 2 articles
[sw40894]
 sparse voxel grids, particles, and 3D hash tables. However, developing and using these highperformance...

Manticore
 Referenced in 2 articles
[sw20009]
 implementation of a dynamically sized, parallel hash table to provide scalable performance. We are also...