A boundary between decidability and undecidability for parallel program schemata
- Raymond E. Miller
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paper
Publications
9293 results for Computer Science
Formal development of correct algorithms: An example based on Earley's recogniser
- C.B. Jones
- 1972
- ACM Conference on Proving Assertions about Programs 1972
Conference paperBounds on the weighted path length of binary trees
- J. Nievergelt
- J. Pradels
- et al.
- 1972
- Information Processing Letters
PaperLinear Sequential Pattern Classification
- S.E. Smith
- S.S. Yau
- 1972
- IEEE Trans. Inf. Theory
PaperLarge-scale numerical simulation in semiconductor device modelling
- M. Reiser
- 1972
- Comput. Methods Appl. Mech. Eng.
PaperGrid coding: A novel technique for image processing
- Peter M. Will
- Keith S. Pennington
- 1972
- Proceedings of the IEEE
PaperContinuous-time state estimation under disturbances bounded by convex sets
- Felix M. Schlaepfer
- Fred C. Schweppe
- 1972
- IEEE TACON
PaperReconstruction of patterns by block-projection
- C.K. Wong
- P.C. Yue
- 1972
- Information Sciences
PaperA note comparing the root condition and the resolvent condition
- W.L. Miranker
- M. Goldberg
- 1972
- Information Sciences
PaperAn Efficient Algorithm for Computing Free Distance
- L.R. Bahl
- C.D. Cullum
- et al.
- 1972
- IEEE Trans. Inf. Theory
Paper