Differentiation in PASCAL-SC: type GRADIENT
ACM Transactions on Mathematical Software (TOMS)
Variable precision exponential function
ACM Transactions on Mathematical Software (TOMS)
The challenge of parallel function evaluation
ACM SIGNUM Newsletter
New scalar and vector elementary functions for the IBM system/370
IBM Journal of Research and Development
Development and implementation of the Magnavox generic Ada basic mathematics package
ACM SIGAda Ada Letters
Implementing an elementary function library
ACM SIGNUM Newsletter
Provably monotone approximations
ACM SIGNUM Newsletter
Algorithm 665: Machar: a subroutine to dynamically determined machine parameters
ACM Transactions on Mathematical Software (TOMS)
Performance evaluation of programs for certain Bessel functions
ACM Transactions on Mathematical Software (TOMS)
Scaling up: a research agenda for software engineering
Communications of the ACM
Performance evaluation of programs for the error and complementary error functions
ACM Transactions on Mathematical Software (TOMS)
Polynomial evaluation with scaling
ACM Transactions on Mathematical Software (TOMS)
Accurate and efficient testing of the exponential and logarithm functions
ACM Transactions on Mathematical Software (TOMS)
Table-driven implementation of the logarithm function in IEEE floating-point arithmetic
ACM Transactions on Mathematical Software (TOMS)
Evaluating Elementary Functions in a Numerical Coprocessor Based on Rational Approximations
IEEE Transactions on Computers
Performance evaluation of programs related to the real gamma function
ACM Transactions on Mathematical Software (TOMS)
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 complex elementary functions
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
Rationale for the proposed standard for a generic package of complex elementary functions
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
A portable generic elementary function package in Ada and an accurate test suite
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
Algorithm 714: CELEFUNT: a portable test package for complex elementary functions
ACM Transactions on Mathematical Software (TOMS)
Table-driven implementation of the exponential function in IEEE floating-point arithmetic
ACM Transactions on Mathematical Software (TOMS)
Properly rounded variable precision square root
ACM Transactions on Mathematical Software (TOMS)
Algorithm 757: MISCFUN, a software package to compute uncommon special functions
ACM Transactions on Mathematical Software (TOMS)
Elementary functions packages for Ada
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
Journal of the ACM (JACM)
Further evaluation of Java for symbolic computation
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Environment Parameters and Basic Functions for Floating-Point Computation
ACM Transactions on Mathematical Software (TOMS)
The Need for an Industry Standard of Accuracy for Elementary-Function Programs
ACM Transactions on Mathematical Software (TOMS)
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Journal of VLSI Signal Processing Systems
An approach for pattern oriented software development based on a design handbook
Annals of Software Engineering
The Symmetric Table Addition Method for Accurate Function Approximation
Journal of VLSI Signal Processing Systems
Prospects for an Engineering Discipline of Software
IEEE Software
BKM: A New Hardware Algorithm for Complex Elementary Functions
IEEE Transactions on Computers
Hardware Designs for Exactly Rounded Elementary Functions
IEEE Transactions on Computers
A Continued-Fraction Analysis Of Trigonometric Argument Reduction
IEEE Transactions on Computers
Accurate Function Approximations by Symmetric Table Lookup and Addition
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
Tailoring testing to a specific compiler—experiences
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Scientific computation using micro-computers
ACM '80 Proceedings of the ACM 1980 annual conference
An Exponentiation Unit for an OpenGL Lighting Engine
IEEE Transactions on Computers
Tutorial material on the real data-types in Ada
ACM SIGAda Ada Letters
A proposal for standard basic functions in Ada
ACM SIGAda Ada Letters
Algorithm and Architecture for Logarithm, Exponential, and Powering Computation
IEEE Transactions on Computers
High-Speed Function Approximation Using a Minimax Quadratic Interpolator
IEEE Transactions on Computers
High-Radix Logarithm with Selection by Rounding: Algorithm and Implementation
Journal of VLSI Signal Processing Systems
Scientific computations using micro-computers
ACM SIGNUM Newsletter
An effective testing method for end-user programmers
WEUSE I Proceedings of the first workshop on End-user software engineering
Double-Residue Modular Range Reduction for Floating-Point Hardware Implementations
IEEE Transactions on Computers
Exponential and Logarithm by Sequential Squaring
IEEE Transactions on Computers
Pipelined Architecture for Additive Range Reduction
Journal of Signal Processing Systems
Real Number Calculations and Theorem Proving
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
Using runtime testing to detect defects in applications without test oracles
Proceedings of the 2008 Foundations of Software Engineering Doctoral Symposium
Automatic system testing of programs without test oracles
Proceedings of the eighteenth international symposium on Software testing and analysis
Embedded System Paranoia: a tool for testing embedded system arithmetic
Information and Software Technology
Algorithm 910: A Portable C++ Multiple-Precision System for Special-Function Calculations
ACM Transactions on Mathematical Software (TOMS)
Parallel appearance-adaptive models for real-time object tracking using particle swarm optimization
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part II
Hi-index | 0.04 |