A Direct Method for Solving Linear Systems
- M. Tismenetsky
- 1987
- International Journal of Computer Mathematics
Paper
Publications
9296 results for Computer Science
Education in formal methods for software engineering
- John Wordsworth
- 1987
- Information and Software Technology
PaperThe complementation problem for Büchi automata with applications to temporal logic
- A. Prasad Sistla
- Moshe Y. Vardi
- et al.
- 1987
- Theoretical Computer Science
PaperEfficient fault-tolerant routings in networks
- Andrei Broder
- Danny Dolev
- et al.
- 1987
- Information and Computation
PaperA distributed adaptive routing algorithm
- M.S. Chen
- J.S. Meditch
- 1987
- Computers and Electrical Engineering
PaperA new look at fault-tolerant network routing
- Danny Dolev
- Joseph Y. Halpern
- 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
PaperOn Coupling Multi-Systems Through Data Sharing
- Philip S. Yu
- Daniel M. Dias
- et al.
- 1987
- Proceedings of the IEEE
PaperOn Codes with Spectral Nulls at Rational Submultiples of the Symbol Frequency
- Brian H. Marcus
- Paul H. Siegel
- 1987
- IEEE Trans. Inf. Theory
PaperRemarks on the convergence of waveform relaxation method
- Olavi Nevanlinna
- F. Odeh
- 1987
- Numerical Functional Analysis and Optimization
Paper