Search Constraints

Start Over
Filtering by: Committee Member Budd, Timothy A Remove constraint Committee Member: Budd, Timothy A Resource Type Dissertation Remove constraint Resource Type: Dissertation

Search Results

  • On the limits of mutation analysis

    Creator:
    Gopinath, Rahul
    Abstract:
    Mutation analysis is the gold standard for evaluating test-suite adequacy. It involves exhaustive seeding of all small faults in a program and evaluating the effectiveness of test suites in detecting these faults. Mutation analysis subsumes numerous structural coverage criteria, approximates fault detection capability of test suites, and the faults produced...
    Resource Type:
    Dissertation
    Full Text:
    of all small faults in a program and evaluating the effectiveness of test suites in detecting these

  • Some contributions to asymmetric error control codes

    Creator:
    Elmougy, Samir
    Abstract:
    In some practical systems, most of the errors are of 1 → 0 type and 0 → 1 errors occur very rarely. In this thesis, first, the capacity of the asymmetric channel is derived. The capacity of the binary symmetric channel (BSC) and the Z-channel can be derived from this...
    Resource Type:
    Dissertation
    Full Text:
    encouragement in my thesis. I would like to thank all my committee members: Prof. Paul Cull, Prof. Timothy A

  • Large deviation principles for random measures

    Creator:
    Hwang, Dae-sik
    Abstract:
    Large deviation theory has experienced much development and interest in the last two decades. A large deviation principle is the exponential decay of the probability of increasingly rare events and the computation of a rate or entropy function which measures the rate of decay. Within the probability literature there has...
    Resource Type:
    Dissertation

  • Understanding and supporting end-user debugging strategies

    Creator:
    Grigoreanu, Valentina I.
    Abstract:
    End users' programs are fraught with errors, costing companies millions of dollars. One reason may be that researchers and tool designers have not yet focused on end-user debugging strategies. To investigate this possibility, this dissertation presents eight empirical studies and a new strategy-based end-user debugging tool for Excel, called StratCel....
    Resource Type:
    Dissertation
    Full Text:
    , Timothy Budd, Maggie Niess, and Bob Higdon) for their thoughtful feedback on my dissertation and, along

  • Design techniques of high-performance switched capacitor circuits in the presence of component imperfections

    Creator:
    Huang, Yunteng
    Abstract:
    This thesis describes design techniques for high-performance switched-capacitor (SC) circuits, primarily for high-linearity low-noise SC circuits in the presence of component imperfections, such as nonlinear op-amp voltage transfer characteristics, capacitor nonlinearities as well as the finite op-amp dc gain and op-amp offset and noise. Various correlated-double-sampling (CDS) schemes are discussed,...
    Resource Type:
    Dissertation
    Full Text:
    staff members for their support throughout my time here. I also want to thank Prof. Timothy Budd of

  • On shortest disjoint paths and Hamiltonian cycles in some interconnection networks

    Creator:
    Hussain, Zaid
    Abstract:
    Parallel processors are classified into two classes: shared-memory multiprocessors and distributed- memory multiprocessors. In the shared-memory system, processors communicate through a common memory unit. However, in the distributed multiprocessor system, each processor has its own memory unit and the communications among the processors are performed through an interconnection network. Thus,...
    Resource Type:
    Dissertation
    Full Text:
    . I would like to thank Dr. Timothy Budd, Dr. Thinh Nguyen, Dr. Toshimi Minoura, and Dr. Anne Trehu

  • Some communication algorithms for Gaussian and Eisenstein-Jacobi networks

    Creator:
    Albader, Bader
    Abstract:
    Interconnection networks play important roles in designing high performance computers. Recently two new classes of interconnection networks based on the concept of Gaussian and Eisenstein-Jacobi integers were introduced. In this research, efficient routing and broadcasting algorithms for these networks are developed. Furthermore, constructing edge disjoint Hamiltonian cycles in Gaussian networks...
    Resource Type:
    Dissertation
    Full Text:
    like to express my sincere gratitude to Dr. Jack F. Higginbotham, Dr. Timothy A. Budd, and Dr. Thinh

  • Advances in side-channel cryptanalysis : microarchitectural attacks

    Creator:
    Aciiçmez, Onur
    Abstract:
    Cryptographic devices leak timing and power consumption information that is easily measurable, radiation of various levels, and more. Such devices also have additional inputs, other than plaintext and keys, like voltage, which can be modified to force the device to produce certain faulty outputs that can be used to reveal...
    Resource Type:
    Dissertation
    Full Text:
    formed a basis for this thesis. I also thank Dr. Bella Bose, Dr. Timothy Budd, Dr. Ben Lee, Dr. Lien

  • Active object systems

    Creator:
    Choi, Sungwoon
    Abstract:
    An active object system is a transition-based object-oriented system suitable for the design of various concurrent systems. An AOS consists of a collection of interacting objects, where the behavior of each object is determined by the transition statements provided in the class of that object. A transition statement is a...
    Resource Type:
    Dissertation
    Full Text:
    . committee, Dr. Timothy Budd, Dr. Bella Bose, Dr. Bruce D'Ambrosio, Dr. Walter Rudd, and Dr. Albert Stetz

  • Comprehensive support for developing graphical highly interactive user interface systems

    Creator:
    Keh, Huan-chao
    Abstract:
    The general problem of application development of interactive GUI applications has been addressed by toolkits, libraries, user interface management systems, and more recently domain-specific application frameworks. However, the most sophisticated solution offered by frameworks still lacks a number of features which are addressed by this research: 1) limited functionality --...
    Resource Type:
    Dissertation
    Full Text:
    members in my Ph.D. committee: Dr. Bella Bose, Dr. Timothy Budd, Dr. Bruce D'Ambrosio, and Dr. Susan