Publications

9066 results for Computer Science

Composing Letters with a Simulated Listening Typewriter
- - John D. Gould
  - John Conti
  - et al.
- 1983
- CACM
Interactive program execution in lispedit
- - Martin Mikelsons
- 1983
- Software Engineering Symposium on High-Level Debugging 1983
High level language debugging with a compiler preliminary draft
- - Jeanne Ferrante
- 1983
- Software Engineering Symposium on High-Level Debugging 1983
Armstrong databases for functional and inclusion dependencies
- - Ronald Fagin
  - Moshe Y. Vardi
- 1983
- Information Processing Letters
Electron-Beam Systems for Precision Micron and Submicron Lithography
- - Alan D. Wilson
- 1983
- Proceedings of the IEEE
Digital Processing for Improvement of Ultrasonic Abdominal Images
- - C.N. Liu
  - Mostafa Fatemi
  - et al.
- 1983
- IEEE T-MI
Algorithms for Sliding Block Codes: An Application of Symbolic Dynamics to Information Theory
- - Roy L. Adler
  - Don Coppersmith
  - et al.
- 1983
- IEEE Trans. Inf. Theory
Parameter passing in algebraic specification languages
- - Hartmut Ehrig
  - Hans-Jörg Kreowski
  - et al.
- 1983
- Theoretical Computer Science
A congestion control scheme for window flow controlled computer networks
- - Parviz Kermani
  - Kadaba Bharath-Kumar
- 1983
- Computers and Electrical Engineering
A Universal Data Compression System
- - Jorma Rissanen
- 1983
- IEEE Trans. Inf. Theory