F. Jézéquel et J.-M. Chesneaux

For reliable and powerful scientific computations

Sc. Comp. Val. Num., Krämer and Wolff von Gudenberg ed., Kluwer Academic/Plenum publishers (2001) 367-378,

Some arithmetics for numerical validation have been developed on sequential architectures : interval arithmetic, discrete stochastic arithmetic or multi-precision arithmetic. Today, a lot of powerful computations are performed on vectorial architectures. We present here the first vectorial version of the CADNA software based on discrete stochastic arithmetic which combines powerful and reliable computations.