Showing 8,601 - 8,610 results of 9,877 for search '"Theory"', query time: 0.05s Refine Results
  1. 8601

    Revisiting a result of Ko. by Cintioli, Patrizio

    Article

    Revisiting a result of Ko.
  2. 8602

    Ergodicity of linear cellular automata over Zm. by Sato, Tadakazu

    Article

    Ergodicity of linear cellular automata over Zm.
  3. 8603

    A cooperative uplink power control scheme for elastic data services in wireless CDMA systems. by Alyfantis, George

    Article

    A cooperative uplink power control scheme for elastic data services in wireless CDMA systems.
  4. 8604

    An in-place sorting with O(nlog n) comparisons and O(n) moves. by Franceschini, Gianni

    Published in Journal of the ACM
    Article

    An in-place sorting with O(nlog n) comparisons and O(n) moves.
  5. 8605

    Asymmetric k-center is log* n-hard to approximate. by Chuzhoy, Julia

    Published in Journal of the ACM
    Article

    Asymmetric k-center is log* n-hard to approximate.
  6. 8606

    Boosting textual compression in optimal linear time. by Ferragina, Paolo

    Published in Journal of the ACM
    Article

    Boosting textual compression in optimal linear time.
  7. 8607

    A unified theory of shared memory consistency. by Steinke, Robert C.

    Published in Journal of the ACM
    Article

    A unified theory of shared memory consistency.
  8. 8608

    Edge-disjoint routing in plane switch graphs in linear time. by Hochstein, J.M

    Published in Journal of the ACM
    Article

    Edge-disjoint routing in plane switch graphs in linear time.
  9. 8609

    A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries. by Jerrum, Mark

    Published in Journal of the ACM
    Article

    A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries.
  10. 8610

    Software verification and validation with destiny a parallel approach to automated theorem proving. by Dykstra, Josiah

    Article

    Software verification and validation with destiny a parallel approach to automated theorem proving.

Search Tools: