Semantics of probabilistic programs
- Dexter Kozen
- 1979
- FOCS 1979
Publications
9099 results for Computer Science
New classes and applications of hash functions
- Mark N. Wegman
- J. Lawrence Carter
- 1979
- FOCS 1979
A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality
- Bengt Aspvall
- Yossi Shiloach
- 1979
- FOCS 1979
Field extension and trilinear aggregating, uniting and canceling for the acceleration of matrix multiplications
- V. Ya. Pan
- 1979
- FOCS 1979
Computational complexity in algebraic function fields
- Nicholas Pippenger
- 1979
- FOCS 1979
On simultaneous resource bounds
- Nicholas Pippenger
- 1979
- FOCS 1979
An Algorithm for Planning Collision-Free Paths Among Polyhedral Obstacles
- Tomás Lozano-Pérez
- Michael A. Wesley
- 1979
- CACM
Hierarchical relaxation
- W.L. Miranker
- 1979
- Computing
Computing Connected Components on Parallel Computers
- D.S. Hirschberg
- A.K. Chandra
- et al.
- 1979
- CACM
Implicit computation of synchronization primitives
- Richard A. De Millo
- Raymond E. Miller
- 1979
- Information Processing Letters