Universality of Tag Systems with P = 2
- John Cocke
- Marvin Minsky
- 1964
- Journal of the ACM
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
10 results for J. Cocke
Optimal Decoding of Linear Codes for Minimizing Symbol Error Rate
- L.R. Bahl
- J. Cocke
- et al.
- 1974
- IEEE Trans. Inf. Theory
Optimization of range checking
- Victoria Markstein
- John Cocke
- et al.
- 1982
- SIGPLAN Symposium on Compiler Construction 1982
Optimization of range checking
- Victoria Markstein
- John Cocke
- et al.
- 1982
- ACM SIGPLAN Notices
An Algorithm for Reduction of Operator Strength
- John Cocke
- Ken Kennedy
- 1977
- CACM
A Program Data Flow Analysis Procedure
- F.E. Allen
- J. Cocke
- 1976
- CACM
A novel, high performance, low mass disk head actuator
- M.O. Thompson
- T.K. Worthington
- et al.
- 1983
- IEEE Transactions on Magnetics
Register allocation via coloring
- Gregory J. Chaitin
- Marc A. Auslander
- et al.
- 1981
- Computer Languages
Active Transformers for Off-Hook Sensing in Telephone Applications
- Christopher H. Bajorek
- David A. Thompson
- et al.
- 1978
- IEEE Transactions on Magnetics
Profitability computations on program flow graphs
- John Cocke
- Ken Kennedy
- 1976
- Computers and Mathematics with Applications