Sciweavers

57 search results - page 8 / 12
» dagstuhl 2008
Sort
View
DAGSTUHL
2008
13 years 9 months ago
Implementation of the reciprocal square root in MPFR
D ABSTRACT) PAUL ZIMMERMANN We describe the implementation of the reciprocal square root -- also called inverse square root -- as a native function in the MPFR library. The difficu...
Paul Zimmermann
DAGSTUHL
2008
13 years 9 months ago
Theory of Real Computation According to EGC
The Exact Geometric Computation (EGC) mode of computation has been developed over the last decade in response to the widespread problem of numerical non-robustness in geometric al...
Chee-Keng Yap
DAGSTUHL
2008
13 years 9 months ago
Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling
An overall approach to the problem of error analysis in the context of solid modelling, analogous to the standard forward/backward error analysis of Numerical Analysis, was describ...
Neil F. Stewart, Malika Zidani
DAGSTUHL
2008
13 years 9 months ago
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...
Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio...
DAGSTUHL
2008
13 years 9 months ago
Interval Arithmetic Using SSE-2
ABSTRACT. We present an implementation of double precision interval arithmetic using the single-instruction-multiple-data SSE-2 instruction and register set extensions. The impleme...
Branimir Lambov