Showing 21 - 30 results of 81 for search '"Journal of the ACM"', query time: 0.02s Refine Results
  1. 21

    Software reliability via run-time result-checking. by Wasserman, Hal

    Published in Journal of the ACM
    Article

    Software reliability via run-time result-checking.
  2. 22

    Compositional refinement of interactive systems. by Broy, Manfred

    Published in Journal of the ACM
    Article

    Compositional refinement of interactive systems.
  3. 23

    Applications of a logic of knowledge to motion planning under uncertainty. by Brafman, Ronen I.

    Published in Journal of the ACM
    Article

    Applications of a logic of knowledge to motion planning under uncertainty.
  4. 24

    Sparsification-a technique for speeding up dynamic graph algorithms. by Eppstein, David

    Published in Journal of the ACM
    Article

    Sparsification-a technique for speeding up dynamic graph algorithms.
  5. 25

    Learning to reason. by Khardon, Roni

    Published in Journal of the ACM
    Article

    Learning to reason.
  6. 26

    How much can hardware help routing?. by Borodin, Allan

    Published in Journal of the ACM
    Article

    How much can hardware help routing?.
  7. 27

    Time-work tradeoffs for parallel algorithms. by Spencer, Thomas H.

    Published in Journal of the ACM
    Article

    Time-work tradeoffs for parallel algorithms.
  8. 28

    Polynomial-time data reduction for dominating set. by Alber, Jochen

    Published in Journal of the ACM
    Article

    Polynomial-time data reduction for dominating set.
  9. 29

    Smoothed analysis of algorithms Why the simplex algorithm usually takes polynomial time. by Spielman, Daniel A.

    Published in Journal of the ACM
    Article

    Smoothed analysis of algorithms Why the simplex algorithm usually takes polynomial time.
  10. 30

    Lower bounds on the bounded coefficient complexity of bilinear maps. by Bürgisser, Peter

    Published in Journal of the ACM
    Article

    Lower bounds on the bounded coefficient complexity of bilinear maps.

Search Tools: