Browsing Theses by Title
Now showing items 1071-1090 of 15591
-
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 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 ... -
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 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 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 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 ... -
Automatic Recognition and Generation of Affective Movements
(University of Waterloo, 2014-12-17)Body movements are an important non-verbal communication medium through which affective states of the demonstrator can be discerned. For machines, the capability to recognize affective expressions of their users and generate ... -
Automatic Refactoring for Renamed Clones in Test Code
(University of Waterloo, 2018-11-21)Unit testing plays an essential role in software development and maintenance, especially in Test-Driven Development. Conventional unit tests, which have no input parameters, often exercise similar scenarios with small ... -
Automatic segmentation of skin lesions from dermatological photographs
(University of Waterloo, 2013-08-21)Melanoma is the deadliest form of skin cancer if left untreated. Incidence rates of melanoma have been increasing, especially among young adults, but survival rates are high if detected early. Unfortunately, the time and ... -
Automatic Sequences and Decidable Properties: Implementation and Applications
(University of Waterloo, 2013-09-19)In 1912 Axel Thue sparked the study of combinatorics on words when he showed that the Thue-Morse sequence contains no overlaps, that is, factors of the form ayaya. Since then many interesting properties of sequences began ... -
Automatic Signature Matching in Component Composition
(University of Waterloo, 2008-05-12)Reuse is not a new concept in software engineering. Ideas, abstractions, and processes have been reused by programmers since the very early days of software development. In the beginning, since storage media was very ...