Education in formal methods for software engineering
- John Wordsworth
- 1987
- Information and Software Technology
Paper
Publications
9268 results for Computer Science
Packet Delay under the Golden Ratio Weighted TDM Policy in a Multiple-Access Channel
- Micha Hofri
- Zvi Rosberg
- 1987
- IEEE Trans. Inf. Theory
PaperThe generalized packet routing problem
- David Peleg
- Eli Upfal
- 1987
- Theoretical Computer Science
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
PaperEfficient fault-tolerant routings in networks
- Andrei Broder
- Danny Dolev
- et al.
- 1987
- Information and Computation
PaperIntertask Communications in an Integrated Multirobot System
- Kang G. Shin
- Mark E. Epstein
- 1987
- IEEE Journal on Robotics and Automation
PaperInterface design issues for advice-giving expert systems
- John M. Carroll
- Jean McKendree
- 1987
- CACM
PaperOn Codes with Spectral Nulls at Rational Submultiples of the Symbol Frequency
- Brian H. Marcus
- Paul H. Siegel
- 1987
- IEEE Trans. Inf. Theory
PaperErasures and Noise in Splitting Multiple Access Algorithms
- Israel Cidon
- Moshe Sidi
- 1987
- IEEE Trans. Inf. Theory
PaperA Direct Method for Solving Linear Systems
- M. Tismenetsky
- 1987
- International Journal of Computer Mathematics
Paper