The application of program verification techniques to hardware verification
- John A. Darringer
- 1979
- DAC 1979
Conference paper
Publications
9296 results for Computer Science
Symbolic simulation for correct machine design
- William C. Carter
- William H. Joyner
- et al.
- 1979
- DAC 1979
Conference paperA note on paths embedded in trees
- Arnold L. Rosenberg
- 1979
- Information Processing Letters
PaperApproximation by circles
- T.J. Rivlin
- 1979
- Computing
PaperTwo results on process logic
- David Harel
- 1979
- Information Processing Letters
PaperA Methodology for the Design of Distributed Information Systems
- Giacomo Bucci
- Donald N. Streeter
- 1979
- CACM
PaperOn multiplication in algebraic extension fields
- S. Winograd
- 1979
- Theoretical Computer Science
PaperThe psychological study of design
- John C. Thomas
- John M. Carroll
- 1979
- Design Studies
PaperThe History of FORTRAN I, II, and III
- John Backus
- 1979
- Annals of the History of Computing
PaperThe impact of distributions and disciplines on multiple processor systems
- Charles H. Sauer
- K. Mani Chandy
- 1979
- CACM
Paper