Publications

9067 results for Computer Science

Information and artifact in second-order statistics from computed tomography (ct) images
- - Andre J. Duerinckx
  - Albert Macovski
- 1989
- Proceedings of SPIE 1989
The application of program verification techniques to hardware verification
- - John A. Darringer
- 1979
- DAC 1979
Symbolic simulation for correct machine design
- - William C. Carter
  - William H. Joyner
  - et al.
- 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
A semantically meaningful characterization of reducible flowchart schemes
- - Calvin C. Elgot
  - John C. Shepherdson
- 1979
- Theoretical Computer Science
Direct solution of the equation for the Stokes stream function
- - G.H. Golub
  - W.E. Langlois
- 1979
- Comput. Methods Appl. Mech. Eng.
New Bounds to R(D) for Additive Sources and Applications to Image Encoding
- - David J. Sakrison
- 1979
- IEEE Trans. Inf. Theory