Results 1 to 20 of 299
Sort by:

  • na10
  • Referenced in 51 articles [sw11511]
  • condition, based on a rigorous backward rounding error analysis, guarantees that the computed approximations...

  • PRECiSA
  • Referenced in 2 articles [sw38041]
  • abstract interpretation framework for the round-off error analysis of floating-point programs. This paper ... abstract interpretation framework for the round-off error analysis of floating-point programs. This framework ... approximation of the accumulated floating-point round-off error that may occur. In addition ... stating the correctness of the computed round-off errors...

  • CONTIDNS
  • Referenced in 1 article [sw18602]
  • orthogonal parameter estimation algorithm a rounding-error analysis is performed. We illustrate the presented method...

  • ACRITH-XSC
  • Referenced in 49 articles [sw00015]
  • need to perform an error analysis by hand for these calculations. For example, self-validating ... data conversion and arithmetic operators with rounding control, interval and complex interval arithmetic, accurate vector/matrix...

  • Compqd
  • Referenced in 2 articles [sw29675]
  • algorithm. We study in detail the error analysis of the qd and Compqd algorithms ... numbers so that the relative forward rounding error bounds can be derived directly. Our numerical...

  • logsumexp-softmax-tests
  • Referenced in 5 articles [sw42124]
  • give rounding error analyses of different evaluation algorithms and interpret the error bounds using condition ... functions. We conclude, based on the analysis and numerical experiments, that the shifted formulas...

  • SLICE
  • Referenced in 5 articles [sw30997]
  • precision arithmetic of digital computers. The rounding errors which then result can cause many ... data supplied is poorly scaled. The numerical analysis background required to study these problems...

  • BETAS
  • Referenced in 1 article [sw41171]
  • size. Residuals converge exponentially to the round-off error, allowing the potential energy ... eight-digit accuracy required for nonlinear stability analysis. A small amount of artificial viscosity...

  • IgBLAST
  • Referenced in 1 article [sw23145]
  • gene and the joining (J) gene. Analysis of IG sequences typically requires identification of each ... variable length of each gene requires multiple rounds of BLAST searches for a single ... assembly of different genes is difficult and error-prone. To address these issues ... sequences, we have developed the sequence analysis tool IgBLAST (http://www.ncbi.nlm.nih.gov/igblast/). With this tool...

  • RangeLab
  • Referenced in 1 article [sw38042]
  • well as a range for the round off errors arising during the computation. Hence ... precision. Range Lab is based on static analysis by abstract interpretation and, in this article...

  • Algorithm 1010
  • Referenced in 1 article [sw35945]
  • cope with the detrimental effect of round-off errors, no matter what set of quartic ... cases and by carrying out a statistical analysis over a very large set of quartics...

  • ANSYS
  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...

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

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

  • BARON
  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...

  • CADNA
  • Referenced in 47 articles [sw00098]
  • CADNA: a library for estimating round-off error...

  • CGAL
  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...

  • Coq
  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...

  • CSDP
  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...