Correctness of parallel programs: The Church-Rosser approach
- Barry K Rosen
- 1976
- Theoretical Computer Science
Publications
9286 results for Computer Science
Approximate algorithms for some generalized knapsack problems
- Ashok K. Chandra
- D.S. Hirschberg
- et al.
- 1976
- Theoretical Computer Science
Continuous Speech Recognition by Statistical Methods
- Frederick Jelinek
- 1976
- Proceedings of the IEEE
The polynomial-time hierarchy
- Larry J. Stockmeyer
- 1976
- Theoretical Computer Science
Queueing analysis of general loop systems
- B. Meister
- 1975
- Computing
Sharing data and services in a virtual machine system
- J.D. Bagley
- E.R. Floto
- et al.
- 1975
- SOSP 1975
A Note on the Set Basis Problem Related to the Compaction of Character Sets
- Lawrence T. Kou
- C.K. Wong
- 1975
- CACM
Specifying Queries as Relational Expressions: The SQUARE Data Sublanguage
- Raymond F. Boyce
- Donald D. Chamberlin
- et al.
- 1975
- CACM
Performance measurement and data base design
- Alfonso P. Cardenas
- Larry F. Bowman
- et al.
- 1975
- ACM Annual Conference 1975
The SCRATCHPAD system
- James H. Griesmer
- Richard D. Jenks
- 1975
- ACM Annual Conference 1975