Record allocation for minimizing seek delay
- U.I. Gupta
- D.T. Lee
- et al.
- 1981
- Theoretical Computer Science
Paper
Publications
9293 results for Computer Science
On the total correctness of nondeterministic programs
- David Harel
- 1981
- Theoretical Computer Science
PaperModulus division on a two's complement machine
- Henry S. Warren Jr.
- A. Shawhan Fox
- et al.
- 1981
- Information Processing Letters
PaperJosephson LSI circuits
- S.M. Faris
- 1981
- IEEE Circuits and Systems Magazine
PaperAn elementary proof of the completeness of PDL
- Dexter Kozen
- Rohit Parikh
- 1981
- Theoretical Computer Science
PaperAn Upper Bound on the Ratio of the Probabilities of Subgroups and Cosets
- Teofilo C. Ancheta
- 1981
- IEEE Trans. Inf. Theory
PaperA distributed. abstract data type implemented by a probabilistic communication scheme
- Nissim Franeez
- Michael Rodeh
- 1980
- FOCS 1980
Conference paperA fast algorithm for multiprocessor scheduling
- Barbara Simons
- 1980
- FOCS 1980
Conference paperParsing for structural editors
- 1980
- FOCS 1980
Conference paperStructure and complexity of relational queries
- Ashok K. Chandra
- David Harel
- 1980
- FOCS 1980
Conference paper