• ATLAS

  • Referenced in 199 articles [sw00056]
  • ATLAS is an instantiation of a new paradigm in high performance library production and maintenance...
  • SATenstein

  • Referenced in 19 articles [sw14233]
  • drawn from or inspired by existing high-performance SLS algorithms for SAT. The parameters ... behave; they allow SATenstein to instantiate many high-performance solvers previously proposed in the literature ... algorithm configuration procedure to find instantiations of SATenstein that perform well on several well-known...
  • SWIFFT

  • Referenced in 48 articles [sw11588]
  • security analysis of concrete instantiations, and give a high-performance software implementation that exploits...
  • Giggle

  • Referenced in 20 articles [sw20354]
  • data locality, and/or increase robustness, scalability and performance for distributed applications. We define a replica ... define several concrete instantiations of this framework with different performance characteristics. Finally, we present initial...
  • TCHR

  • Referenced in 5 articles [sw01345]
  • high-level operations can be instantiated to control performance. In particular, we propose a novel...
  • CiaoPP

  • Referenced in 44 articles [sw12089]
  • multi-paradigm program development environment. CiaoPP can perform a number of program debugging, analysis ... program, including types, modes and other variable instantiation properties, non-failure, determinacy, bounds on computational...
  • GridSAT

  • Referenced in 14 articles [sw01961]
  • computational grid application. We present the latest instantiation of GridSAT, a distributed and complete satisfiability ... designed to aggregate Grid resources for application performance. GridSAT was previously shown to outperform...
  • UG

  • Referenced in 24 articles [sw03500]
  • shared memory computing environment: Exploits powerful performance of state-of-the-art ”base solvers”, such ... abstracted within UG. A parallel solver instantiated by UG framework is named: ug[Base solver...
  • Ludwig

  • Referenced in 1 article [sw31222]
  • Encoder-Combiner-Decoder that can be instantiated to perform a vast amount of machine learning...
  • Lilliput

  • Referenced in 9 articles [sw20153]
  • Networks well suited for cryptographic applications. We instantiate this particular construction into a lightweight block ... Lilliput analyzing its security and its hardware performances...
  • CloudSim

  • Referenced in 27 articles [sw10724]
  • service models under varying load, energy performance (power consumption, heat dissipation), and system size ... novel features: (i) support for modelling and instantiation of large scale Cloud computing infrastructure, including...
  • BLIS

  • Referenced in 17 articles [sw13858]
  • framework is a new infrastructure for rapidly instantiating Basic Linear Algebra Subprograms (BLAS) functionality ... simplest set that still supports the high performance that the computational science community demands. Higher...
  • Backflip

  • Referenced in 2 articles [sw37683]
  • implementation of the proposed instantiation, and show that its performance characteristics are quite close...
  • RainForest

  • Referenced in 17 articles [sw20993]
  • tree. The generic algorithm is easy to instantiate with specific split selection methods from ... classification algorithms, our approach also offers performance improvements of over a factor of three over...
  • FunArray

  • Referenced in 14 articles [sw13708]
  • reduction operator. Once the functor has been instantiated with fixed parameters, the analysis is fully ... empirically validated the precision and the performance of the analysis by running...
  • FleXOR

  • Referenced in 7 articles [sw23224]
  • offers several advantages. First, fleXOR can be instantiated under a weaker hardness assumption ... free-XOR) while maintaining most of the performance improvements that free-XOR offers. Alternatively, even...
  • TPVM

  • Referenced in 9 articles [sw03347]
  • based on lightweight processes can potentially address performance and functionality limits in heterogeneous systems ... message-passing model; (b) a data-driven instantiation model that enables straightforward specification of computation ... services, and a thread server module which performs scheduling and system data management. System implementation...
  • APT

  • Referenced in 3 articles [sw29303]
  • direct relationship with the amount of work performed by the program. The nodes ... information regarding the state and origin of instantiation of the variables involved in each call...
  • AutoGraph

  • Referenced in 3 articles [sw30957]
  • AutoGraph: Imperative-style Coding with Graph-based Performance. There is a perceived trade-off between ... decisions until runtime, via dynamic dispatch. We instantiate these principles in AutoGraph, a software system ... demonstrate usability improvements with no loss in performance compared to native TensorFlow graphs. We also...
  • iDUDE

  • Referenced in 5 articles [sw21734]
  • statistics of the clean sequence, the same performance as the best denoiser that does have ... addressing similar issues in lossless image compression. Instantiations of the enhanced framework, which is referred ... symmetric noise, and perform well for Gaussian noise...