How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
暂无分享,去创建一个
[1] Elwyn R. Berlekamp,et al. Algebraic coding theory , 1984, McGraw-Hill series in systems science.
[2] R W Lucky,et al. Principles of data communication , 1968 .
[3] M. Y. Hsiao,et al. A class of optimal minimum odd-weight-column SEC-DED codes , 1970 .
[4] Hermann J. Helgert,et al. Minimum-distance bounds for binary linear codes , 1973, IEEE Trans. Inf. Theory.
[5] S. Owicki,et al. Verifying properties of parallel programs: an axiomatic approach , 1976, CACM.
[6] Leslie Lamport,et al. Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.
[7] G. Longo. Algebraic Coding and Combinatorics a Tutorial Survey , 1978 .
[8] Carl-Erik W. Sundberg. Erasure and Error Decoding for Semiconductor Memories , 1978, IEEE Transactions on Computers.
[9] Vishwani D. Agrawal. Comments on "An Approach to Highly Integrated Computer-Maintained Cellular Arrays" , 1979, IEEE Trans. Computers.