Browsing by Supervisor "Cleary, John G."

Now showing items 1-3 of 3

  • 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 ...
  • 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 ...