首页> 外文OA文献 >Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms

【2h】

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

机译：基于牛顿-拉夫逊浮点除法和平方根算法的正确性证明大纲

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Marius A. Cornea-hasegan; Roger A. Golliver; Peter Markstein; Roger A. Golliver Peter Markstein;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Square rooting algorithms for integer and floating-point numbers [J] . Hashemian R. IEEE Transactions on Computers . 1990,第8期

机译：整数和浮点数的平方根算法
2. A Decimal Floating-Point Divider Using Newton-Raphson Iteration [J] . LIANG-KAI WANG, MICHAEL J. SCHULTE Journal of VLSI signal processing systems . 2007,第1期

机译：使用牛顿-拉夫森迭代的十进制浮点除法器
3. Design of a reversible floating-point square root using modified non-restoring algorithm [J] . AnanthaLakshmi A. V., Sudha Gnanou Florence Microprocessors and microsystems . 2017,第may期

机译：使用改进的非还原算法设计可逆浮点平方根
4. Correctness proofs outline for Newton-Raphson based floating-point divide and square root algorithms [C] . Cornea-Hasegan, M.A., Golliver, . 1999

机译：基于牛顿-拉夫逊浮点除法和平方根算法的正确性证明大纲
5. Architectural Design Space Exploration of Reciprocal and Square Root for Arbitrary Precision Fixed-point and Floating-point Arithmetic. [D] . Lin, Fang. 2015

机译：任意精确定点和浮点算法的平方根和平方根的建筑设计空间探索。
6. Adaptive Square-Root Unscented Particle Filtering Algorithm for Dynamic Navigation [O] . Wenhui Wei, Shesheng Gao, Yongmin Zhong, 2018

机译：动态导航的自适应平方根无味粒子滤波算法
7. Design of Double-Precision Floating-Point Division and Square Root Based on SRT Algorithm [O] . Jiyang Chen, Yuanxi Peng, Yuanwu Lei, 2014

机译：基于SRT算法的双精度浮点分割和平方根设计
8. Class of Square Root and Division Free Algorithms and Architectures for QRD-Based Adaptive Signal Processing. [R] . Frantzeskakis, E. N., Liu, J. J. 1993

机译：基于QRD的自适应信号处理的平方根类和无划分算法及体系结构。

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

著录项

引文网络

相似文献

相关主题

期刊订阅