Search Constraints

Start Over
Filtering by: Committee Member Minoura, Toshi Remove constraint Committee Member: Minoura, Toshi

Search Results

  • G, a language based on demand-driven stream evaluations

    Creator:
    Placer, John R.
    Abstract:
    A programming paradigm can be defined as a model or an approach employed in solving a problem. The results of the research described in this document demonstrate that it is possible to unite several different programming paradigms into a single linguistic framework. The imperative, procedural, applicative, lambda-free, relational, logic and...
    Resource Type:
    Dissertation
    Full Text:
    my major advisor. Thank you Toshi Minoura for your friendship and for those long and chal- lenging

  • New bounds and constructions for error control codes

    Creator:
    Al-Darwish, Nasir Ali
    Abstract:
    The bulk of the theory on error control codes has been developed under the fault assumption of random (symmetric) errors, where 1 → 0 and 0 → 1 errors are equally likely. In the past few years, several applications have emerged in which the observed errors are highly asymmetric. This...
    Resource Type:
    Dissertation
    Full Text:
    . Torn Dietterich, Prof. Toshi Minoura, from the CS Dept., and Prof. David Alistot from the ECE Dept

  • Processor allocation & communication in networks

    Creator:
    Dhelaan, Abdullah
    Abstract:
    We will describe two known strategies for static processor allocation in an n-cube multiprocessor, namely the buddy system strategy and the gray code strategy, and then propose a new strategy that outperforms the first by (n-k+1) and the second by (n-k+1)/2 in cube recognition. Furthermore, our strategy is suitable for...
    Resource Type:
    Dissertation
    Full Text:
    Ph.D. committee members: Professor Tim Budd, Professor Bruce D'Ambrosio, Professor Toshi Minoura and

  • DataLab, a graphical system for specifying and synthesizing abstract data types

    Creator:
    Al-Mulhem, Muhammed Saleh
    Abstract:
    Formal methods using text to specify abstract data types (ADTs) are powerful, but they require great effort and a high level of expertise. Visual programming languages present an alternative way of programming but are limited to building small programs. This research presents an approach for specifying ADTs using a combination...
    Resource Type:
    Dissertation
    Full Text:
    my committee members: Prof. Tim Budd, Prof. Bruce D'Ambrosio, Prof. Toshi Minoura, and Prof. Walter

  • Balanced codes

    Creator:
    Al-Bassam, Sulaiman
    Abstract:
    Balanced codes, in which each codeword contains equally many 1's and 0's, are useful in such applications as in optical transmission and optical recording. When balanced codes are used, the same number of 1's and 0's pass through the channel after the transmission of every word, so the channel is...
    Resource Type:
    Dissertation
    Full Text:
    , Dr. Ted Lewis, Dr. Toshi Minoura, and Dr. Walter Rudd for serving on my committee and for their

  • Design and analysis of robust algorithms for fault tolerant computing

    Creator:
    Jang, Jai Eun
    Resource Type:
    Dissertation
    Full Text:
    Ted Lewis, Professor Toshi Minoura, Professor Pat Lenders and Professor Christopher Mundt for their

  • Embeddings in parallel systems

    Creator:
    Kwon, Younggeun
    Resource Type:
    Dissertation
    Full Text:
    other members in my committee: Prof. Toshi Minoura, Prof. Tim Budd, Prof. Vikram Saletore, and Prof