Search Constraints

Start Over
Filtering by: Alt title Cis-1, 2-dicyclohexenylethylene Remove constraint Alt title: Cis-1, 2-dicyclohexenylethylene Committee Member Tadepalli, Prasad Remove constraint Committee Member: Tadepalli, Prasad

Search Results

  • A C* development environment for the Meiko CS-2 multicomputer

    Creator:
    Zhang, Chung
    Abstract:
    With sequential computing technology reaching its speed limits, parallel processing is emerg­ing as the key to very-high-speed computation. However, developing a parallel program is by no means a simple task; neither is analyzing the performance of parallel programs. C* is a high-level data-parallel language that hides explicit message passing and...
    Resource Type:
    Capstone Project
    Full Text:
    Comparisons 66 ) 0 11 e ) ) ) ) ) ) u List of Figures 1 2 3 The data-parallel

  • Porting and optimizing a routing library for Dataparallel C on the nCUBE 2 system

    Creator:
    Sivaramapuram, Krishna
    Abstract:
    Dataparallel C has been designed for various kinds of architectures and was devel­oped jointly at University of New Hampshire and Oregon State University. This project dealt with porting the libraries to the nCUBE 2 system and helping a user compile his programs on nCUBE 2 directly from a Sun workstation...
    Resource Type:
    Capstone Project
    Full Text:
    Definitions . 5.1.1 5.1.2 Optimized broadcast algorithm lll 1 1 1 2 2 4 4 5 7 9 9

  • muupi: An Abstract Syntax Tree based Mutation Testing Tool for Python 2.x Programs

    Creator:
    Liu, Xin
    Abstract:
    Mutation testing is one of the effective approaches measuring test adequacy of test suites. It is widely used in both academia and industry. Unfortunately, the adoption and practical use of mutation testing for Python 2.x programs face three obstacles. First, limited useful mutation operators. Existing mutation testing tools support very...
    Resource Type:
    Capstone Project
    Full Text:
    test suites. In mutation testing [1] [2], a small change is introduced into the source code under

  • Galileo - a system for analyzing Java bytecode database handlers subsystem

    Creator:
    Balasubramanian, Eswar, Sharma, Hitesh, and Thorat, Aarti
    Abstract:
    Analysis of programs forms an important activity in the field of software engineering. It is necessary to help understand the code, which facilitates comprehensive testing, maintenance and optimization of code. Aristotle is a tool for analyzing programs written in C. We have designed a system on similar lines for Java...
    Resource Type:
    Capstone Project
    Full Text:
    point 2. 4.1.3 CFG Requirements 1. The analysis information produced by the CFG Builder should be

  • Re-understanding Finite-State Representations of Recurrent Policy Networks

    Creator:
    Danesh, Mohamad H.
    Abstract:
    We propose an approach for understanding control policies represented as recurrent neural networks. Recent work has approached this problem by transforming such recurrent policy networks into finite-state machines (FSM) and then analyzing the equivalent minimized FSM. While this led to interesting insights, the minimization process can obscure a deeper understanding...
    Resource Type:
    Masters Thesis
    Full Text:
    Contribution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Related Works 3 2.1

  • Leveraging Structures of the Data in Deep Learning

    Creator:
    Li, Xingyi
    Abstract:
    The performance of deep learning frameworks could be significantly improved through considering the particular underlying structures for each dataset. In this thesis, I summarize our three work about boosting the performance of deep learning models through leveraging structures of the data. In the first work, we theoretically justify that, for...
    Resource Type:
    Dissertation
    Full Text:
    + λ ‖fi‖1 (2.17) where Ci−1 = fi−1∗(fi−2 . . . f1(C0)) is the solution from all the previous filters

  • 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:
    represented. Consider the non-variational problem of finding the sum of a set of numbers, such as ns = {1, 2

  • Stake-Free Evaluations of Black-Box Optimization and Spatio-Temporal Graph Network Algorithms

    Creator:
    Merrill, Erich, III
    Abstract:
    Papers proposing novel machine learning algorithms tend to present the algorithm or technique in question in the best possible light. The standard practice is generally for authors to emphasize their proposed algorithms' performance in the precise setting where it is maximally impressive, often by only fully evaluating their best known...
    Resource Type:
    Dissertation
    Full Text:
    the ‘Problem Setup and Background’ section of Chapter 2. TABLE OF CONTENTS Page 1 Introduction 1

  • Improving the Effectiveness of Answering Keyword Queries Using Effective Subsets

    Creator:
    Khodadadi, Abtin
    Abstract:
    Most database users do not know formal query languages, such as SQL, and prefer to express their information needs using usable query languages, such as keyword queries. Keyword queries, however, are inherently ambiguous and challenging for the database systems to understand and answer effectively. We propose a novel approach to...
    Resource Type:
    Capstone Project
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Related Works . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3 Impact of

  • Investigation of automatic construction of reactive controllers

    Creator:
    Westerberg, Caryl J.
    Abstract:
    In real-time control systems, the value of a control decision depends not only on the correctness of the decision but also on the time when that decision is available. Recent work in real-time decision making has used machine learning techniques to automatically construct reactive controllers, that is, controllers with little...
    Resource Type:
    Masters Thesis
    Full Text:
    Figures Figure Page 1. The half adder circuit 14 2. Off -line collection of training examples 17 3. On