Now showing items 1-3 of 3

    • Accelerating Mixed-Abstraction SystemC Models on Multi-Core CPUs and GPUs 

      Kaushik, Anirudh Mohan (University of Waterloo, 2014-04-28)
      Functional verification is a critical part in the hardware design process cycle, and it contributes for nearly two-thirds of the overall development time. With increasing complexity of hardware designs and shrinking ...
    • On the Near-Optimality of List Scheduling Heuristics for Local and Global Instruction Scheduling 

      Chase, Michael (University of Waterloo, 2006)
      Modern architectures allow multiple instructions to be issued at once and have other complex features. To account for this, compilers perform instruction scheduling after generating the output code. The instruction ...
    • Scala with Explicit Nulls 

      Nieto Rodriguez, Abel (University of Waterloo, 2019-12-20)
      The Scala programming language unifies the object-oriented and functional styles of programming. One common source of errors in Scala programs is null references. In this dissertation, I present a modification to the Scala ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages