Now showing items 1-20 of 22

    • 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 ...
    • Automated Downloading with Wget 

      Milligan, Ian (The Editorial Board of the Programming Historian, 2012-06-27)
      Wget is a useful program, run through your computer’s command line, for retrieving online material. It can be useful in the following situations: Retrieving or mirroring (creating an exact copy of) an entire website. ...
    • Contaminants and Nutrients in Traditional Food Fishes in Kluane Lake, YT 

      Zabel, Nelson; Swanson, Heidi; Branfireun, Brian; Kassi, Norma (2016-06)
      The outcomes of a collaborative project led by the Kluane First Nation (KFN), in partnership with the Arctic Institute of Community-Based Research (AICBR), the University of Waterloo, and Western University, are presented ...
    • Counting and Mining Research Data with Unix 

      Baker, James; Milligan, Ian (The Editorial Board of the Programming Historian, 2014-09-20)
      This lesson will look at how research data, when organised in a clear and predictable manner, can be counted and mined using the Unix shell. The lesson builds on the lessons “Preserving Your Research Data: Documenting and ...
    • DASH: Declarative Modelling with Control State Hierarchy (Preliminary Version) 

      Serna, Jose; Day, Nancy A.; Esmaeilsabzali, Shahram (University of Waterloo, 2018)
      We present a new language, called DASH, for describing formal behavioural models. DASH combines common modelling constructs to describe abstractly both data and control in an integrated manner. DASH uses the Alloy language ...
    • Data Scratchpad Prefetching for Real-time Systems 

      Soliman, Muhammad Refaat Sedky; 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 ...
    • Fast Multi-Level Co-Clustering 

      Xu, Haifeng (2013)
      We present a new multilevel method for hierarchical co-clustering. The fast multilevel co-clustering method (FMCC) implements a bi-coarsening process on the bipartite graph induced by the feature matrix. It does so in a ...
    • Fatigue Life Prediction of an Automotive Chassis System with Combined Hardening Material Model 

      George, John K.; Gross, Daniel; Jahed, Hamid; Roostaei, Ali Asghar (Society of Automotive Engineers, 2016-04-05)
      The choice of an appropriate material model with parameters derived from testing and proper modeling of stress-strain response during cyclic loading are the critical steps for accurate fatigue-life prediction of complex ...
    • Getting Started with Topic Modeling and MALLET 

      Graham, Shawn; Weingart, Scott; Milligan, Ian (The Editorial Board of the Programming Historian, 2012-09-02)
      In this lesson you will first learn what topic modeling is and why you might want to employ it in your research. You will then learn how to install and work with the MALLET natural language processing toolkit to do so. ...
    • HopliteRT Source Queuing Bound Correction 

      Elmor Lang, Ian; Pellizzoni, Rodolfo; Kapre, Nachiket (2020)
      We present a correction to the analytical source queuing bound for HopliteRT [1], [2], which addresses the counter-example put forward in Section IV-D of [3] by taking the effect of the in-flight jitter suffered by data ...
    • Introduction to the Bash Command Line 

      Milligan, Ian; Baker, James (The Editorial Board of the Programming Historian, 2014-09-20)
      This lesson uses a Unix shell, which is a command-line interpreter that provides a user interface for the Unix operating system and for Unix-like systems. This lesson will cover a small number of basic commands. By the end ...
    • Landowner Perceptions Of The Value Of Natural Forest And Natural Grassland In A Mosaic Ecosystem In Southern Brazil 

      Henderson, Kirsten A.; Reis, Mateus; Blanco, Carolina C.; Pillar, Valerio D.; Printes, Rodrigo C.; Bauch, Chris T.; Anand, Madhur (Springer, 2016-03-01)
      The forest-grassland mosaics of southern Brazil have been subject to many land use and policy changes over the decades. Like many grasslands around the world, the Campos grasslands are declining with few conservation efforts ...
    • Library Impact Practice Brief: Supporting Bibliometric Data Needs at Academic Institutions. 

      Gordon, Shannon; Hitchens, Alison (Association of Research Libraries, 2020-10-28)
      This practice brief presents research conducted by staff at the University of Waterloo Library as part of the library’s participation in ARL’s Research Library Impact Framework initiative. The research addressed the question, ...
    • The Religious, Spiritual, Secular And Social Landscapes of The Pacific Northwest – Part 1 

      Wilkins-Laflamme, Sarah (2017-09-01)
      This report stems from the SSHRC funded research project Religion, Spirituality, Secularity and Society in the Pacific Northwest, led by principal investigator Paul Bramadat in partnership with the Centre for Studies in ...
    • The Religious, Spiritual, Secular and Social Landscapes of the Pacific Northwest – Part 2 

      Wilkins-Laflamme, Sarah (2018-06-01)
      This report stems from the SSHRC funded research project Religion, Spirituality, Secularity and Society in the Pacific Northwest, led by principal investigator Paul Bramadat, Director of the Centre for Studies in Religion ...
    • Representing Behavioural Models with Rich Control Structures in SMT-LIB 

      Day, Nancy A.; Vakili, Amirhossein (University of Waterloo, 2015-09-01)
      We motivate and present a proposal for how to represent extended finite state machine behavioural models with rich hierarchical states and compositional control structures (e.g., the Statecharts family) in SMT-LIB. Our ...
    • Research Practices of Civil and Environmental Engineering Scholars at the University of Waterloo 

      Yu, Siu; Haas, Jennifer; Figueiredo, Rachel (Ithaka S+R, 2018-09-13)
      This report is an investigation of research practices of Civil and Environmental Engineering (CEE) scholars at the University of Waterloo. The study was conducted by the Library, and was part of a larger suite of parallel ...

      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