首页> 美国政府科技报告 >Investigation, Development, and Evaluation of Performance Proving for Fault-Tolerant Computers

【24h】

Investigation, Development, and Evaluation of Performance Proving for Fault-Tolerant Computers

机译：为容错计算机提供性能的调查，开发和评估

获取原文

页面导航

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

摘要

No abstract available.

著录项

作者
Levitt, K. N.; Schwartz, R.; Hare, D.; Moore, J. S.; Melliar-smith, P. M.;
展开▼
作者单位

展开▼
年度 1983
页码 p.1-531
总页数 531
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Airborne/spaceborne computers; Fault tolerance; Flight control; Program verification (Computers); Software engineering; Algorithms; Computer information security; Hierarchies; Man machine systems; Mathematical logic; Programming languages; Semantics;

机译：机载/航天计算机;容错;飞行控制;程序验证（计算机）;软件工程;算法;计算机信息安全;层次结构;人机系统;数学逻辑;编程语言;语义学;

相似文献

外文文献
中文文献
专利

1. On evaluating the cumulative performance distribution of fault-tolerant computer systems [J] . Donatiello L., Grassi V. IEEE Transactions on Computers . 1991,第11期

机译：评估容错计算机系统的累积性能分布
2. Computers: Poised for progress: Microprocessors, memories, and fault-tolerant systems pace current developments [J] . Falk H. Spectrum, IEEE . 1976,第1期

机译：计算机：蓄势待发：微处理器，存储器和容错系统与时俱进
3. Performance evaluation and further development of the PCR and microarray-based Prove-it? Sepsis assay [J] . P Tissari, E Tarkka, S Mero, Critical care : . 2009,第Suppla4期

机译：性能评估以及基于PCR和微阵列的Prove-it？败血症测定
4. SEISMIC PROVING TEST OF A PROCESS COMPUTER SYSTEM: SEISMIC PROVING TEST AND SEISMIC EVALUATION OF MAGNETIC DISC [C] . H. Niwa, H. Kimura, T. Kubota, Pressure Vessels and Piping Conference . 1994

机译：过程计算机系统的地震证明试验：磁盘的地震证明试验及地震评价
5. Measuring to Improve vs. Measuring to Prove: Understanding Evaluation and Performance Measurement in Social Enterprise. [D] . Lall, Saurabh Ajay. 2015

机译：衡量改进与证明：了解社会企业的评估和绩效衡量。
6. Performance evaluation and further development of the PCR and microarray-based Prove-it™ Sepsis assay [O] . P Tissari, E Tarkka, S Mero, 2009

机译：基于PCR和基于微阵列的Prove-it™脓毒症检测的性能评估和进一步开发
7. Performance evaluation and further development of the PCR and microarray-based Prove-it™ Sepsis assay [O] . Tissari, P, Tarkka, E, Mero, S, 2009

机译：基于PCR和基于微阵列的Prove-it™脓毒症检测的性能评估和进一步开发

Investigation, Development, and Evaluation of Performance Proving for Fault-Tolerant Computers

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅