Publications

9287 results for Computer Science

Conservative differencing procedures for rotationally symmetric flow with swirl
- - W.E. Langlois
- 1981
- Comput. Methods Appl. Mech. Eng.
Paper
Optimal policies for inventory models with some specified markets and finite time horizon
- - Lineu C. Barbosa
  - Moshe Friedman
- 1981
- EJOR
Paper
A Probability Model for Simple Closed Random Curves
- - Dimitris Anastassiou
  - David J. Sakrison
- 1981
- IEEE Trans. Inf. Theory
Paper
On the total correctness of nondeterministic programs
- - David Harel
- 1981
- Theoretical Computer Science
Paper
N-User Trellis Coding for a Class of Multiple-Access Channels
- - Pierre R. Chevillat
- 1981
- IEEE Trans. Inf. Theory
Paper
An elementary proof of the completeness of PDL
- - Dexter Kozen
  - Rohit Parikh
- 1981
- Theoretical Computer Science
Paper
A note on the existence of continuous functionals
- - J.Lawrence Carter
  - Ronald Fagin
- 1981
- Theoretical Computer Science
Paper
Register allocation via coloring
- - Gregory J. Chaitin
  - Marc A. Auslander
  - et al.
- 1981
- Computer Languages
Paper
An Upper Bound on the Ratio of the Probabilities of Subgroups and Cosets
- - Teofilo C. Ancheta
- 1981
- IEEE Trans. Inf. Theory
Paper
Computing eigenvalues of very large symmetric matrices-An implementation of a Lanczos algorithm with no reorthogonalization
- - Jane Cullum
  - Ralph A Willoughby
- 1981
- Journal of Computational Physics
Paper