Publications

9074 results for Computer Science

High- density frequency- domain optical recording
- - W. Lenth
  - R.M. MacFarlane
  - et al.
- 1989
- Proceedings of SPIE 1989
Measurement and modeling of optical disk noise
- - A.G. Dewey
- 1986
- SPIE Annual Technical Symposium 1986
Remarks on the convergence of waveform relaxation method
- - Olavi Nevanlinna
  - F. Odeh
- 1987
- Numerical Functional Analysis and Optimization
The complementation problem for Büchi automata with applications to temporal logic
- - A. Prasad Sistla
  - Moshe Y. Vardi
  - et al.
- 1987
- Theoretical Computer Science
Education in formal methods for software engineering
- - John Wordsworth
- 1987
- Information and Software Technology
A distributed adaptive routing algorithm
- - M.S. Chen
  - J.S. Meditch
- 1987
- Computers and Electrical Engineering
The generalized packet routing problem
- - David Peleg
  - Eli Upfal
- 1987
- Theoretical Computer Science
A Direct Method for Solving Linear Systems
- - M. Tismenetsky
- 1987
- International Journal of Computer Mathematics
Efficient fault-tolerant routings in networks
- - Andrei Broder
  - Danny Dolev
  - et al.
- 1987
- Information and Computation
On Codes with Spectral Nulls at Rational Submultiples of the Symbol Frequency
- - Brian H. Marcus
  - Paul H. Siegel
- 1987
- IEEE Trans. Inf. Theory