首页> 外文OA文献 >A Mechanically Checked Proof of a Comparator Sort Algorithm

【2h】

A Mechanically Checked Proof of a Comparator Sort Algorithm

机译：比较器排序算法的机械检验证明

页面导航

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

著录项

作者
Bishop Brock; J Strother Moore;
展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 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 a Multiprocessor Result via a Uniprocessor View [J] . J Strother Moore Formal Methods in System Design . 1999,第2期

机译：通过单处理器视图对多处理器结果进行机械检查的证明
3. 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 /浮点除法程序的证明
4. A MECHANICALLY CHECKED PROOF OF A COMPARATOR SORT ALGORITHM [C] . J Strother Moore, Bishop Brock NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems . 2005

机译：一种机械检查的比较器排序算法证明
5. Distributed beamforming and nullforming: Frequency synchronization techniques, phase control algorithms, and proof-of-concept [D] . Rahman, Muhammad Mahboob Ur 2013

机译：分布式波束成形和零成形：频率同步技术，相位控制算法和概念验证
6. Multi-objective AGV scheduling in an automatic sorting system of an unmanned (intelligent) warehouse by using two adaptive genetic algorithms and a multi-adaptive genetic algorithm [O] . Yubang Liu, Shouwen Ji, Zengrong Su, 2019

机译：通过使用两个自适应遗传算法和多自适应遗传算法无人驾驶（智能）仓库自动分拣系统中的多目标AGV调度
7. A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7™ Processor [O] . David M. Russinoff 1998

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

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号