Publications

9068 results for Computer Science

Conservative differencing procedures for rotationally symmetric flow with swirl
- - W.E. Langlois
- 1981
- Comput. Methods Appl. Mech. Eng.
Parsing for structural editors
- - Mark Wegman
- 1980
- FOCS 1980
Process logic: Expressiveness, decidability, completeness
- - David Harel
  - Dexter Kozen
  - et al.
- 1980
- FOCS 1980
A fast algorithm for multiprocessor scheduling
- - Barbara Simons
- 1980
- FOCS 1980
Structure and complexity of relational queries
- - Ashok K. Chandra
  - David Harel
- 1980
- FOCS 1980
A distributed. abstract data type implemented by a probabilistic communication scheme
- - Nissim Franeez
  - Michael Rodeh
- 1980
- FOCS 1980
A model of shared DASD and multipathing
- - Yonathan Bard
- 1980
- CACM
Computational algorithms for product form queueing networks
- - K. Mani Chandy
  - Charles H. Sauer
- 1980
- CACM
Fiber optics for local data networks
- - John D. Crow
  - Martin W. Sachs
- 1989
- Proceedings of SPIE 1989
Design and fabrication of microelectronic lenses
- - R.E. Tibbetts
  - J.S. Wilczynski
- 1989
- Proceedings of SPIE 1989