Search Constraints

Start Over
Filtering by: Creator Freilich, Michael H. Remove constraint Creator: Freilich, Michael H. Committee Member Burnett, Margaret Remove constraint Committee Member: Burnett, Margaret

Search Results

  • Translating MATLAB scripts into SPMD-style parallel programs

    Creator:
    Seelam, Nagajagadeswar Reddy
    Abstract:
    In this report., we address the issues of translating MATLAB scripts into SPMD-style C programs. The resulting programs, when linked with our run-time library are suitable for execution on parallel computers. We describe the design of the compiler and improvements made to it in the current version. We also describe...
    Resource Type:
    Capstone Project
    Full Text:
    Programs N agajagadeswar Reddy Seelam Major Professor: Dr. Michael J. Quinn A Research Paper

  • 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:
    AN ABSTRACT OF THE DISSERTATION OF Michael Hilton for the

  • Automatic program generation for scientific computing

    Creator:
    Fu, Zhe
    Abstract:
    The code reuse problem is a common software engineering problem in scientific computing. As a prevailing programming language in many scientific fields, Fortran does not provide support to address this problem. One particular reason is that Fortran lacks the support for generic programming. By applying program-generation techniques, we developed two...
    Resource Type:
    Dissertation

  • Update programming -- a safe approach to software maintenance

    Creator:
    Ren, Deling
    Abstract:
    Software maintenance accounts for a large portion of the software development cost, particularly the process of updating programs either to adapt for requirement change or to enhance design or efficiency. Currently, program updates are generally performed manually by programmers using text editors. This is an unreliable method because syntax and...
    Resource Type:
    Dissertation
    Full Text:
    <143 n�cZ3S58()*�sa3Sl.()+;W l.7;1y5jc=M;+47H5.L�$~$'p4$/3SGH587;(D*;+e…†H*;1qlºcZob1ZM,5 F,3N14

  • 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:
    Committee, namely, Margaret Burnett, Michael Quinn and Tim Budd, for taking time out of their busy

  • Model-based approximation methods for reinforcement learning

    Creator:
    Wang, Xin
    Abstract:
    The thesis focuses on model-based approximation methods for reinforcement learning with large scale applications such as combinatorial optimization problems. First, the thesis proposes two new model-based methods to stablize the value–function approximation for reinforcement learning. The first one is the BFBP algorithm, a batch-like reinforcement learning process which iterates between...
    Resource Type:
    Dissertation
    Full Text:
    (Michael Quinn) Committee Member (Prasad Tadepalli) Graduate School Representative (David Birks) Date

  • Dimension checking tools for spreadsheets

    Creator:
    Chambers, Chris (Christopher Willie)
    Abstract:
    We present the evolution of a reasoning system for inferring dimension information in spreadsheets. The three papers included in this thesis show how the initial system can be used to check the consistency of spreadsheet formulas and thus is able to detect errors in spreadsheets, and the evolution to a...
    Resource Type:
    Masters Thesis
    Full Text:
    , header inference produces a binary relation H ⊆ A×A such that (a,a′) ∈ H says that a′ is a header of a

  • Investigating the Effect of Using Mobile Touchscreen Device on Children's Tactile Skills

    Creator:
    Almurshed, Rana
    Abstract:
    To users, mobile touchscreen devices have appealing characteristics; among these characteristics is intuitiveness, which leads to mobile devices being used almost everywhere by almost everyone to accomplish almost anything. This statement, to some degree, holds for children too. Despite touchscreen devices’ intuitiveness and popularity, we don’t know much about how...
    Resource Type:
    Dissertation
    Full Text:
    specifically, around 30% allow children to use such devices daily. According to the Michael Cohen Group

  • Novel approaches to promoting end-user programming

    Creator:
    Bahmani, Faezeh
    Abstract:
    End-user programming has become widespread. The increasing size of this population and the prevalence of barriers that they face has sparked the development of approaches that promote end-user programing by helping them overcome barriers and teaching them programming. Despite the fact that these approaches have done well in achieving those...
    Resource Type:
    Masters Thesis
    Full Text:
    friendship I cannot appreciate enough; Michael Hilton who provided invaluable insights into my writing

  • Enabling Virtual Globes for A Visual-Auditory User Experience of Spatial Data

    Creator:
    Gune, Aditya N.
    Abstract:
    Geographical datasets are large, complex, and can be difficult for users to navigate and derive meaning from. These datasets, as well as the unique insights derived from them, provide tremendous opportunity for social change -- many of the global challenges humankind is currently facing can benefit from analytics or visualization...
    Resource Type:
    Masters Thesis