Showing 8,611 - 8,620 results of 9,877 for search '"Theory"', query time: 0.05s Refine Results
  1. 8611

    An optimality proof of the LRU-K page replacement algorithm. by O'Neil, Elizabeth J.

    Published in Journal of the ACM
    Article

    An optimality proof of the LRU-K page replacement algorithm.
  2. 8612

    Complexity estimates depending on condition and round-off error. by Cucker, Felipe

    Published in Journal of the ACM
    Article

    Complexity estimates depending on condition and round-off error.
  3. 8613

    Relational expressive power of constraint query languages. by Benedikt, Michael

    Published in Journal of the ACM
    Article

    Relational expressive power of constraint query languages.
  4. 8614

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication. by Fekete, Alan

    Published in Journal of the ACM
    Article

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication.
  5. 8615

    Probabilistic checking of proofs a new characterization of NP. by Arora, Sanjeev

    Published in Journal of the ACM
    Article

    Probabilistic checking of proofs a new characterization of NP.
  6. 8616

    Explicit OR-dispersers with polylogarithmic degree. by Saks, Michael

    Published in Journal of the ACM
    Article

    Explicit OR-dispersers with polylogarithmic degree.
  7. 8617

    Theory of neuromata. by íma, Jiří

    Published in Journal of the ACM
    Article

    Theory of neuromata.
  8. 8618

    A new general derandomization method. by Andreev, Alexander E.

    Published in Journal of the ACM
    Article

    A new general derandomization method.
  9. 8619

    Corrigendum Reasoning about knowledge and probability?. by Fagin, Ronald

    Published in Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.
  10. 8620

    Contention in shared memory algorithms. by Dwork, Cynthia

    Published in Journal of the ACM
    Article

    Contention in shared memory algorithms.

Search Tools: