Publications

9065 results for Computer Science

Verifying deep logic hierarchies with ALEX
- - George M. Koppelman
  - Klim Maling
- 1980
- DAC 1980
Minimizing Expected Head Movement in One-Dimensional and Two-Dimensional Mass Storage Systems
- - C.K. Wong
- 1980
- ACM Computing Surveys (CSUR)
Facsimile image coding
- - Joan L. Mitchell
- 1980
- National Computer Conference AFIPS 1980
Equivalence of free boolean graphs can be decided probabilistically in polynomial time
- - Manuel Blum
  - Ashok K. Chandra
  - et al.
- 1980
- Information Processing Letters
Waiting time in a preemptive resume system with compound-poisson input
- - B. Meister
- 1980
- Computing
A virtual machine emulator for performance evaluation
- - M.D. Canon
  - D.H. Fritz
  - et al.
- 1980
- CACM
Uniform data encodings
- - Arnold L. Rosenberg
  - Larry J. Stockmeyer
  - et al.
- 1980
- Theoretical Computer Science
Complexity of Boolean algebras
- - Dexter Kozen
- 1980
- Theoretical Computer Science
Parallelism and concurrency of graph manipulations
- - Hartmut Ehrig
  - Barry K. Rosen
- 1980
- Theoretical Computer Science
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- - David Harel
- 1980
- Theoretical Computer Science