Showing 61 - 70 results of 135 for search 'Journal of the ACM', सवाल का समय: 0.02सेकंड परिणाम को परिष्कृत करें
  1. 61

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication. द्वारा Fekete, Alan

    में प्रकाशित Journal of the ACM
    लेख

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication.
  2. 62

    Probabilistic checking of proofs a new characterization of NP. द्वारा Arora, Sanjeev

    में प्रकाशित Journal of the ACM
    लेख

    Probabilistic checking of proofs a new characterization of NP.
  3. 63

    Explicit OR-dispersers with polylogarithmic degree. द्वारा Saks, Michael

    में प्रकाशित Journal of the ACM
    लेख

    Explicit OR-dispersers with polylogarithmic degree.
  4. 64

    Theory of neuromata. द्वारा íma, Jiří

    में प्रकाशित Journal of the ACM
    लेख

    Theory of neuromata.
  5. 65

    A new general derandomization method. द्वारा Andreev, Alexander E.

    में प्रकाशित Journal of the ACM
    लेख

    A new general derandomization method.
  6. 66

    Corrigendum Reasoning about knowledge and probability?. द्वारा Fagin, Ronald

    में प्रकाशित Journal of the ACM
    लेख

    Corrigendum Reasoning about knowledge and probability?.
  7. 67

    Contention in shared memory algorithms. द्वारा Dwork, Cynthia

    में प्रकाशित Journal of the ACM
    लेख

    Contention in shared memory algorithms.
  8. 68

    Exact analysis of Dodgson elections Lewis Carroll's 1876 voting system is complete for parallel access to NP. द्वारा Hemaspaandra, Edith

    में प्रकाशित Journal of the ACM
    लेख

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

    Software reliability via run-time result-checking. द्वारा Wasserman, Hal

    में प्रकाशित Journal of the ACM
    लेख

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

    Compositional refinement of interactive systems. द्वारा Broy, Manfred

    में प्रकाशित Journal of the ACM
    लेख

    Compositional refinement of interactive systems.

खोज साधन: