Static Analyses of the Precision of Floating-Point Operations
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
More accuracy at fixed precision
Journal of Computational and Applied Mathematics - Special issue: Proceedings of the international conference on linear algebra and arithmetic, Rabat, Morocco, 28-31 May 2001
Dynamical control of converging sequences computation
Applied Numerical Mathematics
Applied Numerical Mathematics
Stochastic arithmetic: addition and multiplication by scalars
Applied Numerical Mathematics
A stochastic scheme for solving definite integrals
Applied Numerical Mathematics
On the numerical solution to linear problems using stochastic arithmetic
Proceedings of the 2006 ACM symposium on Applied computing
Reliable computation of a multiple integral involved in the neutron star theory
Mathematics and Computers in Simulation
Semantics of roundoff error propagation in finite precision calculations
Higher-Order and Symbolic Computation
A procedure with stepsize control for solving n one-dimensional IVPs
Mathematics and Computers in Simulation
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
Optimal iterate of the power and inverse iteration methods
Applied Numerical Mathematics
Numerical Study of Algebraic Problems Using Stochastic Arithmetic
Large-Scale Scientific Computing
Proceedings of the 2009 international symposium on Symbolic and algebraic computation
A stochastic scheme for solving definite integrals
Applied Numerical Mathematics
A simple and efficient algorithm for eigenvalues computation
NMA'06 Proceedings of the 6th international conference on Numerical methods and applications
A monte-carlo floating-point unit for self-validating arithmetic
Proceedings of the 19th ACM/SIGDA international symposium on Field programmable gate arrays
An overview of semantics for the validation of numerical programs
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
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 |