Publications

9074 results for Computer Science

Generalizing active zones for set-theoretic solid models
- - A.R. Halbert
  - S.J.P. Todd
  - et al.
- 1989
- Computer Journal
Reasoning about procedures as parameters in the language L4
- - Steven M. German
  - Edmund M. Clarke
  - et al.
- 1989
- Information and Computation
Excerpts from the IFIP newsletter
- - Jack L. Rosenfeld
- 1989
- Computers In Industry
In situ measurements of corona poling induced SHG in amorphous polymers
- - Manfred Eich
  - Ayusman Sen
  - et al.
- 1989
- Proceedings of SPIE 1989
Two normal incidence collimators designed for the calibration of the extreme ultraviolet explorer
- - Sharon R. Jelinsky
  - Barry Welsh
  - et al.
- 1989
- Proceedings of SPIE 1989
Focussed excimer laser beams: A technique for selective micropatterning
- - Jean M. Hagerhorst
  - Modest M. Oprysko
- 1988
- SPIE OE/LASE 1988
Electrical Considerations for Interconnections Inside a Computer
- - G. Arjavalingam
  - Barry J. Rubin
- 1988
- SPIE OE/LASE 1988
Invited paper electrical considerations for interconnections inside a computer
- - G. Arjavalingam
  - Barry J. Rubin
- 1989
- Proceedings of SPIE 1989
Analyzing VM Performance: A Worksheet Based Approach
- - Robert Berry
  - Joseph Hellerstein
- 1988
- CMG 1988
What's-Different Analysis and its Application to Performance Management in VM SP/HPO
- - Joseph Hellerstein
- 1988
- CMG 1988