• NEURON

  • Referenced in 189 articles [sw03059]
  • entire problem fitting into high speed cache. On the EPFL IBM Blue Gene, almost linear...
  • MONA

  • Referenced in 135 articles [sw06170]
  • eager minimization, BDD-based automata representations, and cache-conscious data structures. We describe these techniques...
  • knitr

  • Referenced in 70 articles [sw11224]
  • spaces added, and comments preserved. A simple caching mechanism is provided to cache results from...
  • Valgrind

  • Referenced in 63 articles [sw04420]
  • error detector, two thread error detectors, a cache and branch-prediction profiler, a call-graph ... generating cache and branch-prediction profiler, and a heap profiler. It also includes three experimental...
  • PHiPAC

  • Referenced in 53 articles [sw04898]
  • developed a BLAS-GEMM compatible multi-level cache-blocked matrix-matrix multiply code generator that...
  • JBoss

  • Referenced in 49 articles [sw21835]
  • features such as high availability clustering, distributed caching, messaging, transactions, and a full web services...
  • SPLASH-2

  • Referenced in 45 articles [sw09604]
  • describe which operating points in terms of cache size and problem size are representative...
  • sharpSAT

  • Referenced in 27 articles [sw16713]
  • sharpSAT – counting models with advanced component caching and implicit BCP. We introduce sharpSAT ... approach of coding components, which reduces the cache size by at least one order ... magnitude, and a new cache management scheme. Furthermore, we apply a well known look ahead...
  • OSQP

  • Referenced in 27 articles [sw26960]
  • algorithm iterates. The method also supports factorization caching and warm starting, making it particularly efficient ... methods, and sometimes much more when factorization caching or warm start is used...
  • semprop

  • Referenced in 18 articles [sw28383]
  • Lemma and model caching in decision procedures for quantified Boolean formulas. The increasing role ... called learning techniques like intelligent backtracking and caching of lemmas which proved useful ... demonstrate. Furthermore, in addition to the caching of lemmas, significant advances can be achieved ... techniques based on the caching of models, too. The theoretical effect of these improvements...
  • OSKI

  • Referenced in 26 articles [sw07006]
  • solve, among others. The current implementation targets cache-based superscalar uniprocessor machines, though...
  • Sparsity

  • Referenced in 13 articles [sw08686]
  • difficult because of the complexity of cache-based memory systems and because performance is highly ... scientific simulations, in particular finite-element problems. Cache level optimizations are important when the vector ... used in multiplication is larger than the cache size, especially for matrices in which...
  • LTSmin

  • Referenced in 21 articles [sw07214]
  • benefit from PINS2PINS optimizations, like local transition caching (which speeds up slow state space generators...
  • Poly1305-AES

  • Referenced in 21 articles [sw26748]
  • keys can be handled simultaneously without cache misses. Special-purpose hardware can compute Poly1305...
  • Cubicle

  • Referenced in 18 articles [sw13778]
  • classic and challenging mutual exclusion algorithms and cache coherence protocols show that Cubicle is effective...
  • SIDH

  • Referenced in 16 articles [sw17952]
  • that is fully protected against timing and cache attacks: all operations on secret data...
  • Murphi

  • Referenced in 16 articles [sw22149]
  • especially by the Microprocessor industry, to verify cache coherence protocols. Many versions of Murphi have...
  • SPLATT

  • Referenced in 9 articles [sw30093]
  • also present a method of finding cache-friendly reordering and utilizing them with a novel ... form of cache tiling. To our knowledge, this is the first work to investigate reordering ... cache tiling in this context. SPLATT averages almost 30x speedup compared to our baseline when...
  • qHiPSTER

  • Referenced in 14 articles [sw27649]
  • multi-node optimizations, including vectorization, multi-threading, cache blocking, as well as overlapping computation with...
  • DyC

  • Referenced in 13 articles [sw09692]
  • dynamically compiled region; the specializer supports various caching strategies for managing dynamically generated code...