首页> 外文OA文献 >A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor

【2h】

A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor

机译：AMD-K7™处理器的浮点乘法，划分和平方根算法的IEEE符合性的机械检查证明

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
David M. Russinoff;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A mechanically Checked Proof of correctness of the AMD K5 Floating Point Square Root Microcode [J] . Dvid M. Russinoff Formal Methods in System Design . 1999,第1期

机译：机械检查的AMD K5浮点平方根微码的正确性证明
2. A mechanically checked proof of the AMD5/sub K/86/sup TM/ floating-point division program [J] . Moore J.S., Lynch T.W. IEEE Transactions on Computers . 1998,第9期

机译：机械检查过的AMD5 / sub K / 86 / sup TM /浮点除法程序的证明
3. A class of square root and division free algorithms and architectures for QRD-based adaptive signal processing [J] . Frantzeskakis E.N., Liu K.J.R. IEEE Transactions on Signal Processing . 1994,第9期

机译：基于QRD的自适应信号处理的一类平方根和无除法算法和体系结构
4. Floating point division and square root algorithms and implementation in the AMD-K7/sup TM/ microprocessor [C] . Oberman, S.F. . 1999

机译：浮点除法和平方根算法及其在AMD-K7 / sup TM /微处理器中的实现
5. Architectural Improvements in IEEE-Compliant Floating-Point Multiplication [D] . Nguyen, Tuan Danh. 2018

机译：符合IEEE标准的浮点乘法的架构改进
6. Adaptive Square-Root Unscented Particle Filtering Algorithm for Dynamic Navigation [O] . Wenhui Wei, Shesheng Gao, Yongmin Zhong, 2018

机译：动态导航的自适应平方根无味粒子滤波算法
7. Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms [O] . Marius A. Cornea-hasegan, Roger A. Golliver, Peter Markstein, 2007

机译：基于牛顿-拉夫逊浮点除法和平方根算法的正确性证明大纲
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的自适应信号处理的平方根类和无划分算法及体系结构。

A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor

著录项

引文网络

相似文献

相关主题

期刊订阅