Browsing University of Waterloo by Title
Now showing items 1275-1294 of 18846
-
Automated Synthesis of Timed and Distributed Fault-Tolerant Systems
(University of Waterloo, 2015-09-21)This dissertation concentrates on the problem of automated synthesis and repair of fault-tolerant systems. In particular, given the required specification of the system, our goal is to synthesize a fault-tolerant system, ... -
Automated Test Framework For The Wireless Protocol Stack Development
(University of Waterloo, 2007-09-25)Testing plays an important role in the wireless protocol stack development. In order to free the testers out of the shielded chamber, allow both the developers and the testers to use the test systems remotely and maximize ... -
Automated topology optimisation of hybrid electric vehicle powertrains
(Inderscience publishers, 2015-11-04)Gasoline and electric powertrain components can be connected in numerous configurations to create hybrid powertrains. Owing to the exponential increase of permutations as the number of components increases, a framework to ... -
Automated Topology Synthesis and Optimization of Hybrid Electric Vehicle Powertrains
(University of Waterloo, 2014-09-17)This thesis presents a framework to automate the process of designing Hybrid Electric Vehicle (HEV) powertrain architectures. An algorithm was developed to assemble and compare all possible configurations of powertrain ... -
Automated underground pipe inspection using a unified image processing and artificial intelligence methodology
(University of Waterloo, 2000) -
Automatic Code Generation of Real-Time Nonlinear Model Predictive Control for Plug-in Hybrid Electric Vehicle Intelligent Cruise Controllers
(University of Waterloo, 2016-08-30)Control systems have always been a vital part of the novel technological advancements of human being in any industry, especially transportation. With the introduction of the idea of autonomous driving, classical control ... -
Automatic Datapath Abstraction Of Pipelined Circuits
(University of Waterloo, 2011-02-23)Pipelined circuits operate as an assembly line that starts processing new instructions while older ones continue execution. Control properties specify the correct behaviour of the pipeline with respect to how it handles ... -
Automatic detection of software failures with hierarchical supervisors
(University of Waterloo, 1997) -
Automatic Document Topic Identification Using Hierarchical Ontology Extracted from Human Background Knowledge
(University of Waterloo, 2013-02-22)The rapid growth in the number of documents available to various end users from around the world has led to a greatly increased need for machine understanding of their topics, as well as for automatic grouping of related ... -
Automatic Driver Fatigue Monitoring Using Hidden Markov Models and Bayesian Networks
(University of Waterloo, 2013-12-12)The automotive industry is growing bigger each year. The central concern for any automotive company is driver and passenger safety. Many automotive companies have developed driver assistance systems, to help the driver and ... -
Automatic estimation of aquifer parameters using long-term water supply pumping and injection records
(Springer, 2016-09-01)Analyses are presented of long-term hydrographs perturbed by variable pumping/injection events in a confined aquifer at a municipal water-supply well field in the Region of Waterloo, Ontario (Canada). Such records are ... -
Automatic Feature Recognition and Tool Path Generation Integrated with Process Planning
(University of Waterloo, 2012-09-06)The simulation and implementation of Automatic recognition of features from Boundary representation solid models and tool path generation for precision machining of features with free form surfaces is presented in this ... -
Automatic feature selection and weighting for the formation of homogeneous groups for regional IDF estimation
(Elsevier, 2019-08)The intensity-duration frequency (IDF) curve has been used as an effective tool to quantify the risk associated with the impact of extreme rainfall on civil infrastructure. However, recent changes in the rainfall climatology ... -
Automatic Generation of Real-Time Simulation Code for Vehicle Dynamics using Linear Graph Theory and Symbolic Computing
(University of Waterloo, 2007-05-14)In recent years, hardware-in-the-loop (HIL) simulation has assumed a prominent role in the vehicle development process. A physical part, which may be a prototype at any stage of development, is tested, while the rest of ... -
Automatic Identification of Algae using Low-cost Multispectral Fluorescence Digital Microscopy, Hierarchical Classification & Deep Learning
(University of Waterloo, 2019-12-05)Harmful algae blooms (HABs) can produce lethal toxins and are a rising global concern. In response to this threat, many organizations are monitoring algae populations to determine if a water body might be contaminated. ... -
An Automatic Image Recognition System for Winter Road Condition Monitoring
(University of Waterloo, 2011-02-22)Municipalities and contractors in Canada and other parts of the world rely on road surface condition information during and after a snow storm to optimize maintenance operations and planning. With an ever increasing ... -
Automatic Interferometric Alignment of a Free-Space Optical Coherence Tomography System
(University of Waterloo, 2011-04-18)Optical Coherence Tomography (OCT) is a relatively new interferometric technology that allows for high-resolution and non-destructive tomographic imaging. One of its primary current uses is for in vivo and ex vivo examination ... -
Automatic Loop Nest Parallelization for the Predictable Execution Model
(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 ... -
Automatic Parallelization for Graphics Processing Units in JikesRVM
(University of Waterloo, 2008-05-23)Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw performance. However, GPUs are currently ... -
Automatic Physical Design for XML Databases
(University of Waterloo, 2010-11-17)Database systems employ physical structures such as indexes and materialized views to improve query performance, potentially by orders of magnitude. It is therefore important for a database administrator to choose the ...