SUNY Digital Repository

Browsing by Author "Qin, Hong"

DSpace/Manakin Repository

Browsing by Author "Qin, Hong"

Sort by: Order: Results:

  • Compiler-Assisted Software Model Checking and Monitoring
    Huang, Xiaowan (The Graduate School, Stony Brook University: Stony Brook, NY., 1-Dec-10)
    In this dissertation we present a compiler-assisted execution-based software modelchecking method targeting all languages that are acceptable by the compiler. We treatthe intermediate representation of the program under ...
  • A Variational Framework of Multivariate Splines and Its Applications
    Wang, Kexiang (The Graduate School, Stony Brook University: Stony Brook, NY., 1-Aug-10)
    Multivariate spline technique has proved to be a powerful mathematicaltool for solving variational problems in a great number of researchand engineering tasks, such as computer vision, scientific computing,engineering ...