Showing 22,511 - 22,520 results of 25,967 for search '"computing."', 查詢時間: 0.05s Refine Results
  1. 22511

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

    發表在 Journal of the ACM
    Article

    Relational expressive power of constraint query languages.
  2. 22512

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

    發表在 Journal of the ACM
    Article

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication.
  3. 22513

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

    發表在 Journal of the ACM
    Article

    Probabilistic checking of proofs a new characterization of NP.
  4. 22514

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

    發表在 Journal of the ACM
    Article

    Explicit OR-dispersers with polylogarithmic degree.
  5. 22515

    Theory of neuromata. 由 íma, Jiří

    發表在 Journal of the ACM
    Article

    Theory of neuromata.
  6. 22516

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

    發表在 Journal of the ACM
    Article

    A new general derandomization method.
  7. 22517

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

    發表在 Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.
  8. 22518

    Contention in shared memory algorithms. 由 Dwork, Cynthia

    發表在 Journal of the ACM
    Article

    Contention in shared memory algorithms.
  9. 22519

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

    發表在 Journal of the ACM
    Article

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

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

    發表在 Journal of the ACM
    Article

    Software reliability via run-time result-checking.

檢索工具: