曝光臺(tái) 注意防騙 網(wǎng)曝天貓店富美金盛家居專營(yíng)店坑蒙拐騙欺詐消費(fèi)者

ELEX 70343, NAVELEX, Washington, D.C. 20363).
(7) D.E. Eckhardt and L.D. Lee, ‘‘A theoretical basis for the analysis of redundant software subject to
coincident errors,’’ NASA Technical Memorandum 86369, NASA Langley Research Center,
Hampton, Virginia, January 1985.
- 44 -
(8) D.J. Martin, ‘‘Dissimilar software in high integrity applications in flight controls,’’ Software for
Avionics, AGARD Conference Proceedings, No. 330, pp. 36-1 to 36-9, January 1983.
(9) J.R. Taylor, in ‘‘Letter from the editor,’’ ACM Software Engineering Notes, vol. 6, no. 1, pp. 1-2,
January 1981.
(10) U. Voges, F. Fetsch, and L. Gmeiner, ‘‘Use of microprocessors in a safety-oriented reactor shutdown
system,’’ in E. Lauber and J. Moltoft (eds.) Reliability in Electrical and Electronic
Components and Systems, North-Holland, pp.. 493-497, 1982.
(11) G. Dahll and J. Lahti, ‘‘An investigation of methods for production and verification of highly
reliable software,’’ in L. Lauber (ed.) Safety of Computer Control Systems (Proceedings of
SAFECOMP ’79), Pergamon Press, pp. 89-94, 1980.
(12) L. Gmeiner and U. Voges, ‘‘Software diversity in reactor protection systems: An experiment,’’
Safety of Computer Control Systems (Proceedings of SAFECOMP ’79), Pergamon Press, pp. 75-79,
1980.
(13) A. Avizienis and J.P.J. Kelly, ‘‘Fault tolerance by design diversity: concepts and experiments’’,
IEEE Computer, vol. 17, no. 8, August 1984.
(14) J.F. Wakerly, ‘‘Microcomputer reliability improvement using triple-modular redundancy,’’
Proceedings of the IEEE, vol. 64, no. 6, pp. 889-895, June 1976.
(15) P.M. Nagel and J.A. Skrivan, ‘‘Software Reliability: Repetitive Run Experimentation and
Modeling,’’ prepared for National Aeronautics and Space Administration at Boeing Computer
Services Company, Seattle, Washington, 1982.
- 45 -
(16) M.S. Raff, ‘‘On approximating the point binomial,’’ J. Amer. Statist. Ass., vol 51, 1956.
(17) S.S. Brilliant, ‘‘Analysis of faults in a multi-version software experiment,’’ M.S. Thesis, University
of Virginia, May 1985.
(18) L.D. St.Jean, ‘‘Testing version independence in multi-version programming,’’ M.S. Thesis,
University of Virginia, January 1985.
- 46 -
Using & Managing HPC Systems
Presenter: William Lu, Ph.D., Marketing Director
Date: October 7, 2008
Challenges on HPC systems
Using and managing HPC systems, organizations
are facing some challenges:
• Performance relies on CPU, memory, storage,
interconnects,…
Complex hardware
• Commodity hardware has good performance/cost,
but…
Reliability
• Why my jobs are waiting?
Users competing resources
IDC tracks HPC Management Software
What is HPC Management Software?
HPC Management Software
Hardware and OS
Applications
… that enables users to develop, run
and manage compute or data intensive
applications and manage HPC systems.
The software
between the
application and
the operating
system…
HPC Management Components
Platform Computing - Leader in HPC
2,000 Customers worldwide
Years of profitable growth
Employees in 15 offices
16
500
1 Leader in HPC
4,000,000 Managed CPUs
Industries Served by Platform
• BNP
• Citigroup
• Fortis
• HSBC
• KBC Financial
• JPMC
• Lehman
Brothers
• LBBW
• Mass Mutual
• MUFG
• Nomura
• Prudential
• Sal. Oppenheim
• Société
Générale
• Airbus
• BAE Systems
• Boeing
• Bombardier
• Deere & Company
• Ericsson
• Honda
• General Electric
• General Motors
• Goodrich
• Lockheed Martin
• Nissan
• Northrop Grumman
• Pratt & Whitney
• Toyota
• Volkswagen
• Abott Labs
• AstraZeneca
• Celera
• DuPont
• Eli Lilly
• Johnson &
Johnson
• Merck
• National Institutes
of Health
• Novartis
• Partners Health
Network
• Pharsight
• Pfizer
• Sanger Institute
• CERN
• DoD, US
• DoE, US
　
中國(guó)航空網(wǎng) www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料35(199)