Publications

9066 results for Computer Science

A Program Data Flow Analysis Procedure
- - F.E. Allen
  - J. Cocke
- 1976
- CACM
CODASYL Data-Base Management Systems
- - Robert W. Taylor
  - Randall L. Frank
- 1976
- ACM Computing Surveys (CSUR)
A Fast Division Technique for Constant Divisors
- - Ehud Artzy
  - James A. Hinds
  - et al.
- 1976
- CACM
A Counterintuitive Example of Computer Paging
- - Ronald Fagin
- 1976
- CACM
Dataplan: An interface generator for database semantics
- - Tosiyasu L. Kunii
- 1976
- Information Sciences
Information-theoretic characterizations of recursive infinite strings
- - Gregory J. Chaitin
- 1976
- Theoretical Computer Science
The polynomial-time hierarchy
- - Larry J. Stockmeyer
- 1976
- Theoretical Computer Science
Correctness of parallel programs: The Church-Rosser approach
- - Barry K Rosen
- 1976
- Theoretical Computer Science
Approximate algorithms for some generalized knapsack problems
- - Ashok K. Chandra
  - D.S. Hirschberg
  - et al.
- 1976
- Theoretical Computer Science
Hydrodynamics of neurons
- - W.E. Langlois
  - Lee Ki-Jun
- 1976
- Comput. Methods Appl. Mech. Eng.