Search Constraints

Start Over
Filtering by: Creator Hawley, Jeffrey E. Remove constraint Creator: Hawley, Jeffrey E. Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad Committee Member Erwig, Martin Remove constraint Committee Member: Erwig, Martin

Search Results

  • Variational Satisfiability Solving

    Creator:
    Young, Jeffrey M.
    Abstract:
    Over the last two decades, satisfiability and satisfiability-modulo theory (SAT/SMT) solvers have grown powerful enough to be general purpose reasoning engines throughout software engineering and computer science. However, most practical use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of related SAT/SMT problems....
    Resource Type:
    Dissertation
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF Jeffrey M. Young for

  • Galileo - a system for analyzing Java bytecode database handlers subsystem

    Creator:
    Balasubramanian, Eswar, Sharma, Hitesh, and Thorat, Aarti
    Abstract:
    Analysis of programs forms an important activity in the field of software engineering. It is necessary to help understand the code, which facilitates comprehensive testing, maintenance and optimization of code. Aristotle is a tool for analyzing programs written in C. We have designed a system on similar lines for Java...
    Resource Type:
    Capstone Project
    Full Text:
    ................................................................................................................ 49 -------e, ------,----------------------• ------ PREFACE In early 2001, the faculty of