Remarks on the convergence of waveform relaxation method
- Olavi Nevanlinna
- F. Odeh
- 1987
- Numerical Functional Analysis and Optimization
Publications
9082 results for Computer Science
On fault tolerant routings in general networks
- David Peleg
- Barbara Simons
- 1987
- Information and Computation
Education in formal methods for software engineering
- John Wordsworth
- 1987
- Information and Software Technology
Efficient fault-tolerant routings in networks
- Andrei Broder
- Danny Dolev
- et al.
- 1987
- Information and Computation
On Coupling Multi-Systems Through Data Sharing
- Philip S. Yu
- Daniel M. Dias
- et al.
- 1987
- Proceedings of the IEEE
A new look at fault-tolerant network routing
- Danny Dolev
- Joseph Y. Halpern
- et al.
- 1987
- Information and Computation
Packet Delay under the Golden Ratio Weighted TDM Policy in a Multiple-Access Channel
- Micha Hofri
- Zvi Rosberg
- 1987
- IEEE Trans. Inf. Theory
The complementation problem for Büchi automata with applications to temporal logic
- A. Prasad Sistla
- Moshe Y. Vardi
- et al.
- 1987
- Theoretical Computer Science
A Note on the Shannon Capacity of Runlength-Limited Codes
- Jonathan J. Ashley
- Paul H. Siegel
- 1987
- IEEE Trans. Inf. Theory
Erasures and Noise in Splitting Multiple Access Algorithms
- Israel Cidon
- Moshe Sidi
- 1987
- IEEE Trans. Inf. Theory