يعرض 51 - 60 نتائج من 146 نتيجة بحث عن '"Theory of Computation."', وقت الاستعلام: 0.03s تنقيح النتائج
  1. 51

    Lower bounds on the bounded coefficient complexity of bilinear maps. حسب Bürgisser, Peter

    الحاوية / القاعدة Journal of the ACM
    مقال

    Lower bounds on the bounded coefficient complexity of bilinear maps.
  2. 52

    Satisfiability of word equations with constants is in PSPACE. حسب Plandowski, Wojciech

    الحاوية / القاعدة Journal of the ACM
    مقال

    Satisfiability of word equations with constants is in PSPACE.
  3. 53

    On clusterings good, bad and spectral. حسب Kannan, Ravi

    الحاوية / القاعدة Journal of the ACM
    مقال

    On clusterings good, bad and spectral.
  4. 54

    Mobile routing for large scale all-IP wireless network. حسب Li, Hongyi

    الحاوية / القاعدة Mobile computing and communications review.
    مقال

    Mobile routing for large scale all-IP wireless network.
  5. 55

    Routing and handoff in the edge mobility architecture. حسب O'Neill, Alan

    الحاوية / القاعدة Mobile computing and communications review.
    مقال

    Routing and handoff in the edge mobility architecture.
  6. 56

    An approximate analysis of the shortest queue policy on soft real-time scheduling. حسب Zhu, Weiping

    الحاوية / القاعدة Sigmetrics :performance evaluation review.
    مقال

    An approximate analysis of the shortest queue policy on soft real-time scheduling.
  7. 57

    A specification language for coordinated objects. حسب Ciobanu, Gabriel

    الحاوية / القاعدة Software engineering notes.
    مقال

    A specification language for coordinated objects.
  8. 58

    Evaluating and tuning a static analysis to find null pointer bugs. حسب Hovemeyer, David

    الحاوية / القاعدة Software engineering notes.
    مقال

    Evaluating and tuning a static analysis to find null pointer bugs.
  9. 59

    Symbolic path simulation in path-sensitive dataflow analysis. حسب Hampapuram, Hari

    الحاوية / القاعدة Software engineering notes.
    مقال

    Symbolic path simulation in path-sensitive dataflow analysis.
  10. 60

    String analysis for x86 binaries. حسب Christodorescu, Mihai

    الحاوية / القاعدة Software engineering notes.
    مقال

    String analysis for x86 binaries.

أدوات البحث: