Browsing Computer Science by Title
Now showing items 542-561 of 1558
-
Fault Localization in All-Optical Mesh Networks
(University of Waterloo, 2013-05-23)Fault management is a challenging task in all-optical wavelength division multiplexing (WDM) networks. However, fast fault localization for shared risk link groups (SRLGs) with multiple links is essential for building a ... -
Fault Tolerant Multitenant Database Server Consolidation
(University of Waterloo, 2016-01-21)Server consolidation is important in situations where a sequence of database tenants need to be allocated (hosted) dynamically on a minimum number of cloud server machines. Given a tenant’s load defined by the amount of ... -
A Feature Interaction Resolution Scheme Based on Controlled Phenomena
(University of Waterloo, 2014-05-15)Systems that are assembled from independently developed features suffer from feature interactions, in which features affect one another's behaviour in surprising ways. To ensure that a system behaves as intended, developers ... -
Feature Model Mining
(University of Waterloo, 2008-08-28)<p>Software systems have grown larger and more complex in recent years. Generative software development strives to automate software development from a systems family by generating implementations using domain-specific ... -
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 ...