Now showing items 1-6 of 6

    • APPENDIX to DRAMbulism: Balancing Performance and Predictability through Dynamic Pipelining 

      Mirosanlou, Reza; Hassan, Mohamed; Pellizzoni, Rodolfo (2020-03-02)
      Worst-case execution bounds for real-time programs are highly impacted by the latency of accessing hardware shared resources, such as off-chip DRAM. While many different memory controller designs have been proposed in the ...
    • Appendix to: Dynamic Memory Bandwidth Allocation For Real-Time GPU-Based SOC Platforms 

      Aghilinasab, Homa; Ali, Waqar; Yun, Heechul; Pellizzoni, Rodolfo (2020)
      Appendix to: Dynamic Memory Bandwidth Allocation For Real-Time GPU-Based SOC Platforms
    • Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB 

      Abbassi, Ali; Day, Nancy A.; Rayside, Derek (2019-06-13)
      We present a variety of translation options for converting Alloy to SMT-LIB via Alloy’s Kodkod interface. Our translations, which are implemented in a library that we call Astra, are based on converting the set and relational ...
    • Data Scratchpad Prefetching for Real-time Systems 

      Soliman, Muhammad R.; Pellizzoni, Rodolfo (2017-05-01)
      In recent years, the real-time community has produced a variety of approaches targeted at managing on- chip memory (scratchpads and caches) in a predictable way. However, to obtain safe Worst-Case Execution Time (WCET) ...
    • Energy Consumption Analysis of XRP Validator 

      Roma, Crystal; Hasan, M. Anwar (2020)
      The XRP Ledger is an open-source payment system with a primary focus on providing an efficient cross-border payment network. The network achieves distributed consensus and prevents double-spending all while remaining ...
    • Worst Case Latency Analysis for Hoplite FPGA-based NoC 

      Wasly, Saud; Pellizzoni, Rodolfo; Kapre, Nachiket (2017-10-30)
      Overlay NoCs, such as Hoplite, are cheap to implement on an FPGA but provide no bounds on worst-case routing latency of packets traversing the NoC due to deflection routing. In this paper, we show how to adapt Hoplite to ...


      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