Search Constraints

Start Over
Filtering by: Committee Member Minoura, Toshi Remove constraint Committee Member: Minoura, Toshi Decade 1980-1989 Remove constraint Decade: 1980-1989

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