References

• 1. 1)
     • M. Karpovsky . Detection and location of errors by linear inequality checks. IEE Proc. E, Comput. & Digital Tech. , 3 , 86 - 92
  2. 2)
     • M. Karpovsky , E. Trachtenberg . Fourier transforms over finite groups for error detection and error correction in computation channels. Inf. & Control , 335 - 358
  3. 3)
     • Beaston, J., Domenik, S., Richardson, W.: `Development of a testing strategy for a 16 kilobit RAM', Proc. 1976 Semiconductor Test Conference, 1977, p. 1–2.
  4. 4)
     • M.A. Breuer , A.D. Friedman . (1976) , Diagnosis and reliable design of digital systems.
  5. 5)
     • N. Goel , M. Karpovsky . Functional testing of computer hardware based on minimising the magnitude of undetected errors. IEE Proc. E, Comput & Digital Tech. , 5 , 169 - 181
  6. 6)
     • Redinbo, R.: `Noise analysis of soft errors in combinational digital circuits', Proc. of 1980 IEEE Int. Symposium on Electromagnetic Compatibility, 1980, Baltimore, p. 307–312.
  7. 7)
     • Sahani, R.M.: `Reliability of integrated circuits', Proc. IEEE int. Comput. Group Conf., June 1970., Washington, D.C., p. 213–219.
  8. 8)
     • M. Karpovsky , E. Trachtenberg . Linear checking equations and error-correcting capability for computation channels. Proc. IFIP Congress
  9. 9)
     • M.Y. Hsiao . Store address generator with on-line fault detection capability. IEEE Trans. , 1144 - 1147
  10. 10)
      • D.K. Pradhan . A new class of error-correcting/detecting codes for fault-tolerant computer applications. IEEE Trans. , 471 - 481
  11. 11)
      • Cocking, J.: `RAM test pattern and test strategy', Proc. 1975 semiconductor test conference, 1977, p. 1–8.
  12. 12)
      • M. Karpovsky . On weight distribution for binary linear codes. IEEE Trans. , 105 - 109
  13. 13)
      • W.G. Fee . Memory testing–Tutorial on LSI testing. IEEE Comput. , 81 - 88
  14. 14)
      • H.W. Gschwind . (1967) , Design of digital computers.
  15. 15)
      • M. Karpovsky . Weight distributions of translates, covering radius and perfect codes correcting errors of the given weights. IEEE Trans. , 462 - 472
  16. 16)
      • L.A. Lyusternik , D.A. Chezvonenkiz , A.R. Yampolskii . (1965) , Handbook for computing elementary functions.
  17. 17)
      • M. Karpovsky . Testing for numerical computations. IEE Proc. E, Comput. & Digital Tech. , 2 , 69 - 76
  18. 18)
      • R. Nair , S.M. Thatte , J.A. Abraham . Efficient algorithms for testing semiconductor random-access memories. IEEE Trans. , 572 - 576
  19. 19)
      • M. Karpovsky . Error detection for polynomial computations. IEE J. Comput. Digital Tech. , 49 - 56
  20. 20)
      • D.S. Suk , S.M. Reddy . A march test for functional faults in semiconductor random access memories. IEEE Trans. , 982 - 985
  21. 21)
      • M. Karpovsky . Error detection in digital devices and computer programs with the aid of linear recurrent equations over finite commutative groups. IEEE Trans. , 208 - 219
  22. 22)
      • M. Karpovsky . (1976) , Finite orthogonal series in the design of digital devices.
  23. 23)
      • J.P. Hayes . Detection of pattern-sensitive faults in random-access memories. IEEE Trans. , 150 - 157