• DyC

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

  • Referenced in 10 articles [sw25851]
  • parallelization and optimization strategy of Pochoir is divide-and-conquer (cache-oblivious algorithm). In higher...
  • Emmerald

  • Referenced in 2 articles [sw19562]
  • allocation, Level 1 and Level 2 cache blocking strategies that yield the best performance...
  • DVSA

  • Referenced in 1 article [sw18599]
  • implements the most appropriate caching and prefetching strategies for the consistency model. To exemplify this ... implements the corresponding caching and prefetching strategies. We present some experimental results of the methodology...
  • TGC

  • Referenced in 1 article [sw11989]
  • operates very well with global caching and various search strategies. The test results ... prover for ALC . This suggests that global caching together with the set of optimizations used...
  • hwloc

  • Referenced in 9 articles [sw12733]
  • software which gathers hardware information about processors, caches, memory nodes and more, and exposes ... place their tasks or adapt their communication strategies depending on hardware affinities. We show that...
  • httpcache

  • Referenced in 0 articles [sw16576]
  • APIs; the package also enables custom cache-management strategies. Finally, ’httpcache’ includes a basic logging ... measurement of HTTP request time and cache performance...
  • EquiLoad

  • Referenced in 11 articles [sw01549]
  • size distribution of the requested documents. This strategy, EquiLoad, manages to achieve a balanced load ... join shortest queue policies and maximizes cache hits at the back-end servers, therefore behaving...
  • CBEAM

  • Referenced in 2 articles [sw15633]
  • hardware we show that efficient implementation strategies exist for software platforms ranging from low-end microcontrollers ... also increased security against cache side channel attacks. Our construction supports sponge-based authenticated encryption...
  • EpiChord

  • Referenced in 2 articles [sw11774]
  • average). Our reactive routing state maintenance strategy allows us to maintain large amounts of routing ... network probes when necessary. Nodes populate their caches mainly from observing network traffic, and cache...
  • FemtoCaching

  • Referenced in 1 article [sw20419]
  • rate backhaul but high storage capacity cache popular video files. Files not available from helpers ... hard, and develop a greedy strategy that is provably within a factor ... also show that the coded optimum cache assignment problem is convex that can be further...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • ACL2

  • Referenced in 277 articles [sw00060]
  • ACL2 is both a programming language in which...
  • FLAME

  • Referenced in 38 articles [sw00293]
  • We present a number of application program interfaces...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LAPACK

  • Referenced in 1617 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

  • Referenced in 2825 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Mathematica

  • Referenced in 5857 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • R

  • Referenced in 8180 articles [sw00771]
  • R is a language and environment for statistical...
  • ScaLAPACK

  • Referenced in 401 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...