• NEURON

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

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

  • Referenced in 55 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...
  • knitr

  • Referenced in 47 articles [sw11224]
  • spaces added, and comments preserved. A simple caching mechanism is provided to cache results from...
  • 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 22 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...
  • semprop

  • Referenced in 16 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 17 articles [sw07214]
  • benefit from PINS2PINS optimizations, like local transition caching (which speeds up slow state space generators...
  • Poly1305-AES

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

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

  • Referenced in 10 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...
  • DyC

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

  • Referenced in 9 articles [sw12733]
  • applications. The increasing numbers of cores, shared caches and memory nodes within machines introduces ... software which gathers hardware information about processors, caches, memory nodes and more, and exposes...
  • EquiLoad

  • Referenced in 11 articles [sw01549]
  • join shortest queue policies and maximizes cache hits at the back-end servers, therefore behaving...
  • aiT

  • Referenced in 11 articles [sw13101]
  • analyze binary executables and take the intrinsic cache and pipeline behavior into account...
  • Cubicle

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