New scalar and vector elementary functions for the IBM system/370
IBM Journal of Research and Development
Introduction to numerical analysis: 2nd edition
Introduction to numerical analysis: 2nd edition
Design of the IBM RISC System/6000 floating-point execution unit
IBM Journal of Research and Development
Computing Elementary Functions: A New Approach for Achieving High Accuracy and Good Performance
Proceedings of the Symposium on Accurate Scientific Computations
The evolution of RISC technology at IBM
IBM Journal of Research and Development
IBM RISC System/6000 processor architecture
IBM Journal of Research and Development
Design of the IBM RISC System/6000 floating-point execution unit
IBM Journal of Research and Development
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
Wide format floating-point math libraries
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
Fast Division Using Accurate Quotient Approximations to Reduce the Number of Iterations
IEEE Transactions on Computers - Special issue on computer arithmetic
Higher Radix Square Root with Prescaling
IEEE Transactions on Computers - Special issue on computer arithmetic
Area and performance tradeoffs in floating-point divide and square-root implementations
ACM Computing Surveys (CSUR)
Division Algorithms and Implementations
IEEE Transactions on Computers
High-precision division and square root
ACM Transactions on Mathematical Software (TOMS)
Improving Goldschmidt Division, Square Root, and Square Root Reciprocal
IEEE Transactions on Computers - Special issue on computer arithmetic
Hardware Designs for Exactly Rounded Elementary Functions
IEEE Transactions on Computers
On Hardware for Computing Exponential and Trigonometric Functions
IEEE Transactions on Computers
ACM Transactions on Mathematical Software (TOMS)
Formal Verification of Square Root Algorithms
Formal Methods in System Design
A Machine-Checked Theory of Floating Point Arithmetic
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Formal Verification of IA-64 Division Algorithms
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
A New Divide and Conquer Method for Achieving High Speed Division in Hardware
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
Analysis and applications of Priest's distillation
ACM Transactions on Mathematical Software (TOMS)
Automating custom-precision function evaluation for embedded processors
Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems
An iterative division algorithm for FPGAs
Proceedings of the 2006 ACM/SIGDA 14th international symposium on Field programmable gate arrays
Choosing starting values for certain Newton-Raphson iterations
Theoretical Computer Science - Real numbers and computers
Software implementations of division and square root operations for Intel® Itanium® processors
WCAE '04 Proceedings of the 2004 workshop on Computer architecture education: held in conjunction with the 31st International Symposium on Computer Architecture
Theorem Proving for Verification (Invited Tutorial)
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
The evolution of RISC technology at IBM
IBM Journal of Research and Development
FM'05 Proceedings of the 2005 international conference on Formal Methods
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.01 |