Now showing items 546-565 of 1567

    • Feature Model Mining 

      She, Steven (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 

      Shaker, Pourya (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 

      Wasik, Ayelet (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 

      Coccimiglio, Gaetano (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 

      Baruah, Gaurav Makhon (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 

      Zhikhartsev, Alexey (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 

      Kroon, Frederick William (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 

      Dufour, David (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 

      Ji, Ru (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 

      Roegiest, Adam (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 

      Cui, Xuefeng (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 

      Guo, Chuan (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 

      Vakili, Amirhossein; Day, Nancy A. (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 

      Ma, Kai (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 

      Rowe, Luke (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 

      San Juan, Justin David Quitalig (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 

      Beg, Mirza Omer (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 

      Benke, Tim (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 

      Zhang, Yifan (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 

      Hui, Shirley (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 ...


      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages