The application of program verification techniques to hardware verification
- John A. Darringer
- 1988
- DAC 1988
Conference paper
Publications
9277 results for Computer Science
Interactive program improvement via EAVE: An expert adviser for vectorization
- Pradip Rose
- 1988
- ICS 1988
Conference paperHierarchical channel router
- Michael Burstein
- Richard Pelavin
- 1988
- DAC 1988
Conference paperThe Yorktown simulation engine
- Monty M. Denneau
- 1988
- DAC 1988
Conference paperSynchronization using counting semaphores
- Vivek Sarkar
- 1988
- ICS 1988
Conference paperDirect backside connection of optical fibers to GaAs detectors
- Robert W. Ade
- Eric R. Fossum
- et al.
- 1989
- Proceedings of SPIE 1989
Conference paperMiniature optics for optical recording
- Glenn T. Sincerbox
- 1989
- Proceedings of SPIE 1989
Conference paperSMOOTHING PERIODIC DATA.
- R.W. Koepcke
- 1988
- Journal of Dynamic Systems, Measurement and Control, Transactions of the ASME
PaperLocalized noise propagation effects in parameter transforms
- Andrea Califano
- Ruud M. Bolle
- 1989
- Proceedings of SPIE 1989
Conference paperAn architecture for boundary-based segmentation
- J.M. Adffel
- J. Sanz
- et al.
- 1989
- Proceedings of SPIE 1989
Conference paper