• 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...
  • Mercury

  • Referenced in 59 articles [sw08333]
  • declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm...
  • 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 37 articles [sw11511]
  • based on a rigorous backward rounding error analysis, guarantees that the computed approximations...
  • EnKF

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

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

  • Referenced in 287 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 157 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...
  • 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...
  • redbKIT

  • Referenced in 11 articles [sw12977]
  • both a priori and a posteriori error analysis. Reduced basis methods for partial differential equations...
  • 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...
  • Orion

  • Referenced in 5 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...
  • 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...
  • ProB

  • Referenced in 56 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...
  • Chebpack

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

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

  • Referenced in 12 articles [sw09941]
  • analysis to detect both race conditions and deadlocks. It is explicitly designed to find errors ... code features which it uses to sort errors both from most to least severe ... novel techniques to counter the impact of analysis mistakes. The tool is fast, requiring between ... large commercial code base, finding serious errors in all of them. RacerX is a static...
  • PARAEXP

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