Search Constraints

Start Over
Filtering by: Creator Ostermann, Stacey D. Remove constraint Creator: Ostermann, Stacey D. Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science Language English [eng] Remove constraint Language: English [eng]

Search Results

  • Design and Application of Variational Representations

    Creator:
    Smeltzer, Karl J.
    Abstract:
    Variability is an important and widely studied topic across domains such as version control, software product lines, and metaprogramming. This dissertation presents an investigation into the process of systematically adding variability to data structures and programs, leading to guidelines for variational data structures and implications for programs that create, manipulate,...
    Resource Type:
    Dissertation
    Full Text:
    . Stacey, I am incredibly lucky to have you in my life, and the motivation you instill in me has been

  • A Formal Foundation for Variational Programming Using the Choice Calculus

    Creator:
    Hubbard, Spencer
    Abstract:
    In this thesis, we present semantic equivalence rules for an extension of the choice calculus and sound operations for an implementation of variational lists. The choice calculus is a calculus for describing variation and the formula choice calculus is an extension with formulas. We prove semantic equivalence rules for the...
    Resource Type:
    Masters Thesis
    Full Text:
    instead of dimensions [Walkingshaw and Ostermann, 2014]. Semantic equivalence rules for the choice

  • The choice calculus : a formal language of variation

    Creator:
    Walkingshaw, Eric
    Abstract:
    In this thesis I present the choice calculus, a formal language for representing variation in software and other structured artifacts. The choice calculus is intended to support variation research in a way similar to the lambda calculus in programming language research. Specifically, it provides a simple formal basis for presenting,...
    Resource Type:
    Dissertation
    Full Text:
    Passau last summer. Thank you to Tillmann Rendel and Klaus Ostermann for collaborating with us on the

  • Representing Program Edits with the Choice Calculus

    Creator:
    Xu, Keying
    Abstract:
    The problem of supporting more advanced selective undo operations has received a lot of attention. However, selective undo is generally missing in commonly used editors. Moreover, partial selective undo, the ability of undoing just part of some edit so that other edits may be undone, is not supported at all....
    Resource Type:
    Capstone Project
    Full Text:
    for A ⋅B ⋅C ⋅D (left) and branch filter for A ⋅B. . . . . . . . . . . . . . 43 5.1 Two different

  • Variational Typing and Its Applications

    Creator:
    Chen, Sheng
    Abstract:
    The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
    Resource Type:
    Dissertation

  • 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:
    . Variational cores are key to our approach, and enable the preservation of shared terms between variants. (d

  • Imperative Programming with Variational Effects

    Creator:
    Grasley, Alexander B.
    Abstract:
    Variation is a commonly encountered element of modern software systems. Recent research into variation has led to increasing interest in the development of variational programming languages and corresponding variational models of execution. Variational imperative languages pose a particular challenge due to the complex interactions between side effects and variation. The...
    Resource Type:
    Masters Thesis
    Full Text:
    , Applicative, and Monad typeclasses: 8 instance Functor V where fmap f (One a) = One (f a) fmap f (Chc d

  • Implementation Techniques for Variational Data Structures

    Creator:
    Meng, Meng
    Abstract:
    Many applications require not only representing variability in software and data, butalso computing with it. To do so efficiently requires variational data structures thatmake variability explicit in the underlying data and the operations used to manipulate it.Variational data structures have been developed ad hoc for many applications, but thereis little...
    Resource Type:
    Masters Thesis
    Full Text:
    number of different ways. The simplest way is Conditional<D> where D stands for a plain data structure

  • Using Change Representations to Analyze Properties of Variational Software

    Creator:
    Wang, Xiangyu
    Abstract:
    Appropriate representations of variational software simplify the analysis of their properties.This thesis proposes tailored representations of two kinds variational softwares: difference files of merge commits in Git and feature models. For the former, we use the Choice Edit Model, which is based on the choice calculus, to represent changes introduced...
    Resource Type:
    Masters Thesis
    Full Text:
    syntax of the choice calculus can be found in [17]. e ::= ε | D | D〈e,e〉 | e...e The syntax says a

  • Power efficient H.264 video decoding in embedded multiprocessor

    Creator:
    Kim, Jihong
    Abstract:
    This thesis presents a novel methodology that enables power efficient video decoding in an embedded system based on MPSoC (Multiprocessor System on Chip). This methodology is a physical combination of parallel processing which reduces power consumption of processors by exploiting thread-level parallelism and Dynamic Voltage Frequency Scaling (DVFS) that allows...
    Resource Type:
    Masters Thesis
    Full Text:
    ) >>1. (2.19) The remaining quarter-pixel samples such as d, e, g, n, p and r are interpolated