Erakusten 8.611 - 8.620 emaitzak -- 9.883 bilaketa honetara '"Theory."', Bilaketaren denbora: 0,05s Findu emaitzak
  1. 8611

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

    Argitaratua izan da Journal of the ACM
    Artikulua

    Asymmetric k-center is log* n-hard to approximate.
  2. 8612

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

    Argitaratua izan da Journal of the ACM
    Artikulua

    Boosting textual compression in optimal linear time.
  3. 8613

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

    Argitaratua izan da Journal of the ACM
    Artikulua

    A unified theory of shared memory consistency.
  4. 8614

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

    Argitaratua izan da Journal of the ACM
    Artikulua

    Edge-disjoint routing in plane switch graphs in linear time.
  5. 8615

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

    Argitaratua izan da Journal of the ACM
    Artikulua

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

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

    Artikulua

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

    An optimality proof of the LRU-K page replacement algorithm. nork O'Neil, Elizabeth J.

    Argitaratua izan da Journal of the ACM
    Artikulua

    An optimality proof of the LRU-K page replacement algorithm.
  8. 8618

    Complexity estimates depending on condition and round-off error. nork Cucker, Felipe

    Argitaratua izan da Journal of the ACM
    Artikulua

    Complexity estimates depending on condition and round-off error.
  9. 8619

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

    Argitaratua izan da Journal of the ACM
    Artikulua

    Relational expressive power of constraint query languages.
  10. 8620

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

    Argitaratua izan da Journal of the ACM
    Artikulua

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

Bilaketa egiteko lanabesak: