John Cocke

Publication Activity (10 Years)

Years Active: 1959-2000
Publications (10 Years): 0

Publications

John Cocke, Victoria Markstein
The evolution of RISC technology at IBM. IBM J. Res. Dev. 44 (1) (2000)
Harold S. Stone, John Cocke
Computer Architecture in the 1990s. Computer 24 (9) (1991)
Peter F. Brown, John Cocke, Stephen Della Pietra, Vincent J. Della Pietra, Frederick Jelinek, John D. Lafferty, Robert L. Mercer, Paul S. Roossin
A Statistical Approach to Machine Translation. Comput. Linguistics 16 (2) (1990)
John Cocke, Victoria Markstein
The Evolution of RISC Technology at IBM. IBM J. Res. Dev. 34 (1) (1990)
T. Fujisaki, Frederick Jelinek, John Cocke, E. Black, T. Nishino
Probabilistic Parsing Method for Sentence Disambiguation. IWPT (1989)
Peter F. Brown, John Cocke, Stephen Della Pietra, Vincent J. Della Pietra, Frederick Jelinek, Robert L. Mercer, Paul S. Roossin
A statistical approach to language translation. COLING (1988)
Peter F. Brown, John Cocke, Stephen Della Pietra, Vincent J. Della Pietra, Frederick Jelinek, Robert L. Mercer, Paul S. Roossin
A Statistical Approach to French/English Translation. RIAO (1988)
David Callahan, John Cocke, Ken Kennedy
Estimating Interlock and Improving Balance for Pipelined Architectures. J. Parallel Distributed Comput. 5 (4) (1988)
John Cocke
The Search for Performance in Scientific Processors (Turing Award Lecture). Commun. ACM 31 (3) (1988)
David Callahan, Ken Kennedy, John Cocke
Estimating Interlock and Improving Balance for Pipelined Architectures. ICPP (1987)
Victoria Markstein, John Cocke, Peter W. Markstein
Optimization of Range Checking. SIGPLAN Symposium on Compiler Construction (1982)
Victoria Markstein, Peter W. Markstein, John Cocke
Optimization of range checking (with retrospective) Best of PLDI (1982)
Gregory J. Chaitin, Marc A. Auslander, Ashok K. Chandra, John Cocke, Martin E. Hopkins, Peter W. Markstein
Register Allocation Via Coloring. Comput. Lang. 6 (1) (1981)
John Cocke, Peter W. Markstein
Measurement of Programming Improvement Algorithms. IFIP Congress (1980)
John Cocke, Peter W. Markstein
Communication: Strenght Reduction for Division and Modulo with Application to Accessing a Multilevel Store. IBM J. Res. Dev. 24 (6) (1980)
John Cocke, Ken Kennedy
An Algorithm for Reduction of Operator Strength. Commun. ACM 20 (11) (1977)
Frances E. Allen, John Cocke
A Program Data Flow Analysis Procedure. Commun. ACM 19 (3) (1976)
Lalit R. Bahl, John Cocke, Frederick Jelinek, Josef Raviv
Optimal decoding of linear codes for minimizing symbol error rate (Corresp.). IEEE Trans. Inf. Theory 20 (2) (1974)
Raymond E. Miller, John Cocke
Configurable computers: a new class of general purpose machines. International Sympoisum on Theoretical Programming (1972)
Frederick Jelinek, John Cocke
Bootstrap Hybrid Decoding for Symmetrical Binary Input Channels Inf. Control. 18 (3) (1971)
John Cocke
Global common subexpression elimination. Symposium on Compiler Optimization (1970)
John Cocke, Marvin Minsky
Universality of Tag Systems with P=2. J. ACM 11 (1) (1964)
John Cocke
Lossless symbol coding with nonprimes (Corresp.). IRE Trans. Inf. Theory 5 (1) (1959)
John Cocke, Harwood G. Kolsky
The virtual memory in the STRETCH computer. IRE-AIEE-ACM Computer Conference (Eastern) (1959)