Search Constraints

Start Over
Filtering by: Creator Steig, Eric J. Remove constraint Creator: Steig, Eric J. Advisor Erwig, Martin Remove constraint Advisor: Erwig, Martin Committee Member Budd, Tim Remove constraint Committee Member: Budd, Tim

Search Results

  • Executable semantics for PLEXIL : simulating a task-scheduling language in Haskell

    Creator:
    Strauss, Paul J.
    Abstract:
    An interdisciplinary study into the theory of design decisions has yielded a model for tracking design changes in hardware/software systems, but it still needs to be applied to a larger system to test its efficiency at tracking important data. This thesis creates an implementation of PLEXIL, a language in development...
    Resource Type:
    Masters Thesis
    Full Text:
    would like to thank the other members of my project group, Eric Walkingshaw and Jon Mueller, for their

  • Structured representation of composite software changes

    Creator:
    Chabra, Aarti
    Abstract:
    In a software development cycle, programs go through many iterations. Identifying and understanding program changes is a tedious but necessary task for programmers, especially when software is developed in a collaborative environment. Existing tools used by the programmers either lack in finding the structural differences, or report the differences as...
    Resource Type:
    Masters Thesis
    Full Text:
    thankful to my research group members, Eric, Duc, Rahul, Sheng, Tim and Chris, for their help. Lastly, I