A semantically meaningful characterization of reducible flowchart schemes
- Calvin C. Elgot
- John C. Shepherdson
- 1979
- Theoretical Computer Science
Paper
Publications
9296 results for Computer Science
A numerical solution of a model for a superconductor field problem
- L.E Alsop
- A.S Goodman
- et al.
- 1979
- Journal of Computational Physics
PaperDirect solution of the equation for the Stokes stream function
- G.H. Golub
- W.E. Langlois
- 1979
- Comput. Methods Appl. Mech. Eng.
PaperNew Bounds to R(D) for Additive Sources and Applications to Image Encoding
- David J. Sakrison
- 1979
- IEEE Trans. Inf. Theory
PaperInterpretation of query-by-example language in bubble hardware language
- Hsu Chang
- 1978
- ACM Annual Conference 1978
Conference paperVariance reduction techniques
- Stephen S. Lavenberg
- Peter D. Welch
- 1978
- WSC 1978
Conference paperComplexity of computations
- Shmuel Winograd
- 1978
- ACM Annual Conference 1978
Conference paperClasses of pebble games and complete problems
- T. Kasai
- A. Adachi
- et al.
- 1978
- ACM Annual Conference 1978
Conference paperMulti-level locking with deadlock avoidance
- David B. Lomet
- 1978
- ACM Annual Conference 1978
Conference paperAn input system designed to aid users of interactive graphics
- Bernard C. Levrat
- Jurgen Harms
- et al.
- 1978
- ACM Annual Conference 1978
Conference paper