• 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...
  • B-Prolog

  • Referenced in 18 articles [sw06949]
  • finite-domain constraint solving, arrays and hash tables, declarative loops, and tabling. Read more...
  • SipHash

  • Referenced in 10 articles [sw09726]
  • applications include network traffic authentication and hash-table lookups protected against hash-flooding denial ... inputs. Compared to dedicated designs for hash-table lookup, SipHash has well-defined 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 k-tuple...
  • Separation Logic

  • Referenced in 8 articles [sw28549]
  • examples include algorithms on lists, hash-tables, and union-find trees. We also provide abstract...
  • BAS

  • Referenced in 8 articles [sw24118]
  • tree structure as an efficient hash table. Uniform priors over all models or beta-binomial...
  • igpm_t_lib

  • Referenced in 7 articles [sw13089]
  • access (tlevelmultiindex, tpackedltmi, tmultirange), iii) various hash-table classes (thashmap, thashmap linked, thashmap_linked...
  • ROBDD

  • Referenced in 4 articles [sw21204]
  • then-else (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 hash-based 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, hash-tables 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 representations--hence...
  • RainbowCrack

  • Referenced in 3 articles [sw14125]
  • trade-off technique. It crack hashes with rainbow tables. RainbowCrack uses time-memory tradeoff algorithm ... time all plaintext/hash pairs within the selected hash algorithm, charset, plaintext length are computed ... time pre-computation 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 collision-free 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 device-sided operations allow...
  • GSNAP

  • Referenced in 1 article [sw17306]
  • multiple-data (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 high-performance...
  • Manticore

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