Robust and efficient evaluation of functionals on parametric surfaces
SCG '97 Proceedings of the thirteenth annual symposium on Computational geometry
A Family of Variable-Precision Interval Arithmetic Processors
IEEE Transactions on Computers
Validated Roundings of Dot Products by Sticky Accumulation
IEEE Transactions on Computers
Dual-mode floating-point multiplier architectures with parallel operations
Journal of Systems Architecture: the EUROMICRO Journal
Dense linear system: a parallel self-verified solver
International Journal of Parallel Programming
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
Numerical Validation in Current Hardware Architectures
Fast (Parallel) Dense Linear System Solvers in C-XSC Using Error Free Transformations and BLAS
Numerical Validation in Current Hardware Architectures
Optimizing a parallel self-verified method for solving linear systems
PARA'06 Proceedings of the 8th international conference on Applied parallel computing: state of the art in scientific computing
Comments on fast and exact accumulation of products
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
| Hi-index | 0.01 |