Showing 11 - 20 results of 24 for search '"Computation by abstract devices."', query time: 0.02s Refine Results
  1. 11

    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.
  2. 12

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

    Article

    A modified cognitive information complexity measure of software.
  3. 13

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

    Article

    Generating optimal distinguishing sequences with a model checker.
  4. 14

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop. by Bontemps, Yves

    Article

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop.
  5. 15

    Strategic directions in concurrency research. by Cleaveland, Rance

    Published in ACM computing surveys.
    Article

    Strategic directions in concurrency research.
  6. 16

    Concurrent zero-knowledge. by Dwork, Cynthia

    Published in Journal of the ACM
    Article

    Concurrent zero-knowledge.
  7. 17

    Monadic datalog and the expressive power of languages for Web information extraction. by Gottlob, Georg

    Published in Journal of the ACM
    Article

    Monadic datalog and the expressive power of languages for Web information extraction.
  8. 18

    Register-machine based processes. by Bergstra, Jan A.

    Published in Journal of the ACM
    Article

    Register-machine based processes.
  9. 19

    Improved implementations of binary universal operations. by Attiya, Hagit

    Published in Journal of the ACM
    Article

    Improved implementations of binary universal operations.
  10. 20

    Quantum lower bounds by polynomials. by Beals, Robert

    Published in Journal of the ACM
    Article

    Quantum lower bounds by polynomials.

Search Tools: