Now showing items 1-6 of 6

    • Adding Reference Immutability to Scala 

      Zhao, Yaoyu (University of Waterloo, 2023-07-10)
      Scala is a multi-paradigm programming language combining the power of functional and object-oriented programming. While Scala has many features promoting immutability, it lacks a built-in mechanism for controlling and ...
    • Automated Compilation Framework for Scratchpad-based Real-Time Systems 

      Soliman, Muhammad Refaat Sedky (University of Waterloo, 2019-07-31)
      ScratchPad Memory (SPM) is highly adopted in real-time systems as it exhibits a predictable behaviour. SPM is software-managed by explicitly inserting instructions to move code and data transfers between the SPM and the ...
    • Automatic Loop Nest Parallelization for the Predictable Execution Model 

      Zhao, Gu (University of Waterloo, 2023-04-27)
      Currently, embedded real-time systems still widely use single-core processors. A major challenge in the adoption of multicore processors is the presence of shared hardware resources such as main memory. Contention between ...
    • Automating Programming Assignment Marking with AST Analysis 

      Li, Sichuang (University of Waterloo, 2019-01-14)
      This thesis presents a novel approach to automatically mark programming assignments. We hypothesize that correct student solution ASTs will be more similar to reference solution ASTs than incorrect student solutions and ...
    • Specification Based Bug Detection for Embedded Software 

      Chaudhary, Sandeep Kumar (University of Waterloo, 2014-11-05)
      Traditional compilers do not automatically analyze processor specifications, thousands of pages of which are available for modern processors. The specifications describe constraints and requirements for processors, and ...
    • Static Transformation of Power Consumption for Program Tracing and Software Attestation 

      Kauffman, Sean (University of Waterloo, 2017-01-12)
      This thesis presents methods to statically modify programs at compile-time to improve the effectiveness of power consumption based program analyses. Two related applications are considered, and algorithms are introduced ...

      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