Browsing University of Waterloo by Type "Conference Paper"
Now showing items 41-60 of 146
-
Duetto: Latency Guarantees at Minimal Performance Cost
(IEEE Design, Automation and Test in Europe Conference (DATE), 2021-02-05)The management of shared hardware resources in multi-core platforms has been characterized by a fundamental trade-off: high-performance arbiters typically employed in COTS systems offer no worst-case guarantees, while ... -
DuoMC: Tight DRAM Latency Bounds with Shared Banks and Near-COTS Performance
(ACM International Symposium on Memory Systems (MEMSYS 2021), 2021-09-27)DRAM memory controllers (MCs) in COTS systems are designed primarily for average performance, offering no worst-case guarantees, while real-time MCs provide timing guarantees at the cost of a significant average performance ... -
Effect of Bezel Presence and Width on Visual Search
(Association for Computing Machinery, 2014-06)We investigate how the presence and width of interior bezels impacts visual search performance across tiled displays. In spite of a potential benefit from structured segmentation, we do not find significant differences in ... -
The Effect of Input Signals Time-Delay on Stabilizing Traffic with Autonomous Vehicles
(IEEE, 2021-05)This paper extends the results in [1] considering time delays in Standard Car Following models (CFMs). In [1], connected vehicles are characterized with CFMs models and controlled using linear string analysis to stabilize ... -
The effect of interior bezel presence and width on magnitude judgement
(Canadian Human-Computer Communications Society, 2014-05)Large displays are often constructed by tiling multiple small displays, creating visual discontinuities from inner bezels that may affect human perception of data. Our work investigates how bezels impact magnitude judgement, ... -
Effective U-values and Shading Coefficients of Preheat/Supply Air Glazing Systems
(1986-06)Research is documented which makes use of a computer program called VISION, This computer program was developed specifically to provide a detailed analysis of heat transfer occurring in glazing systems. VISION was modified ... -
Efficient Simulation Of Complex Fenestration Systems In Heat Balance Room Models
(International Building Performance Simulation Association, 2011-11)The solar, longwave, and convective interactions between a window, its shading attachments and its surroundings constitute a complicated coupled heat balance problem that can entail significant computational intensity to ... -
Elements of Gameful Design Emerging from User Preferences
(Association for Computing Machinery, 2017-10-15)Several studies have developed models to explain player preferences. These models have been developed for digital games; however, they have been frequently applied in gameful design (i.e., designing non-game applications ... -
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools
(ACM, 2018-10)Software modelling is a challenging and error-prone task. Existing Model-Driven Engineering (MDE) tools provide modellers with little aid, partly because tool providers have not investigated users' difficulties through ... -
Evaluating the feasibility of administering a combination of online dietary assessment tools in a cohort of adults in Alberta, Canada
(2017-01)Purpose: Evidence suggests that combining tools, such as 24-hour recalls and food frequency questionnaires, may allow more accurate assessment of diet in epidemiologic studies. Webbased technology should make this approach ... -
An Examination of Keyes Universal Chart: 50 Years Later
(American Society of Heating, Refrigerating and Air-Conditioning Engineers, 2016-01)From the late 1940's to the late 1960's, significant efforts were made by ASHVE and then ASHRAE to evaluate and quantify the impact of window shading. In the context of the now defunct Shading Coefficient, well known ... -
Experimental Evaluation of Indoor Navigation Devices
(Sage, 2016-12-20)Augmented reality (AR) interfaces for indoor navigation on handheld mobile devices seem to greatly enhance directional assistance and user engagement, but it is sometimes challenging for users to hold the device at specific ... -
Extracting Counterexamples from Transitive-Closure-Based Model Checking
(IEEE, 2019)We address the problem of how to extract counterexamples for the transitive-closure-based model checking (TCMC) technique. TCMC is a representation of the CTLFC (CTL with fairness constraints) model checking problem in ... -
Felines, Foragers, and Physicists: Supporting Scientific Outreach with Multi-Surface and Multi-Space Games
(Association for Computing Machinery, 2016-11-06)We describe the design, development, and deployment of two scientific outreach games to support an open house event at an Institute for Quantum Computing (IQC) by an 11-member team of academics and practitioners over a ... -
Finding Community in the Ruins of GeoCities: Distantly Reading a Web Archive
(Institute of Electrical and Electronics Engineers, 2015-10)This paper provides a brief overview of my work with the GeoCities web archive. Asking the question of “can we find community,” I use it as a case study to explain various methods for distantly reading web archives -
Finite Model Finding Using the Logic of Equality with Uninterpreted Functions
(Springer, 2016)The problem of finite model finding, finding a satisfying model for a set of first-order logic formulas for a finite scope, is an important step in many verification techniques. In MACE-style solvers, the problem is mapped ... -
A First Look at Generating Website Fingerprinting Attacks via Neural Architecture Search
(Workshop on Privacy in the Electronic Society, 2023-11-26)An adversary can use website fingerprinting (WF) attacks to breach the privacy of users who access the web through encrypted tunnels like Tor. These attacks have increasingly relied on the use of deep neural networks (DNNs) ... -
A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models
(IEEE, 2019-09)Model-Driven Engineering has been proposed to increase the productivity of developing a software system. Despite its benefits, it has not been fully adopted in the software industry. Research has shown that modelling tools ... -
Food Literacy while Shopping: Motivating Informed Food Purchasing Behaviour with a Situated Gameful App
(ACM, 2020-04-25)Establishing healthy eating patterns early in life is critical and has implications for lifelong health. Situated interventions are a promising approach to improve eating patterns. How- ever, HCI research has emphasized ... -
Forced Convection From a Pair Of Spheres: A Three-Temperature Problem
(2015-05)Interaction of spherical particles in a fluid flow is important in combustion, chemical processes and air pollution. In this study, a recently developed technique for characterizing multi-temperature convective heat transfer ...