A categorical treatment of pre- and post-conditions
- Eric G. Wagner
- 1987
- Theoretical Computer Science
Paper
Publications
9268 results for Computer Science
A new look at fault-tolerant network routing
- Danny Dolev
- Joseph Y. Halpern
- et al.
- 1987
- Information and Computation
PaperRemarks on the convergence of waveform relaxation method
- Olavi Nevanlinna
- F. Odeh
- 1987
- Numerical Functional Analysis and Optimization
PaperA Note on the Shannon Capacity of Runlength-Limited Codes
- Jonathan J. Ashley
- Paul H. Siegel
- 1987
- IEEE Trans. Inf. Theory
PaperThe complementation problem for Büchi automata with applications to temporal logic
- A. Prasad Sistla
- Moshe Y. Vardi
- et al.
- 1987
- Theoretical Computer Science
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.
PaperOn Coupling Multi-Systems Through Data Sharing
- Philip S. Yu
- Daniel M. Dias
- et al.
- 1987
- Proceedings of the IEEE
PaperCanonical constraints for parameterized data types
- E.G. Wagner
- H. Ehrig
- 1987
- Theoretical Computer Science
PaperDYNAMIC TREE DETECTION IN COMPUTER NETWORKS.
- Israel Cidon
- I.S. Gopal
- 1986
- INFOCOM 1986
Conference paperEFFECTIVE CONCURRENT RECOVERY MECHANISMS FOR SOFT ERRORS IN MINs.
- Bharat Deep Rathi
- Miroslaw Malek
- et al.
- 1986
- HICSS 1986
Conference paper