Browsing Computer Science by Title
Now showing items 547-566 of 1568
-
A Feature-Oriented Modelling Language and a Feature-Interaction Taxonomy for Product-Line Requirements
(University of Waterloo, 2013-12-18)Many organizations specialize in the development of families of software systems, called software product lines (SPLs), for one or more domains (e.g., automotive, telephony, health care). SPLs are commonly developed as a ... -
Features of a Multi-Threaded Memory Allocator
(University of Waterloo, 2008-01-21)Multi-processor computers are becoming increasingly popular and are important for improving application performance. Providing high-performance memory-management is important for multi-threaded programs. This thesis looks ... -
The Fence Complexity of Persistent Sets
(University of Waterloo, 2021-09-21)This thesis studies fence complexity of concurrent sets in a non-volatile shared memory model. I consider the case where CPU registers and cache memory remain volatile while main memory is non-volatile. Flush instructions ... -
Filtering News from Document Streams: Evaluation Aspects and Modeled Stream Utility
(University of Waterloo, 2016-08-04)Events like hurricanes, earthquakes, or accidents can impact a large number of people. Not only are people in the immediate vicinity of the event affected, but concerns about their well-being are shared by the local ... -
Filtering overfitted automatically-generated patches by using automated test generation
(University of Waterloo, 2018-01-17)"Generate-and-Validate'' (G&V) approaches to automatic program repair first generate candidate patches and then validate the patches against a test suite. Current G&V tools accept the first patch that passes all the test ... -
Finding Communities in Typed Citation Networks
(University of Waterloo, 2008-09-25)As the Web has become more and more important to our daily lives, algorithms that can effectively utilize the link structure have become more and more important. One such task has been to find communities in social network ... -
Finding Cost-Efficient Decision Trees
(University of Waterloo, 2014-08-06)Decision trees have been a popular machine learning technique for some time. Labelled data, examples each with a vector of values in a feature space, are used to create a structure that can assign a class to unseen examples ... -
Finding False Assurance in Formal Verification of Software Systems
(University of Waterloo, 2024-01-15)Formal verification plays a crucial role in enhancing the reliability of computing systems by mathematically checking the correctness of a program. Although recent years have witnessed lots of research and applications ... -
Finding Microblog Posts of User Interest
(University of Waterloo, 2012-04-24)Microblogging is an increasingly popular form of social media. One of the most popular microblogging services is Twitter. The number of messages posted to Twitter on a daily basis is extremely large. Accordingly, it becomes ... -
Finding Similar Protein Structures Efficiently and Effectively
(University of Waterloo, 2014-04-24)To assess the similarities and the differences among protein structures, a variety of structure alignment algorithms and programs have been designed and implemented. We introduce a low-resolution approach and a ... -
Fingerprinting Codes and Related Combinatorial Structures
(University of Waterloo, 2015-04-22)Fingerprinting codes were introduced by Boneh and Shaw in 1998 as a method of copyright control. The desired properties of a good fingerprinting code has been found to have deep connections to combinatorial structures such ... -
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 ... -
Fire Detection using RF Signals
(University of Waterloo, 2023-09-20)Structural fires can be a major threat to life and property. Contemporary smoke alarms suffer from drawbacks such as long response times, lack of penetration through walls, and nuisance (false-positive) alarms. In this ... -
FJMP: Factorized Joint Multi-Agent Motion Prediction
(University of Waterloo, 2023-08-30)Multi-agent motion prediction is an important problem in an autonomous driving pipeline, and it involves forecasting the future behaviour of multiple agents in complex driving environments. Autonomous vehicles (AVs) should ... -
Flashpoint: A Low-latency Serverless Platform for Deep Learning Inference Serving
(University of Waterloo, 2023-08-24)Recent breakthroughs in Deep Learning (DL) have led to high demand for executing inferences in interactive services such as ChatGPT and GitHub Copilot. However, these interactive services require low-latency inferences, ... -
FLECS: A Data-Driven Framework for Rapid Protocol Prototyping
(University of Waterloo, 2007-09-11)Flecs is a framework for facilitating rapid implementation of communication protocols. Forwarding functionality of protocols can be modeled as a combination of packet processing components called abstract switching elements ... -
Flexible Monitoring of Storage I/O
(University of Waterloo, 2009-06-26)For any computer system, monitoring its performance is vital to understanding and fixing problems and performance bottlenecks. In this work we present the architecture and implementation of a system for monitoring storage ... -
FlexQueue: Simple and Efficient Priority Queue for System Software
(University of Waterloo, 2018-05-18)Existing studies of priority queue implementations often focus on improving canonical operations such as insert and deleteMin, while sacrificing design simplicity and pre- dictable worst-case latency. Design simplicity is ... -
FlexSADRA: Flexible Structural Alignment using a Dimensionality Reduction Approach
(University of Waterloo, 2005)A topic of research that is frequently studied in Structural Biology is the problem of determining the degree of similarity between two protein structures. The most common solution is to perform a three dimensional ... -
Fluorescence and Adaptation of Color Images
(University of Waterloo, 2011-04-26)Color plays a vitally important role in the world we live in. It surrounds us everywhere we go. Achromatic life, restricted to black, white and grey, is extremely dull. Color fascinates artists, for it adds enormously ...