Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors
Proceedings of the 4th International Workshop on Parallel and Symbolic Computation
LEMA: towards a language for reliable arithmetic
ACM Communications in Computer Algebra
Interval slopes as a numerical abstract domain for floating-point variables
SAS'10 Proceedings of the 17th international conference on Static analysis
Sollya: an environment for the development of numerical codes
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Multipliers for floating-point double precision and beyond on FPGAs
ACM SIGARCH Computer Architecture News
Efficient and accurate computation of upper bounds of approximation errors
Theoretical Computer Science
Static analysis of finite precision computations
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Accurate floating point arithmetic through hardware error-free transformations
ARC'11 Proceedings of the 7th international conference on Reconfigurable computing: architectures, tools and applications
Table-Based division by small integer constants
ARC'12 Proceedings of the 8th international conference on Reconfigurable Computing: architectures, tools and applications
A dynamic program analysis to find floating-point accuracy problems
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
On significance of the least significant bits for differential privacy
Proceedings of the 2012 ACM conference on Computer and communications security
Accurate Evaluation of Arithmetic Expressions (Invited Talk)
Electronic Notes in Theoretical Computer Science (ENTCS)
Bayesian network classifiers with reduced precision parameters
ECML PKDD'12 Proceedings of the 2012 European conference on Machine Learning and Knowledge Discovery in Databases - Volume Part I
Accurate solution of dense linear systems, part I: Algorithms in rounding to nearest
Journal of Computational and Applied Mathematics
Accurate solution of dense linear systems, Part II: Algorithms using directed rounding
Journal of Computational and Applied Mathematics
A new abstract domain for the representation of mathematically equivalent expressions
SAS'12 Proceedings of the 19th international conference on Static Analysis
Self-Alignment Schemes for the Implementation of Addition-Related Floating-Point Operators
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
ACM Transactions on Mathematical Software (TOMS)
Speculative hardware/software co-designed floating-point multiply-add fusion
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems
Hi-index | 0.00 |
Floating-point arithmetic is by far the most widely used way of implementing real-number arithmetic on modern computers. Although the basic principles of floating-point arithmetic can be explained in a short amount of time, making such an arithmetic reliable and portable, yet fast, is a very difficult task. From the 1960s to the early 1980s, many different arithmetics were developed, but their implementation varied widely from one machine to another, making it difficult for nonexperts to design, learn, and use the required algorithms. As a result, floating-point arithmetic is far from being exploited to its full potential. This handbook aims to provide a complete overview of modern floating-point arithmetic, including a detailed treatment of the newly revised (IEEE 754-2008) standard for floating-point arithmetic. Presented throughout are algorithms for implementing floating-point arithmetic as well as algorithms that use floating-point arithmetic. So that the techniques presented can be put directly into practice in actual coding or design, they are illustrated, whenever possible, by a corresponding program. Key topics and features include: * Presentation of the history and basic concepts of floating-point arithmetic and various aspects of the past and current standards * Development of smart and nontrivial algorithms, and algorithmic possibilities induced by the availability of a fused multiply-add (fma) instruction, e.g., correctly rounded software division and square roots * Implementation of floating-point arithmetic, either in softwareon an integer processoror hardware, and a discussion of issues related to compilers and languages * Coverage of several recent advances related to elementary functions: correct rounding of these functions and computation of very accurate approximations under constraints * Extensions of floating-point arithmetic such as certification, verification, and big precision Handbook of Floating-Point Arithmetic is designed for programmers of numerical applications, compiler designers, programmers of floating-point algorithms, designers of arithmetic operators, and more generally, students and researchers in numerical analysis who wish to better understand a tool used in their daily work and research.