Author of the publication

Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms.

, , and . IEEE Symposium on Computer Arithmetic, page 96-105. IEEE Computer Society, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Optimization of range checking (with retrospective), , and . Best of PLDI, page 58-65. ACM, (1982)Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms., , and . IEEE Symposium on Computer Arithmetic, page 96-105. IEEE Computer Society, (1999)Foreword: Advances in Computational Systems Bioinformatics., and . J. Bioinform. Comput. Biol., (2010)Measurement of Programming Improvement Algorithms., and . IFIP Congress, page 221-228. (1980)The New IEEE-754 Standard for Floating Point Arithmetic.. Numerical Validation in Current Hardware Architectures, volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)Differential Gene Expression in the Auditory System., , , and . BSB, volume 3594 of Lecture Notes in Computer Science, page 1-8. Springer, (2005)Penetrating an Operating System: A Study of VM/370 Integrity., , and . IBM Syst. J., 15 (1): 102-116 (1976)Operating System Specification using very High Level Dictions.. New York University, USA, (1975)Optimization of Range Checking., , and . SIGPLAN Symposium on Compiler Construction, page 114-119. ACM, (1982)Modulus Division on a Two's Complement Machine., , and . Inf. Process. Lett., 13 (4/5): 215-217 (1981)