Search Constraints

Start Over
Filtering by: Creator Mulligan, Daniel M. Remove constraint Creator: Mulligan, Daniel M. Degree Field Computer Science Remove constraint Degree Field: Computer Science Resource Type Dissertation Remove constraint Resource Type: Dissertation

Search Results

  • Understanding Software Development and Testing Practices

    Creator:
    Hilton, Michael
    Abstract:
    A bad software development process leads to wasted effort and inferior products. In order to improve a software process, it must be first understood. In this work I focus on understanding software processes. The first process we seek to understand is Continuous Integration (CI). CI systems automate the compilation, building,...
    Resource Type:
    Dissertation
    Full Text:
    Software Development and Testing Practices Abstract approved: Daniel Dig A bad software development

  • Information Theoretical Analysis of Self-Similar Trees

    Creator:
    Chunikhina, Evgenia V.
    Abstract:
    Tree-like patterns are ubiquitous in nature. Botanical trees, river networks, and blood systems are the most well-known examples of complex hierarchical systems met in observations. Interestingly, many of such systems exhibit statistical self-similarity. There are two main types of self-similarity: Horton self-similarity and Tokunaga self-similarity. Although there is an increased...
    Resource Type:
    Dissertation
    Full Text:
    : Information Theoretical Analysis of Self-Similar Trees Abstract approved: Juan M. Restrepo Tree-like

  • Generalizing abstractions in form-based visual programming languages : from direct manipulation to static representation

    Creator:
    Yang, Sherry
    Abstract:
    We believe concreteness, direct manipulation and responsiveness in a visual programming language increase its usefulness. However, these characteristics present a challenge in generalizing programs for reuse, especially when concrete examples are used as one way of achieving concreteness. In this thesis, we present a technique to solve this problem by...
    Resource Type:
    Dissertation
    Full Text:
    Representation. Margaret M. Burnett Abstract approved: We believe concreteness, direct manipulation and

  • Similarity inheritance : a model of inheritance for declarative visual programming languages

    Creator:
    Djang, Rebecca W. (Rebecca Walpole)
    Abstract:
    Declarative visual programming languages (VPLs), including spreadsheets, make up a large portion of both research and commercial VPLs. Spreadsheets in particular enjoy a wide audience, including end users. Unfortunately, spreadsheets and most other declarative VPLs still suffer from some of the problems that have been solved in other languages, such...
    Resource Type:
    Dissertation
    Full Text:
    Model of Inheritance for Declarative Visual Programming Languages. Abstract approved: Margaret M

  • Involving older adults in the design and development of free/open source software

    Creator:
    Davidson, Jennifer L.
    Abstract:
    An age-wave is upon us where many older adults are reaching retirement. Technically experienced older adults have skills that could be directly applied to free/open source software (FOSS) communities, such as project management, programming, and/or knowledge of a rapidly growing end-user population. FOSS is a widely popular, low-cost way to...
    Resource Type:
    Dissertation
    Full Text:
     projects.  Perspective on free and  open  source  software 1, (2005), 3–22. 12. Madden,   M.   Pew

  • Explanations and Processes to Enable Humans to Assess AI with Respect to Manipulable Properties

    Creator:
    Dodge, Jonathan E.
    Abstract:
    Assessing AI systems is difficult. Humans rely on AI systems in increasing ways, both visible and invisible, meaning a variety of stakeholders need a variety of assessment tools (e.g., a professional auditor, a developer, and an end user all have different needs). We posit that it is possible to provide...
    Resource Type:
    Dissertation
    Full Text:
    . . . . . . . . . . . . 180 M Data Appendix - CNNs poisoned by perception/action . . . . . . . . . . . . 182 TABLE OF

  • 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

  • Meeting End-to-End Deadlines in Real-Time Networks Using Software Defined Networking (SDN)

    Creator:
    Almahdi, Rafid M.
    Abstract:
    Network flows in Real-Time (RT) systems need to meet stringent end-to-end deadlines in order for such systems to operate safely and reliably. Today, such systems use custom or domain specific network system designs to meet end-to-end deadlines and other constraints of real-time flows. In this work we explore the design...
    Resource Type:
    Dissertation

  • Characterizing Server Compromise: Resilience Models, Instantiations, and Impossibilities

    Creator:
    McQuoid, Ian M.
    Abstract:
    One of the pervasive problems arising in our modern, digital world surrounds data breaches where an adversary, through zero-day exploitations, phishing, or old-fashioned social engineering attacks, gains access to a service’s data stores. Our society increasingly relies on these cloud-based services for everything from our taxes to personal communication. As...
    Resource Type:
    Dissertation
    Full Text:
    AN ABSTRACT OF THE DISSERTATION OF Ian M

  • On Avoiding Power-Seeking by Artificial Intelligence

    Creator:
    Turner, Alexander M.
    Abstract:
    We do not know how to align a very intelligent AI agent's behavior with human interests. I investigate whether—absent a full solution to this AI alignment problem—we can build smart {\ai} agents which have limited impact on the world, and which do not autonomously seek power. In this thesis, I...
    Resource Type:
    Dissertation