Sciweavers

78 search results - page 1 / 16
» Algorithms for Quad-Double Precision Floating Point Arithmet...
Sort
View
ARITH
2001
IEEE
13 years 9 months ago
Algorithms for Quad-Double Precision Floating Point Arithmetic
Yozo Hida, Xiaoye S. Li, David H. Bailey
FMCAD
2000
Springer
13 years 9 months ago
Formal Verification of Floating Point Trigonometric Functions
Abstract. We have formal verified a number of algorithms for evaluating transcendental functions in double-extended precision floating point arithmetic in the Intel
John Harrison
ARITH
1999
IEEE
13 years 9 months ago
Complex Logarithmic Number System Arithmetic Using High-Radix Redundant CORDIC Algorithms
This paper describes the application of high radix redundant CORDIC algorithms to complex logarithmic number system arithmetic. It shows that a CLNS addition can be performed with...
David Lewis
DSD
2003
IEEE
97views Hardware» more  DSD 2003»
13 years 10 months ago
A Quadruple Precision and Dual Double Precision Floating-Point Multiplier
Double precision floating-point arithmetic is inadequate for many scientific computations. This paper presents the design of a quadruple precision floating-point multiplier tha...
Ahmet Akkas, Michael J. Schulte
COMPGEOM
1996
ACM
13 years 9 months ago
Robust Adaptive Floating-Point Geometric Predicates
Fast C implementations of four geometric predicates, the 2D and 3D orientation and incircle tests, are publicly available. Their inputs are ordinary single or double precision flo...
Jonathan Richard Shewchuk