首页> 外文OA文献 >Correction to the proof of theorem 2 in 'Parallel signature analysis design with bounds on aliasing'

【2h】

Correction to the proof of theorem 2 in 'Parallel signature analysis design with bounds on aliasing'

机译：“具有混叠边界的并行签名分析设计”中定理2证明的修正

页面导航

著录项
相似文献
相关主题

著录项

作者
Nicolici N.; Al-hashimi B.M.;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种 {"code":"en","name":"English","id":9}
中图分类

相似文献

外文文献
中文文献
专利

1. Correction To The Proof Of Theorem 2 In "parallel Signature Analysis Design With Bounds On Allasing" [J] . Nicolici N., Al-Hashimi B.M. IEEE Transactions on Computers . 1998,第12期

机译：对“带约束的并行签名分析设计”中定理2的证明的更正
2. Parallel signature analysis design with bounds on aliasing [J] . Saxena N.R., McCluskey E.J. IEEE Transactions on Computers . 1997,第4期

机译：具有别名限制的并行签名分析设计
3. Simple bounds on serial signature analysis aliasing for random testing [J] . Saxena N.R., Franco P. IEEE Transactions on Computers . 1992,第5期

机译：串行签名分析别名的简单界限，用于随机测试
4. Bounds on signature analysis aliasing for random testing [C] . Saxena N.R., Franco P., McCluskey E.J. Fault-Tolerant Computing, 1991. FTCS-21. Digest of Papers., Twenty-First International Symposium . 1991

机译：用于随机测试的签名分析别名的界限
5. Parallelizing an Interactive Theorem Prover: Functional Programming and Proofs with ACL2. [D] . Rager, David Lawrence. 2012

机译：并行化交互式定理证明：使用ACL2进行函数式编程和证明。
6. Correction: Potential use of text classification tools as signatures of suicidal behavior: A proof-of-concept study using Virginia Woolfs personal writings [O] . Gabriela de Ávila Berni, Francisco Diego Rabelo-da-Ponte, Diego Librenza-Garcia, -1

机译：更正：可能使用文本分类工具作为自杀行为的标志：使用弗吉尼亚·伍尔夫（Virginia Woolf）的个人著作进行的概念验证研究
7. Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem [O] . Aleksander Kubica, Rafał Demkowicz-Dobrzański 2021

机译：在量子误差校正中使用量子计量界限：近似Eastin-Knill定理的简单证明

Correction to the proof of theorem 2 in 'Parallel signature analysis design with bounds on aliasing'

著录项

相似文献

相关主题

期刊订阅