On Detecting Errors After Correction
- R.T. Chien
- D.T. Tang
- 1964
- Proceedings of the IEEE
Publications
9099 results for Computer Science
An experiment in automatic verification of programs
- G.M. Weinberg
- G.L. Gressett
- 1963
- CACM
ADAM - A problem-oriented symbol processor
- A.P. Mullery
- R.F. Schauer
- et al.
- 1963
- AFIPS Spring Joint Computer Conference 1963
On the Choice of Binary Codes and Thresholds
- C. Freiman
- 1963
- Proceedings of the IEEE
Analysis of Sneak Paths and Sense-Line Distortion in an Improved Capacitor Read-Only Memory
- D.M. Taub
- 1963
- Proceedings of the IEEE
Low-Density-Burst-Correcting Codes
- Aabon D. Wyner
- 1963
- IEEE Trans. Inf. Theory
On the Use of Coset Codes in Asymmetric Channels
- C. Freiman
- 1963
- IEEE Trans. Inf. Theory
A common language for hardware, software, and applications
- Kenneth E. Iverson
- 1962
- AFIPS Fall Joint Computer Conference 1962
The case for cryotronics?
- W.B. Ittner
- 1962
- AFIPS Fall Joint Computer Conference 1962
Logic of English grammar
- Herbert G. Bohnert
- 1962
- CACM