Correctness of parallel programs: The Church-Rosser approach
- Barry K Rosen
- 1976
- Theoretical Computer Science
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
8891 results for Computer Science
The polynomial-time hierarchy
- Larry J. Stockmeyer
- 1976
- Theoretical Computer Science
Efficient analysis of molecular dynamics data
- T.R Koehler
- P.A Lee
- 1976
- Journal of Computational Physics
Dataplan: An interface generator for database semantics
- Tosiyasu L. Kunii
- 1976
- Information Sciences
Hydrodynamics of neurons
- W.E. Langlois
- Lee Ki-Jun
- 1976
- Comput. Methods Appl. Mech. Eng.
Continuous Speech Recognition by Statistical Methods
- Frederick Jelinek
- 1976
- Proceedings of the IEEE
Information-theoretic characterizations of recursive infinite strings
- Gregory J. Chaitin
- 1976
- Theoretical Computer Science
Approximate algorithms for some generalized knapsack problems
- Ashok K. Chandra
- D.S. Hirschberg
- et al.
- 1976
- Theoretical Computer Science
Two fast simulations which imply some fast string matching and palindrome-recognition algorithms
- Zvi Galil
- 1976
- Information Processing Letters
Queueing analysis of general loop systems
- B. Meister
- 1975
- Computing