• ring-LWE

  • Referenced in 32 articles [sw19028]
  • been hindered by a lack of practical algorithms and analytical tools for working in this ... introducing a toolkit of fast, modular algorithms and analytical techniques that can be used...
  • ALF

  • Referenced in 67 articles [sw08603]
  • proof object containing placeholders. A modular type/proof checking algorithm for complete proof objects is presented...
  • Zing

  • Referenced in 38 articles [sw01037]
  • software. This infrastructure includes novel algorithms, and a modular software architecture, to push the frontier...
  • Reduze

  • Referenced in 82 articles [sw10354]
  • employing a variant of Laporta’s reduction algorithm. This web page presents version ... modular, load balancing job system. Fast graph and matroid based algorithms allow for the identification...
  • RegEM

  • Referenced in 20 articles [sw04943]
  • implementation of the regularized EM algorithm is modular, so that the modules that perform ... into the framework of the EM algorithm. The generalized cross-validation modules of the regularized ... regularized EM algorithm, more emphasis was placed on the modularity of the program code than...
  • SYMPHONY

  • Referenced in 38 articles [sw04718]
  • generic framework of a BCP algorithm. The library’s modular design makes it easy ... setting. To develop a full-scale BCP algorithm, the user has only to specify...
  • PRONTO3D

  • Referenced in 56 articles [sw03448]
  • simulations using PRONTO3D An efficient, scalable, parallel algorithm for treating material surface contacts in solid ... modular way for multiple-instruction multiple-data parallel computers. The serial contact detection algorithm that...
  • MAVI

  • Referenced in 10 articles [sw17676]
  • MAVI - modular algorithms for volume images. MAVI focuses on the characterization of the complex geometry...
  • Kira

  • Referenced in 20 articles [sw34816]
  • approaches by using an additional algorithm based on modular arithmetic to remove linearly dependent equations...
  • noether.lib

  • Referenced in 7 articles [sw10902]
  • this algorithm, we provide also a new algorithm to put an ideal in this position ... dimension. We describe a modular (probabilistic) version of these algorithms for any ideal using ... method used in [E. A. Arnold, “Modular algorithms for computing Gröbner bases”, J. Symb. Comput...
  • MOCHA

  • Referenced in 92 articles [sw12935]
  • MOCHA: Modularity in Model Checking. MOCHA is a growing interactive software environment for system specification ... vehicle for development of new verification algorithms and approaches. MOCHA is available in two versions...
  • Spacer

  • Referenced in 12 articles [sw19496]
  • safety verification of recursive programs. The algorithm is modular and analyzes procedures individually. Unlike other ... properties over a decidable theory, the algorithm is guaranteed to find a counterexample...
  • Pluto

  • Referenced in 34 articles [sw09092]
  • designed with a modular and flexible structure whereby different numerical algorithms can be separately combined...
  • Radyban

  • Referenced in 7 articles [sw12543]
  • Bayesian network. The tool implements a modular algorithm for automatically translating a dynamic fault tree...
  • PolyTop

  • Referenced in 45 articles [sw07629]
  • features a modular structure in which the analysis routine and the optimization algorithm are separated...
  • Ivy

  • Referenced in 10 articles [sw41668]
  • implementation of distributed protocols and algorithms, supporting modular specification, implementation and proof. Ivy supports proving...
  • VMTL

  • Referenced in 8 articles [sw10065]
  • Modular Termination Laboratory), a tool implementing some of the most recent and powerful algorithms ... easily plug in new algorithms in a modular fashion according to the widely adopted dependency ... pair framework. Apart from modular extensibility, VMTL focuses on analyzing the termination behaviour of conditional ... context-sensitive TRSs) are processed with dedicated algorithms...
  • DSP56000

  • Referenced in 8 articles [sw30952]
  • methods. Of particular interest is an algorithm for modular multiplication that interleaves multiplication with Montgomery...
  • Open-WBO

  • Referenced in 28 articles [sw10045]
  • Open-WBO: a modular MaxSAT solver. This paper presents open-wbo, a new MaxSAT solver ... hard to extend and improve current MaxSAT algorithms. Second, open-wbo may use any MiniSAT...
  • Mercury

  • Referenced in 69 articles [sw08333]
  • error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing ... problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs...