Browsing by Supervisor "Cleary, John G."

Now showing items 1-5 of 5

  • Compilation of bottom-up evaluation for a pure logic programming language

    Clayton, Roger (The University of Waikato, 2005)
    Abstraction in programming languages is usually achieved at the price of run time efficiency. This thesis presents a compilation scheme for the Starlog logic programming language. In spite of being very abstract, Starlog ...
  • Controlling speculative execution through a virtually ordered memory system

    McWha, David J. A. (The University of Waikato, 2003)
    Processors which extract parallelism through speculative execution must be able to identify when mis-speculation has occurred. The three places where mis-speculation can occur are register accesses, control flow prediction ...
  • Design and evaluation of an optimistic CPU: the warp engine

    Littin, Richard H. (The University of Waikato, 2000)
    Instruction pipelining, out-of-order execution, and branch prediction are techniques that improve performance in processors by manipulating the flow of instructions. These control flow manipulations alone are not adequate ...
  • High precision timing in passive measurements of data networks

    Donnelly, Stephen F. (The University of Waikato, 2002)
    Understanding, predicting, and improving network behaviour under a wide range of conditions requires accurate models of protocols, network devices, and link properties. Accurate models of the component parts comprising ...
  • N-gram models of agreement in language

    Smith, Anthony Clive (The University of Waikato, 2000)
    Conventional n-gram language models are well-established as powerful yet simple mechanisms for characterising language structure when low data complexity is the primary objective. Much of their predictive power can be ...