Search Constraints

Start Over
Filtering by: Creator Witcraft, Don A. Remove constraint Creator: Witcraft, Don A. Advisor Walkingshaw, Eric Remove constraint Advisor: Walkingshaw, Eric Rights Statement In Copyright Remove constraint Rights Statement: In Copyright

Search Results

  • ScaleIO Storage Driver: A Template Driver for CoprHD

    Creator:
    Shujin, Wu and Wu, Shujin
    Abstract:
    CoprHD is an open source software-defined storage and API platform which creates an abstraction layer over multi-vendor heterogeneous storage systems. It offers the ability to discover, pool and automate the management of the storage ecosystem with the help of storage drivers establishing connections between CoprHD and storage systems. On the...
    Resource Type:
    Capstone Project
    Full Text:
    Master of Science in Computer Science presented on February 17, 2017. Title: ScaleIO Storage Driver: A

  • Theory and Implementation of a Variational Database Management System

    Creator:
    Ataei, Parisa S.
    Abstract:
    In this thesis, I present the variational database management system, a formal framework and its implementation for representing variation in relational databases and managing variational information needs. A variational database is intended to support any kind of variation in a database. Specific kinds of variation in databases have already been...
    Resource Type:
    Dissertation
    Full Text:
    Implementation of a Variational Database Management System Abstract approved: Eric Walkingshaw In this thesis

  • The Ownership Monad

    Creator:
    McGirr, Michael G.
    Abstract:
    The Rust programming language is a systems programming language with a strong static type system. A central feature of Rust’s type system is its unique concept of “ownership”, which enables Rust to give a user safe, low-level control over resources without the overhead of garbage collection. In Haskell, most data...
    Resource Type:
    Capstone Project
    Full Text:
    Abstract approved: Eric Walkingshaw The Rust programming language is a systems programming language with

  • Application of the Variational Database Management System to Schema Evolution and Software Product Lines

    Creator:
    Li, Qiaoran
    Abstract:
    As a general solution to the problem of managing structural and content variability in relational databases, in previous work we have introduced the Variational Database Management System (VDBMS). VDBMS consists of a representation of a variational database (VDB) and a corresponding typed query language (v-query). However, since this is a...
    Resource Type:
    Capstone Project
    Full Text:
    : Eric Walkingshaw As a general solution to the problem of managing structural and content variability

  • 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:
    Variational Effects Abstract approved: Eric T. Walkingshaw Variation is a commonly encountered element of

  • View-based editing of variational code

    Creator:
    Van de Wetering, Miles
    Abstract:
    This paper discusses the merits of providing users variational views when editing variational code. I provide a plugin for the popular Atom Integrated Development Environment (IDE) which replaces #ifdef annotations commonly used by the C PreProcessor (CPP) with colored backgrounds, thus reducing code clutter and attempting to help programmers quickly...
    Resource Type:
    Honors College Thesis
    Full Text:
    Wetering A THESIS submitted to Oregon State University University Honors College in partial ful�llment

  • 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:
    use cases of SAT/SMT solvers require not just solving a single SAT/SMT problem, but solving sets of

  • Formal Verification of the Variational Database Management System

    Creator:
    Khan, Fariba
    Abstract:
    Variation in data is abundant and ubiquitous in real-world applications. Managing variation in databases is, however, difficult and has been extensively studied by the database community. Schema evolution, data integration, and database versioning are examples of well-studied forms of database variation with effective context-specific solutions. However, variation appears in different...
    Resource Type:
    Masters Thesis
    Full Text:
    context. Moreover, in practice, different forms of variation intersect in a particular context