Abstraction of Expectation Functions Using Gaussian Distributions
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Static Analyses of the Precision of Floating-Point Operations
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
From Sensitivity Analysis to Random Floating Point Arithmetics - Application to Sylvester Equations
NAA '00 Revised Papers from the Second International Conference on Numerical Analysis and Its Applications
Stochastic arithmetic: addition and multiplication by scalars
Applied Numerical Mathematics
On the numerical solution to linear problems using stochastic arithmetic
Proceedings of the 2006 ACM symposium on Applied computing
Testing Stochastic Arithmetic and CESTAC Method Via Polynomial Computation
IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
Reliable Implementation of Real Number Algorithms: Theory and Practice
Numerical Study of Algebraic Problems Using Stochastic Arithmetic
Large-Scale Scientific Computing
A simple and efficient algorithm for eigenvalues computation
NMA'06 Proceedings of the 6th international conference on Numerical methods and applications
Numerical study of algebraic solutions to linear problems involving stochastic parameters
LSSC'05 Proceedings of the 5th international conference on Large-Scale Scientific Computing
Hi-index | 0.00 |