A distributed. abstract data type implemented by a probabilistic communication scheme
- Nissim Franeez
- Michael Rodeh
- 1980
- FOCS 1980
Conference paper
Publications
9296 results for Computer Science
Structure and complexity of relational queries
- Ashok K. Chandra
- David Harel
- 1980
- FOCS 1980
Conference paperProcess logic: Expressiveness, decidability, completeness
- David Harel
- Dexter Kozen
- et al.
- 1980
- FOCS 1980
Conference paperA fast algorithm for multiprocessor scheduling
- Barbara Simons
- 1980
- FOCS 1980
Conference paperComputational algorithms for product form queueing networks
- K. Mani Chandy
- Charles H. Sauer
- 1980
- CACM
PaperA model of shared DASD and multipathing
- Yonathan Bard
- 1980
- CACM
PaperFiber optics for local data networks
- John D. Crow
- Martin W. Sachs
- 1989
- Proceedings of SPIE 1989
Conference paperDesign and fabrication of microelectronic lenses
- R.E. Tibbetts
- J.S. Wilczynski
- 1989
- Proceedings of SPIE 1989
Conference paperNotation as a Tool of Thought
- Kenneth E. Iverson
- 1980
- CACM
PaperOn Folk Theorems
- David Harel
- 1980
- CACM
Paper