Search Constraints

Start Over
Filtering by: Creator Berstein, R. Remove constraint Creator: Berstein, R. Degree Field Computer Science Remove constraint Degree Field: Computer Science

Search Results

  • An implementation of a parallel processing package in LISP

    Creator:
    Harney, Donald William
    Abstract:
    The concept of a process is often used in connection with operations of parts of a computer system. This thesis discusses processes in terms of their use as representations of a physical object or system. Five primitives are introduced as operators for allowing processes to be run in a piecemeal...
    Resource Type:
    Masters Thesis

  • On-line deadlock detection in distributed computer systems

    Creator:
    Edemenang, Effiong James Akpan
    Abstract:
    A new algorithm, the Horizontal and Vertical Algorithm, for on-line detection of deadlocks in distributed computer systems, is presented. Two protocols for implementing the algorithm are given. The first protocol, the centralized protocol, is based on the assumption that one site in the network acts as the controller for global...
    Resource Type:
    Dissertation
    Full Text:
    a process holds a resource of class R. then it may re- quest for another resource of class Ri only

  • Variational Typing and Its Applications

    Creator:
    Chen, Sheng
    Abstract:
    The study of variational typing originated from the problem of type inference for variational programs, which encode numerous different but related plain programs. In this dissertation, I present a sound and complete type inference algorithm for inferring types of all plain programs encoded in variational programs. The proposed algorithm runs...
    Resource Type:
    Dissertation
    Full Text:
    verify that for the unification problems (2.1) and (2.2), UR returns θ2 23 UR : (τL,τR) → ξ UR(a