Search Constraints

Start Over
Filtering by: Creator Peterson, Maxie Jean Remove constraint Creator: Peterson, Maxie Jean Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • The expressive power and declarative attributes of exception handling in Forms/3

    Creator:
    Agrawal, Anurag
    Abstract:
    Exception handling is a programming language feature that can help increase the reliability of programs. However, not much work has been done on exception handling in visual programming languages. We present an approach for improving the exception handling mechanism in Forms/3, a declarative visual programming language based on the spreadsheet...
    Resource Type:
    Masters Thesis
    Full Text:
    to matter in most functional languages. Haskell [Peterson et al. 1997a] is a lazy functional

  • Awgsome Fault Injection: In-Depth Analysis of Waveform Generation for Voltage Glitches

    Creator:
    Lyakhov, Stanislav
    Abstract:
    Voltage fault injection is a technique to disrupt power supply, such that the data or instruction flow in a microcontroller can be modified. Recently, a new class of voltage glitches was introduced termed arbitrary wave voltage glitches. Despite its demonstrated success in practical studies it comes with additional challenges, such...
    Resource Type:
    Masters Thesis

  • Computational Elucidation of the Regulatory SNPs in the Non-Coding Regions of the Human Genome

    Creator:
    Yao, Yao
    Abstract:
    We describe a series of novel computational models, CERENKOV (Computational Elucidation of the REgulatory NonKOding Variome) and its successors CERENKOV2, CERENKOV3, and Convolutional CERENKOV3, for discriminating regulatory single nucleotide polymorphisms (rSNPs) from non-regulatory SNPs within non-coding genetic loci. The CERENKOV models are designed for recognizing rSNPs in the context of...
    Resource Type:
    Dissertation
    Full Text:
    ) components. In the RSVP method, Peterson et al. [103] derived set set of 2,237 SNP annotation features that

  • Resource placement, data rearrangement, and Hamiltonian cycles in torus networks

    Creator:
    Bae, Myung Mun
    Abstract:
    Many parallel machines, both commercial and experimental, have been/are being designed with toroidal interconnection networks. For a given number of nodes, the torus has a relatively larger diameter, but better cost/performance tradeoffs, such as higher channel bandwidth, and lower node degree, when compared to the hypercube. Thus, the torus is...
    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

  • #ifdef Confirmed Harmful - Promoting Understandable Software Variation

    Creator:
    Le, Duc
    Abstract:
    Maintaining variation in software is a difficult problem that poses serious challenges for the understanding and editing of software artifacts. Although the C preprocessor (CPP) is often the default tool used to introduce variability to software, because of its simplicity and flexibility, it is infamous for its obtrusive syntax and...
    Resource Type:
    Capstone Project

  • Interactive visualization of diversity in multivariate data sets unified across fields of study

    Creator:
    Pham, Tuan N. T.
    Abstract:
    The study of the diversity of multivariate objects shares common characteristics across disciplines, including ecology and organizational management. Nevertheless, experts in these two disciplines have adopted somewhat separate diversity concepts and analysis techniques, limiting the ability of potentially sharing and cross comparing these concerns. Moreover, while complex diversity data may...
    Resource Type:
    Dissertation

  • Exception handling in the visual programming language Forms/3

    Creator:
    van Zee, Pieter J.
    Abstract:
    Exception handling is a general purpose tool found in many modern programming language, but most work to date is based on textual languages. We present an approach to exception handling in a new context, the visual programming language Forms/3. The visual nature of Forms/3 supports an effective approach to exception...
    Resource Type:
    Capstone Project

  • Formative Work Toward a Mixed-Initiative Programming Language

    Creator:
    Abbott, Keeley
    Abstract:
    Mixed-initiative programming entails collaboration between a computer system, and a human to achieve some desired goal or set of goals. Often these goals change or are amended in real time during the course of program execution. As such, the plans these programs are based on must adapt and evolve to...
    Resource Type:
    Masters Thesis

  • 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:
    functional language Haskell [Peterson et al. 1997] has both types and type classes, and this combination