-
MUMPS
- Referenced in 422 articles
[sw04013]
- also available); Iterative refinement and backward error analysis; Various matrix input formats assembled format; distributed...
-
redbKIT
- Referenced in 162 articles
[sw12977]
- both a priori and a posteriori error analysis. Reduced basis methods for partial differential equations...
-
MA57
- Referenced in 86 articles
[sw00536]
- hand sides, and iterative refinement and error analysis. The code is written in Fortran...
-
EnKF
- Referenced in 346 articles
[sw02066]
- predict the error statistics forward in time, and it uses an analysis scheme which operates...
-
ACRITH-XSC
- Referenced in 49 articles
[sw00015]
- need to perform an error analysis by hand for these calculations. For example, self-validating...
-
na10
- Referenced in 48 articles
[sw11511]
- based on a rigorous backward rounding error analysis, guarantees that the computed approximations...
-
Mercury
- Referenced in 65 articles
[sw08333]
- declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm...
-
MINUIT
- Referenced in 32 articles
[sw19409]
- MINUIT is a physics analysis tool for function minimization. The functions (so-called objective functions ... minimizing a function and for special error analysis. MINUIT was initially written in Fortran about...
-
PARAEXP
- Referenced in 27 articles
[sw07168]
- homogeneous subproblems. We present an error analysis and discuss the parallel scaling of our algorithm...
-
ESC/Java
- Referenced in 134 articles
[sw07217]
- common run-time errors in JML-annotated Java programs by static analysis of the program...
-
HyTech
- Referenced in 324 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 213 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...
-
vars
- Referenced in 30 articles
[sw04507]
- selection, diagnostic testing, forecasting, causality analysis, forecast error variance decomposition and impulse response functions...
-
SURROGATES
- Referenced in 14 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...
-
Chebpack
- Referenced in 13 articles
[sw09244]
- results are accompanied by an error analysis. Numerical examples, calculated by our Matlab package Chebpack...
-
Algorithm 838
- Referenced in 13 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...
-
GniCodes
- Referenced in 8 articles
[sw21086]
- with the help of a backward error analysis (Section 3). We explain some implications...
-
VECTOR_PADE
- Referenced in 7 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 62 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...