Publications

9065 results for Computer Science

Human Factors Studies of Database Query Languages: A Survey and Assessment
- - Phyllis Reisner
- 1981
- ACM Computing Surveys (CSUR)
An elementary proof of the completeness of PDL
- - Dexter Kozen
  - Rohit Parikh
- 1981
- Theoretical Computer Science
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
N-User Trellis Coding for a Class of Multiple-Access Channels
- - Pierre R. Chevillat
- 1981
- IEEE Trans. Inf. Theory
Optimal policies for inventory models with some specified markets and finite time horizon
- - Lineu C. Barbosa
  - Moshe Friedman
- 1981
- EJOR
An Upper Bound on the Ratio of the Probabilities of Subgroups and Cosets
- - Teofilo C. Ancheta
- 1981
- IEEE Trans. Inf. Theory
Register allocation via coloring
- - Gregory J. Chaitin
  - Marc A. Auslander
  - et al.
- 1981
- Computer Languages
Record allocation for minimizing seek delay
- - U.I. Gupta
  - D.T. Lee
  - et al.
- 1981
- Theoretical Computer Science
Modulus division on a two's complement machine
- - Henry S. Warren Jr.
  - A. Shawhan Fox
  - et al.
- 1981
- Information Processing Letters
A note on the existence of continuous functionals
- - J.Lawrence Carter
  - Ronald Fagin
- 1981
- Theoretical Computer Science