An Encoding Method for Multifield Sorting and Indexing
- Michael W. Blasgen
- Richard G. Casey
- et al.
- 1977
- CACM
Publications
9279 results for Computer Science
An Algorithm for Reduction of Operator Strength
- John Cocke
- Ken Kennedy
- 1977
- CACM
A Very High Level Programming Language for Data Processing Applications
- Michael Hammer
- W. Gerry Howe
- et al.
- 1977
- CACM
Precise bounds for presburger arithmetic and the reals with addition: Preliminary report
- Leonard Berman
- 1977
- FOCS 1977
Lower bounds for natural proof systems
- Dexter Kozen
- 1977
- FOCS 1977
Techniques of measurement of the polarization-altering properties of linear optical systems
- P.S. Hauge
- 1989
- Proceedings of SPIE 1989
Techniques of measurement of the polarization-altering properties of linear optical systems
- P.S. Hauge
- 1977
- SPIE Industrial and Civil Applications of Infrared Technology 1977
High-level data flow analysis
- Barry K. Rosen
- 1977
- CACM
Motorneurons of different geometry and the size principle
- R.D. Traub
- 1977
- Biological Cybernetics
A model of a human neuromuscular system for small isometric tensions
- R.D. Traub
- 1977
- Biological Cybernetics