Showing 9,431 - 9,440 results of 9,873 for search '"Theory"', query time: 0.05s Refine Results
  1. 9431

    Representation-independent program analysis. by Strout, Michelle Mills

    Article

    Representation-independent program analysis.
  2. 9432

    Weakest-precondition of unstructured programs. by Barnett, Mike

    Article

    Weakest-precondition of unstructured programs.
  3. 9433

    Automatically generating refactorings to support API evolution. by Perkins, Jeff H.

    Article

    Automatically generating refactorings to support API evolution.
  4. 9434

    Importance of software component characterization for better software reusability. by Gill, Nasib S.

    Article

    Importance of software component characterization for better software reusability.
  5. 9435

    Modular design and verification of component-based mechatronic systems with online-reconfiguration. by Giese, Holger

    Article

    Modular design and verification of component-based mechatronic systems with online-reconfiguration.
  6. 9436

    A type system for object models. by Edwards, Jonathan

    Article

    A type system for object models.
  7. 9437

    Refining code-design mapping with flow analysis. by Zhang, Xiaofang

    Article

    Refining code-design mapping with flow analysis.
  8. 9438

    Traffic theory and the Internet. by Roberts, J.W

    Article

    Traffic theory and the Internet.
  9. 9439

    Pricing congestible network resources. by MacKie-Mason, J.K

    Article

    Pricing congestible network resources.
  10. 9440

    Analysis of controlled multiplexing systems via numerical stochastic control methods. by Kushner, H.J

    Article

    Analysis of controlled multiplexing systems via numerical stochastic control methods.

Search Tools: