The algebraic eigenvalue problem
The algebraic eigenvalue problem
A Portable Fortran Program to Find the Euclidean Norm of a Vector
ACM Transactions on Mathematical Software (TOMS)
Parameterization of the Environment for Transportable Numerical Software
ACM Transactions on Mathematical Software (TOMS)
The PORT Mathematical Subroutine Library
ACM Transactions on Mathematical Software (TOMS)
Algorithm 539: Basic Linear Algebra Subprograms for Fortran Usage [F1]
ACM Transactions on Mathematical Software (TOMS)
Environment Parameters and Basic Functions for Floating-Point Computation
ACM Transactions on Mathematical Software (TOMS)
More on algorithms that reveal properties of floating point arithmetic units
Communications of the ACM
Algorithms to reveal properties of floating-point arithmetic
Communications of the ACM
Portability of Numerical Software: Proceedings
Portability of Numerical Software: Proceedings
Principles and preferences for computer arithmetic
ACM SIGNUM Newsletter
A proposed standard for binary floating point arthmetic
ACM SIGNUM Newsletter
Proposal to eliminate denormalized numbers
ACM SIGNUM Newsletter
Draft proposal for a binary normalized floating point standard
ACM SIGNUM Newsletter
Rounding Errors in Algebraic Processes
Rounding Errors in Algebraic Processes
Formal Methods Applied to a Floating-Point Number System
IEEE Transactions on Software Engineering
What every computer scientist should know about floating-point arithmetic
ACM Computing Surveys (CSUR)
Rationale for the proposed standard for a generic package of elementary functions for Ada
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
Proposed standard for a generic package of primitive functions for Ada
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
An Ada math library for real-time avionics
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
An approach for floating-point error analysis using computer algebra
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
The design of floating-point data types
ACM Letters on Programming Languages and Systems (LOPLAS)
Handling floating-point exceptions in numeric programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Self-adapting Fortran 77 machine constants: comment on Algorithm 528
ACM Transactions on Mathematical Software (TOMS)
A proposed radix- and word-length-independent standard for floating-point arithmetic
ACM SIGNUM Newsletter
Proposal for a language compatible arithmetic standard
ACM SIGNUM Newsletter
Algorithms for vector graphic optimization and compression
CGI'06 Proceedings of the 24th international conference on Advances in Computer Graphics
A scalable approach for automated precision analysis
Proceedings of the ACM/SIGDA international symposium on Field Programmable Gate Arrays
Floating-Point verification using theorem proving
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
Hi-index | 0.00 |