• MA57

  • Referenced in 43 articles [sw00536]
  • hand sides, and iterative refinement and error analysis. The code is written in Fortran...
  • MUMPS

  • Referenced in 39 articles [sw04013]
  • also available); Iterative refinement and backward error analysis; Various matrix input formats assembled format; distributed...
  • ACRITH-XSC

  • Referenced in 38 articles [sw00015]
  • need to perform an error analysis by hand for these calculations. For example, self-validating...
  • na10

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

  • Referenced in 53 articles [sw08333]
  • declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm...
  • EnKF

  • Referenced in 162 articles [sw02066]
  • predict the error statistics forward in time, and it uses an analysis scheme which operates...
  • ESC/Java

  • Referenced in 118 articles [sw07217]
  • common run-time errors in JML-annotated Java programs by static analysis of the program...
  • HyTech

  • Referenced in 263 articles [sw04125]
  • HyTech is an automatic tool for the analysis of embedded systems. HyTech computes the condition ... verification fails, then HyTech generates a diagnostic error trace. The standard reference to the HyTech...
  • VanHuffel

  • Referenced in 159 articles [sw05243]
  • total least squares problem: computational aspects and analysis. Total least squares ... have been devised to compensate for data errors. It is also known as the errors...
  • redbKIT

  • Referenced in 14 articles [sw12977]
  • both a priori and a posteriori error analysis. Reduced basis methods for partial differential equations...
  • SURROGATES

  • Referenced in 9 articles [sw07575]
  • neural network, and support vector regression. Analysis of error and cross validation: leave ... fold cross-validation, and classical error analysis (coefficient of determination, standard error; root mean square ... error; and others). Surrogate-based optimization: efficient global optimization (EGO) algorithm. Other capabilities: global sensitivity ... analysis and conservative surrogates via safety margin...
  • Algorithm 838

  • Referenced in 9 articles [sw04464]
  • precision, and amenable to rigorous error analysis. The module can be used to validate other...
  • EMP

  • Referenced in 8 articles [sw01086]
  • perform a rule-based error analysis in case of nonsuccessful termination...
  • VECTOR_PADE

  • Referenced in 6 articles [sw04679]
  • their work is a detailed error analysis showing that the algorithm is weakly stable ... experiments. These experiments show that the theoretical error bounds obtained by Cabay, Jones, and Labahn...
  • Chebpack

  • Referenced in 6 articles [sw09244]
  • results are accompanied by an error analysis. Numerical examples, calculated by our Matlab package Chebpack...
  • vars

  • Referenced in 9 articles [sw04507]
  • selection, diagnostic testing, forecasting, causality analysis, forecast error variance decomposition and impulse response functions...
  • Orion

  • Referenced in 4 articles [sw09957]
  • Orion: high-precision methods for static error analysis of C and C++ programs. We describe ... common programming errors in C and C++ programs using static code analysis ... cost and the precision of such analyses. Analysis methods that use simple dataflow domains ... high-precision feasibility analysis aimed at filtering out as many false errors as possible.par...
  • FLATA

  • Referenced in 13 articles [sw04142]
  • programs - checking if an error control state is reachable termination analysis of non-recursive programs...
  • ProB

  • Referenced in 47 articles [sw07084]
  • ProB: an automated analysis toolset for the B method. We present ProB, a validation toolset ... which can be used to detect various errors in B specifications. We describe the underlying...
  • PARAEXP

  • Referenced in 4 articles [sw07168]
  • homogeneous subproblems. We present an error analysis and discuss the parallel scaling of our algorithm...