Search Constraints

Start Over
Filtering by: Subject Electronic digital computers -- Programming Remove constraint Subject: Electronic digital computers -- Programming Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science

Search Results

  • Adaptation-based programming

    Creator:
    Bauer, Tim
    Abstract:
    Partial programming is a field of study where users specify an outline or skeleton of a program, but leave various parts undefined. The undefined parts are then completed by an external mechanism to form a complete program. Adaptation-Based Programming (ABP) is a method of partial programming that utilizes techniques from...
    Resource Type:
    Dissertation
    Full Text:
    Adaptation-Based Programming AN ABSTRACT OF THE

  • A domain-specific embedded language for probabilistic programming

    Creator:
    Kollmansberger, Steven
    Abstract:
    Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...
    Resource Type:
    Masters Thesis
    Full Text:
    Master of Science in Computer Science presented on December 12, 2005. Title: A Domain-Specific Embedded

  • Executable semantics for PLEXIL : simulating a task-scheduling language in Haskell

    Creator:
    Strauss, Paul J.
    Abstract:
    An interdisciplinary study into the theory of design decisions has yielded a model for tracking design changes in hardware/software systems, but it still needs to be applied to a larger system to test its efficiency at tracking important data. This thesis creates an implementation of PLEXIL, a language in development...
    Resource Type:
    Masters Thesis
    Full Text:
    Paul Strauss for the degree of Master of Science in Computer Science presented on June 8, 2009. Title

  • Generalizing WYSIWYT for use in the screen transition paradigm

    Creator:
    Brown, Darren
    Abstract:
    How can rigorous forms of testing be supported in a way that is both compatible with the visual aspect of visual programming languages, and usable by the audiences using those languages - even when the audience has no background in software engineering? Visual programs are likely to contain at least...
    Resource Type:
    Masters Thesis
    Full Text:
    Master of Science in Computer Science presented on May 13, 2003. Title: Generalizing WYSIWYT For Use in

  • Mapping Software Development Tool Design to Information Foraging Theory

    Creator:
    Nabi, Md Tahmid-un
    Abstract:
    The design of programming tools is slow and costly. To ease this process, we have developed a design pattern catalog aimed at providing guidance about how to design tools for developers. This guidance is grounded in Information Foraging Theory (IFT), which empirical studies have shown to be useful for understanding...
    Resource Type:
    Masters Thesis
    Full Text:
    consisted of a search based on a list of keywords in electronic databases like ACM Digital Library

  • Measurement and analysis of soft error vulnerability of low-voltage logic and memory circuits

    Creator:
    Pawlowski, Robert
    Abstract:
    Scaling the supply voltage into the sub/near-threshold domain is one of the most effective methods for improving the energy efficiency of next-generation electronic microsystems. Unfortunately, the relationship between low-voltage operation and radiation-induced soft error rate is not widely known, as little research has been previously performed and reported for soft-error...
    Resource Type:
    Dissertation
    Full Text:
    of Doctor of Philosophy in Electrical and Computer Engineering presented on July 14 2014. Title