Garbarge collection for Prolog based on WAM
- Karen Appleby
- Mats Carllson
- et al.
- 1988
- CACM
Publications
9280 results for Computer Science
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
Synchronization using counting semaphores
- Vivek Sarkar
- 1988
- ICS 1988
A framework for determining useful parallelism
- Frances Allen
- Michael Burke
- et al.
- 1988
- ICS 1988
Generating sequential code from parallel code
- Jeanne Ferrante
- Mary Mace
- et al.
- 1988
- ICS 1988
The application of program verification techniques to hardware verification
- John A. Darringer
- 1988
- DAC 1988
The Yorktown simulation engine
- Monty M. Denneau
- 1988
- DAC 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