Facsimile image coding
- Joan L. Mitchell
- 1980
- National Computer Conference AFIPS 1980
Conference paper
Publications
9293 results for Computer Science
Equivalence of free boolean graphs can be decided probabilistically in polynomial time
- Manuel Blum
- Ashok K. Chandra
- et al.
- 1980
- Information Processing Letters
PaperWaiting time in a preemptive resume system with compound-poisson input
- B. Meister
- 1980
- Computing
PaperA virtual machine emulator for performance evaluation
- M.D. Canon
- D.H. Fritz
- et al.
- 1980
- CACM
PaperProving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- David Harel
- 1980
- Theoretical Computer Science
PaperComplexity of Boolean algebras
- Dexter Kozen
- 1980
- Theoretical Computer Science
PaperGeneration of node lists using segment analysis
- Aspi B. Wadia
- 1980
- Computer Languages
PaperA functional relation and an acceleration procedure for calculating the voltage response of josephson junctions
- W.L Miranker
- K. Bu
- 1980
- Journal of Computational Physics
PaperA new permutation algorithm for bubble memories
- K.M. Chung
- F. Luccio
- et al.
- 1980
- Information Processing Letters
PaperIndexings of subrecursive classes
- Dexter Kozen
- 1980
- Theoretical Computer Science
Paper