Implicit computation of synchronization primitives
- Richard A. De Millo
- Raymond E. Miller
- 1979
- Information Processing Letters
Publications
9280 results for Computer Science
Portable conformable mask—A hybrid near-ultraviolet and deep-ultraviolet patterning technique
- B.J. Lin
- 1989
- Proceedings of SPIE 1989
Frequency domain storage
- D. Haarer
- 1989
- Proceedings of SPIE 1989
Information and artifact in second-order statistics from computed tomography (ct) images
- Andre J. Duerinckx
- Albert Macovski
- 1989
- Proceedings of SPIE 1989
Symbolic simulation for correct machine design
- William C. Carter
- William H. Joyner
- et al.
- 1979
- DAC 1979
The application of program verification techniques to hardware verification
- John A. Darringer
- 1979
- DAC 1979
A note on paths embedded in trees
- Arnold L. Rosenberg
- 1979
- Information Processing Letters
Approximation by circles
- T.J. Rivlin
- 1979
- Computing
Two results on process logic
- David Harel
- 1979
- Information Processing Letters
A Methodology for the Design of Distributed Information Systems
- Giacomo Bucci
- Donald N. Streeter
- 1979
- CACM