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

MUMPS
 Referenced in 41 articles
[sw04013]
 also available); Iterative refinement and backward error analysis; Various matrix input formats assembled format; distributed...

ACRITHXSC
 Referenced in 38 articles
[sw00015]
 need to perform an error analysis by hand for these calculations. For example, selfvalidating...

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

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

EnKF
 Referenced in 166 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 runtime errors in JMLannotated Java programs by static analysis of the program...

MINUIT
 Referenced in 21 articles
[sw19409]
 MINUIT is a physics analysis tool for function minimization. The functions (socalled objective functions ... minimizing a function and for special error analysis. MINUIT was initially written in Fortran about...

HyTech
 Referenced in 267 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...

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

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

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

Algorithm 838
 Referenced in 10 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 rulebased 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: highprecision 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 ... highprecision 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 nonrecursive 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...