Publications

9077 results for Computer Science

The Yorktown simulation engine
- - Monty M. Denneau
- 1988
- DAC 1988
The application of program verification techniques to hardware verification
- - John A. Darringer
- 1988
- DAC 1988
Generating sequential code from parallel code
- - Jeanne Ferrante
  - Mary Mace
  - et al.
- 1988
- ICS 1988
Hierarchical channel router
- - Michael Burstein
  - Richard Pelavin
- 1988
- DAC 1988
Interactive program improvement via EAVE: An expert adviser for vectorization
- - Pradip Rose
- 1988
- ICS 1988
Direct backside connection of optical fibers to GaAs detectors
- - Robert W. Ade
  - Eric R. Fossum
  - et al.
- 1989
- Proceedings of SPIE 1989
Miniature optics for optical recording
- - Glenn T. Sincerbox
- 1989
- Proceedings of SPIE 1989
SMOOTHING PERIODIC DATA.
- - R.W. Koepcke
- 1988
- Journal of Dynamic Systems, Measurement and Control, Transactions of the ASME
An architecture for boundary-based segmentation
- - J.M. Adffel
  - J. Sanz
  - et al.
- 1989
- Proceedings of SPIE 1989
Localized noise propagation effects in parameter transforms
- - Andrea Califano
  - Ruud M. Bolle
- 1989
- Proceedings of SPIE 1989