Mostrando 921 - 930 Resultados de 1,827 Para Buscar '"Algorithm"', tiempo de consulta: 0.02s Limitar resultados
  1. 921

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

    Publicado en Journal of the ACM
    Artículo

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

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

    Publicado en Journal of the ACM
    Artículo

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

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

    Publicado en Journal of the ACM
    Artículo

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication.
  4. 924

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

    Publicado en Journal of the ACM
    Artículo

    Probabilistic checking of proofs a new characterization of NP.
  5. 925

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

    Publicado en Journal of the ACM
    Artículo

    Explicit OR-dispersers with polylogarithmic degree.
  6. 926

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

    Publicado en Journal of the ACM
    Artículo

    A new general derandomization method.
  7. 927

    Contention in shared memory algorithms. por Dwork, Cynthia

    Publicado en Journal of the ACM
    Artículo

    Contention in shared memory algorithms.
  8. 928

    Exact analysis of Dodgson elections Lewis Carroll's 1876 voting system is complete for parallel access to NP. por Hemaspaandra, Edith

    Publicado en Journal of the ACM
    Artículo

    Exact analysis of Dodgson elections Lewis Carroll's 1876 voting system is complete for parallel access to NP.
  9. 929

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

    Publicado en Journal of the ACM
    Artículo

    Software reliability via run-time result-checking.
  10. 930

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

    Publicado en Journal of the ACM
    Artículo

    Sparsification-a technique for speeding up dynamic graph algorithms.

Herramientas de búsqueda: