Canonical constraints for parameterized data types
- E.G. Wagner
- H. Ehrig
- 1987
- Theoretical Computer Science
Paper
Publications
9297 results for Computer Science
On Coupling Multi-Systems Through Data Sharing
- Philip S. Yu
- Daniel M. Dias
- et al.
- 1987
- Proceedings of the IEEE
PaperA Versatile Camera Calibration Technique for High-Accuracy 3D Machine Vision Metrology Using Off-the-Shelf TV Cameras and Lenses
- Roger Y. Tsai
- 1987
- IEEE Journal on Robotics and Automation
PaperA distributed adaptive routing algorithm
- M.S. Chen
- J.S. Meditch
- 1987
- Computers and Electrical Engineering
PaperImplementation of an element-by-element solution algorithm for the finite element method on a coarse-grained parallel computer
- R.B. King
- V. Sonnad
- 1987
- Comput. Methods Appl. Mech. Eng.
PaperA Direct Method for Solving Linear Systems
- M. Tismenetsky
- 1987
- International Journal of Computer Mathematics
PaperEfficient fault-tolerant routings in networks
- Andrei Broder
- Danny Dolev
- et al.
- 1987
- Information and Computation
PaperA categorical treatment of pre- and post-conditions
- Eric G. Wagner
- 1987
- Theoretical Computer Science
PaperPacket Delay under the Golden Ratio Weighted TDM Policy in a Multiple-Access Channel
- Micha Hofri
- Zvi Rosberg
- 1987
- IEEE Trans. Inf. Theory
PaperEducation in formal methods for software engineering
- John Wordsworth
- 1987
- Information and Software Technology
Paper