Results 211 to 220 of about 3,501 (259)
Some of the next articles are maybe not open access.
Floating point arithmetic on a RISC
Microprocessing and Microprogramming, 1988Abstract A set of high-speed floating point procedures for the newly proposed microcoded RISC system is presented. Their performance is compared to that of other RISC-type systems, to other microprocessors as well as mainframes. The performance is found to be competitive and in some cases--exceeding that of other systems.
Jean M. Davila +2 more
openaire +1 more source
Floating-point arithmetic in the Coq system
Information and Computation, 2012 Floating point arithmetic is not only an important aspect of computation but has also become an important aspect of proofs. Hales' proof of the Kepler conjecture is probably the most famous of such proofs. If these proofs are to be trusted then it is necessary to rely on the correctness of the computations.
Guillaume Melquiond
exaly +4 more sources
A Hierarchical Block-Floating-Point Arithmetic
Journal of VLSI signal processing systems for signal, image and video technology, 2000zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Shiro Kobayashi, Gerhard P. Fettweis
openaire +2 more sources
Simulating Low Precision Floating-Point Arithmetic [PDF]
SIAM Journal of Scientific Computing, 2019 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nicholas J Higham, Srikara Pranesh
exaly +3 more sources
Journal of the ACM, 1960
Three types of floating-point arithmetics with error control are discussed and compared with conventional floating-point arithmetic. General multiplication and division shift criteria are derived (for any base) for Metropolis-type arithmetics. The limitations and most suitable range of application for each arithmetic are discussed.
openaire +1 more source
Three types of floating-point arithmetics with error control are discussed and compared with conventional floating-point arithmetic. General multiplication and division shift criteria are derived (for any base) for Metropolis-type arithmetics. The limitations and most suitable range of application for each arithmetic are discussed.
openaire +1 more source
Roundings in floating point arithmetic
1972 IEEE 2nd Symposium on Computer Arithmetic (ARITH), 1972In this paper we discuss directed roundings and indicate how hardware might be designed to produce proper upward-directed, downward-directed, and certain commonly used symmetric roundings. Algorithms for the four binary arithmetic operations and for rounding are presented, together with proofs of their correctness; appropriate formulas for a priori ...
openaire +1 more source
Arithmetic Coding for Floating-Point Numbers
2021 IEEE Conference on Dependable and Secure Computing (DSC), 2021To enable the usage of standard hardware in safety-critical applications for production systems, new approaches for hardware fault tolerance are required. These approaches must be implemented on software level. As shown in the literature, arithmetic coding is a promising approach, but only supports integer calculations.
Marc Fischer +3 more
openaire +1 more source
Axiomatizations of floating point arithmetics
1985 IEEE 7th Symposium on Computer Arithmetic (ARITH), 1985We present a universal scheme for axiomatizing floating point ariththmetic. The schema can be used to axiomatize any floating point arithmetic. It consists of a labeled graph with vertices describing some arithmetical properties and edges containing appropriate axioms. The language of floating point arithmetic is developed gradually in this scheme. The
openaire +1 more source
Microprocessors and Microsystems, 1979
So far all the binary numbers considered have been integers with a maximum of 16 bits. Thus it has only been possible to represent numbers in the range Open image in new window or Open image in new ...
openaire +2 more sources
So far all the binary numbers considered have been integers with a maximum of 16 bits. Thus it has only been possible to represent numbers in the range Open image in new window or Open image in new ...
openaire +2 more sources
Floating Point Arithmetic in Future Supercomputers
The International Journal of Supercomputing Applications, 1989Considerations in the floating-point design of a supercomputer are discussed. Particular attention is given to word size, hardware support for extended precision, format, and accuracy characteristics. These issues are discussed from the perspective of the Numerical Aerodynamic Simulation Systems Division at NASA Ames.
David H. Bailey +3 more
openaire +1 more source