Showing 9,421 - 9,430 results of 9,873 for search '"Theory"', query time: 0.05s Refine Results
  1. 9421

    Transforming cabbage into turnip polynomial algorithm for sorting signed permutations by reversals. by Hannenhalli, Sridhar

    Published in Journal of the ACM
    Article

    Transforming cabbage into turnip polynomial algorithm for sorting signed permutations by reversals.
  2. 9422

    Fully dynamic planarity testing with applications. by Galil, Zvi

    Published in Journal of the ACM
    Article

    Fully dynamic planarity testing with applications.
  3. 9423

    The Cost of Derandomization Computability or Competitiveness. by Deng, Xiaotie

    Article

    The Cost of Derandomization Computability or Competitiveness.
  4. 9424

    Classboxes an experiment in modeling compositional abstractions using explicit contexts. by Lumpe, Markus

    Article

    Classboxes an experiment in modeling compositional abstractions using explicit contexts.
  5. 9425

    Non-null references by default in the Java modeling language. by Chalin, Patrice

    Article

    Non-null references by default in the Java modeling language.
  6. 9426

    Specification and design of component-based coordination systems by integrating coordination patterns. by Pérez-Serrano, Pedro L.

    Article

    Specification and design of component-based coordination systems by integrating coordination patterns.
  7. 9427

    Constraint satisfaction techniques for diagnosing errors in design by contract software. by Ceballos, Rafael

    Article

    Constraint satisfaction techniques for diagnosing errors in design by contract software.
  8. 9428

    Software product lines structuring based upon market demands. by Ereño, Montse

    Article

    Software product lines structuring based upon market demands.
  9. 9429

    Review of "Just Enough Requirements Management Where Software Development Meets Marketing. by Saur, Joe

    Article

    Review of "Just Enough Requirements Management Where Software Development Meets Marketing.
  10. 9430

    SableSpMT a software framework for analysing speculative multithreading in Java. by Pickett, Christopher J. F.

    Article

    SableSpMT a software framework for analysing speculative multithreading in Java.

Search Tools: