A new look at logic synthesis
- John A. Darringer
- William H. Joyner
- 1980
- DAC 1980
Conference paper
Publications
9296 results for Computer Science
Verifying deep logic hierarchies with ALEX
- George M. Koppelman
- Klim Maling
- 1980
- DAC 1980
Conference paperMinimizing Expected Head Movement in One-Dimensional and Two-Dimensional Mass Storage Systems
- C.K. Wong
- 1980
- ACM Computing Surveys (CSUR)
PaperFacsimile image coding
- Joan L. Mitchell
- 1980
- National Computer Conference AFIPS 1980
Conference paperEquivalence 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
PaperIntegration of algorithmic aids into decision support systems
- L.C. Barbosa
- R. Hirko
- 1980
- MIS Quarterly: Management Information Systems
PaperGeneration of node lists using segment analysis
- Aspi B. Wadia
- 1980
- Computer Languages
PaperProving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- David Harel
- 1980
- Theoretical Computer Science
Paper