Showing 1,031 - 1,040 results of 1,205 for search '"Abstracting"', query time: 0.02s Refine Results
  1. 1031

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

    Published in Journal of the ACM
    Article

    Corrigendum Reasoning about knowledge and probability?.
  2. 1032

    Contention in shared memory algorithms. by Dwork, Cynthia

    Published in Journal of the ACM
    Article

    Contention in shared memory algorithms.
  3. 1033

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

    Published in Journal of the ACM
    Article

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

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

    Published in Journal of the ACM
    Article

    Time-work tradeoffs for parallel algorithms.
  5. 1035

    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.
  6. 1036

    Compendium of Abstracts of the 5th Philippine Computing Science Congress. by Saldana, Rafael P., Ph D.

    Article

    Compendium of Abstracts of the 5th Philippine Computing Science Congress.
  7. 1037

    A modified cognitive information complexity measure of software. by Kushwaha, Dharmender Singh

    Article

    A modified cognitive information complexity measure of software.
  8. 1038

    Joining dataflow with predicates. by Fischer, Jeffrey

    Article

    Joining dataflow with predicates.
  9. 1039

    Dynamically discovering architectures with DiscoTect. by Schmerl, Bradley

    Article

    Dynamically discovering architectures with DiscoTect.
  10. 1040

    Generating optimal distinguishing sequences with a model checker. by Robinson-Mallett, Christopher

    Article

    Generating optimal distinguishing sequences with a model checker.

Search Tools: