Abstract: The stochastic Richardson extrapolation-based numerical error quantification (StREEQ) technique has been applied to accomplish a code verification for the ...
Ocean data assimilation systems combine data assimilation with numerical ocean models to predict ocean conditions.
Abstract: State-of-the-art static analysis tools for verifying finite-precision code compute worst-case absolute error bounds on numerical errors. These are, however ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback