The Design and Implementation of Fault Insertion Capabilities for ISPS
暂无分享,去创建一个
[1] Premachandran R. Menon,et al. Functional simulation in the lamp system , 1976, DAC '76.
[2] Yves Crouzet,et al. Physical Versus Logical Fault Models MOS LSI Circuits: Impact on Their Testability , 1980, IEEE Transactions on Computers.
[3] Allen Newell,et al. Computer Structures: Readings and Examples, , 1971 .
[4] William Dietz,et al. Architectural Efficiency Measures: An Overview of Three Studies , 1979, Computer.
[5] J. Goldberg,et al. SIFT: Design and analysis of a fault-tolerant computer for aircraft control , 1978, Proceedings of the IEEE.
[6] Gabriele Saucier,et al. Diversified Test Methods for Local Control Units , 1975, IEEE Transactions on Computers.
[7] Mario R. Barbacci. The Symbolic Manipulation of Computer Descriptions: ISPL Compiler and Simulator, , 1976 .
[8] R. J. Suhocki,et al. Design and Use of Fault Simulation for Saturn Computer Design , 1967, IEEE Trans. Electron. Comput..
[9] M. R. Barbacci,et al. Using Emulaion to Verify Formal Architecture Descriptions , 1978, Computer.
[10] Premachandran R. Menon,et al. Deductive Fault Simulation with Functional Blocks , 1978, IEEE Transactions on Computers.
[11] L. A. Jack,et al. A Graph Theoretic Approach to Fault Tolerant Computing. , 1976 .
[12] D. A. Rennels,et al. Fault-tolerance experiments with the JPL STAR computer. , 1972 .