• Qhull

  • Referenced in 227 articles [sw04419]
  • element of b).Qhull accounts for round-off error. It returns ”thick” facets defined...
  • FEASPUMP

  • Referenced in 86 articles [sw04802]
  • viewed as a clever way to round a sequence of fractional solutions ... study the effect of replacing the original rounding function (which is fast and simple ... somehow blind) with more clever rounding heuristics. In particular, we investigate ... diving-like procedure based on rounding and constraint propagation-a basic tool in Constraint Programming...
  • MPFR

  • Referenced in 136 articles [sw03312]
  • multiple-precision floating-point computations with correct rounding. MPFR has continuously been supported...
  • DEVEX

  • Referenced in 95 articles [sw08378]
  • consequent effect of this column selection on rounding error is observed. By allowing that...
  • CVRPSP

  • Referenced in 88 articles [sw13447]
  • Publications). The package contains separation routines for rounded capacity inequalities, homogeneous multistar inequalities, generalized multistar...
  • PRINCE

  • Referenced in 39 articles [sw13240]
  • innovative design choices. The number of rounds must be moderate and rounds must have short ... iterative with very similar round functions disappears, an observation that increases the design space...
  • CADNA

  • Referenced in 30 articles [sw00098]
  • CADNA: a library for estimating round-off error propagation. The CADNA library enables ... estimate round-off error propagation using a probabilistic approach. With CADNA the numerical quality ... CADNA provides new numerical types on which round-off errors can be estimated. Slight modifications ... interpret the information it provides concerning round-off error propagation in a code...
  • Keccak

  • Referenced in 49 articles [sw09834]
  • consists of the iteration of a simple round function, similar to a block cipher without...
  • RealPaver

  • Referenced in 48 articles [sw04401]
  • with certainty. Solving methods: Realpaver implements correctly rounded interval-based computations in a branch...
  • Serpent

  • Referenced in 33 articles [sw21989]
  • that Rijndael is faster (having fewer rounds) but Serpent is more secure. We designed Serpent ... cryptanalysis. We also used twice as many rounds as are sufficient to block all currently...
  • ACRITH-XSC

  • Referenced in 42 articles [sw00015]
  • data conversion and arithmetic operators with rounding control, interval and complex interval arithmetic, accurate vector/matrix...
  • HAVAL

  • Referenced in 42 articles [sw02156]
  • allows users to specify the number of rounds (3, 4, or 5) to be used...
  • na10

  • Referenced in 41 articles [sw11511]
  • stop condition, based on a rigorous backward rounding error analysis, guarantees that the computed approximations...
  • Outward rotations

  • Referenced in 39 articles [sw08660]
  • Outward rotations: a tool for rounding solutions of semidefinite programming relaxations, with applications...
  • ChaCha

  • Referenced in 19 articles [sw07098]
  • stream cipher based on the 8-round cipher Salsa20/8. The changes from Salsa20/8 to ChaCha8 ... designed to improve diffusion per round, conjecturally increasing resistance to cryptanalysis, while preserving—and often ... improving—time per round. ChaCha12 and ChaCha20 are analogous modifications of the 12-round ... round ciphers Salsa20/12 and Salsa20/20. This paper presents the ChaCha family and explains the differences...
  • HSolver

  • Referenced in 35 articles [sw07419]
  • correctness does not depend on floating point rounding errors. It can handle non-linear ordinary...
  • LED

  • Referenced in 35 articles [sw18983]
  • first architecture, we propose a round-based implementation while the second is a fully serialized...
  • SMOTEBoost

  • Referenced in 20 articles [sw12571]
  • minority class, SMOTE is introduced at each round of boosting. Introduction of SMOTE increases ... cases in the distribution at each boosting round. In addition to maximizing the margin...
  • CVRPSEP

  • Referenced in 28 articles [sw11809]
  • Publications). The package contains separation routines for rounded capacity inequalities, homogeneous multistar inequalities, generalized multistar...
  • Algorithm 693

  • Referenced in 25 articles [sw08017]
  • elementary functions. Results are almost always correctly rounded, and due to improved algorithms used...