Sciweavers

78 search results - page 1 / 16
» Algorithms for Quad-Double Precision Floating Point Arithmet...
Sort
View
ARITH
2001
IEEE
13 years 10 months ago
Algorithms for Quad-Double Precision Floating Point Arithmetic
Yozo Hida, Xiaoye S. Li, David H. Bailey
FMCAD
2000
Springer
13 years 10 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 11 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»
14 years 5 days 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 11 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