Browsing Computer Science by Title
Now showing items 428-447 of 1547
-
Efficient Geo-Distributed Transaction Processing
(University of Waterloo, 2023-05-31)Distributed deterministic database systems support OLTP workloads over geo-replicated data. Providing these transactions with ACID guarantees requires a delay of multiple wide-area network (WAN) round trips of messaging ... -
An Efficient Geometric Multigrid Solver for Viscous Liquids
(ACM, 2019-07)We present an efficient geometric Multigrid solver for simulating viscous liquids based on the variational approach of Batty and Bridson [2008]. Although the governing equations for viscosity are elliptic, the strong ... -
Efficient Implementation of Parametric Polymorphism using Reified Types
(University of Waterloo, 2023-04-28)Parametric polymorphism is a language feature that lets programmers define code that behaves independently of the types of values it operates on. Using parametric polymorphism enables code reuse and improves the maintainability ... -
Efficient Inference of Transformers in Natural Language Processing: Early Exiting and Beyond
(University of Waterloo, 2023-01-24)Large-scale pre-trained transformer models such as BERT have become ubiquitous in Natural Language Processing (NLP) research and applications. They bring significant improvements to both academia benchmarking tasks and ... -
Efficient Liquid Animation: New Discretizations for Spatially Adaptive Liquid Viscosity and Reduced-Model Two-Phase Bubbles and Inviscid Liquids
(University of Waterloo, 2021-04-16)The work presented in this thesis focuses on improving the computational efficiency when simulating viscous liquids and air bubbles immersed in liquids by designing new discretizations to focus computational effort in ... -
Efficient Oblivious Database Joins
(University of Waterloo, 2020-12-10)A major algorithmic challenge in designing applications intended for secure remote execution is ensuring that their execution is oblivious to their inputs, in the sense that their memory access patterns do not leak sensitive ... -
Efficient Pattern Search in Large, Partial-Order Data Sets
(University of Waterloo, 2008-09-12)The behaviour of a large, distributed system is inherently complex. One step towards making this behaviour more understandable to a user involves instrumenting the system and collecting data about its execution. We can ... -
Efficient Pointer Analysis of Java in Logic
(University of Waterloo, 2017-05-16)Points-to analysis for Java benefits greatly from context sensitivity. CFL-reachability and k-limited context strings are two approaches to obtaining context sensitivity with different advantages: CFL-reachability ... -
Efficient Propagators for Global Constraints
(University of Waterloo, 2006)We study in this thesis three well known global constraints. The All-Different constraint restricts a set of variables to be assigned to distinct values. The <em>global cardinality constraint</em> (GCC) ensures that a ... -
Efficient Range and Join Query Processing in Massively Distributed Peer-to-Peer Networks
(University of Waterloo, 2008-06-17)Peer-to-peer (P2P) has become a modern distributed computing architecture that supports massively large-scale data management and query processing. Complex query operators such as range operator and join operator are ... -
Efficient Reasoning Techniques for Large Scale Feature Models
(University of Waterloo, 2009-01-20)In Software Product Lines (SPLs), a feature model can be used to represent the similarities and differences within a family of software systems. This allows describing the systems derived from the product line as a unique ... -
Efficient Representation and Encoding of Distributive Lattices
(University of Waterloo, 2018-08-20)This thesis presents two new representations of distributive lattices with an eye towards efficiency in both time and space. Distributive lattices are a well-known class of partially-ordered sets having two natural operations ... -
Efficient Resource Management for Cloud Computing Environments
(University of Waterloo, 2013-10-02)Cloud computing has recently gained popularity as a cost-effective model for hosting and delivering services over the Internet. In a cloud computing environment, a cloud provider packages its physical resources in data ... -
Efficient simulation of Hamiltonians
(University of Waterloo, 2010-08-18)The problem considered in this thesis is the following: We are given a Hamiltonian H and time t, and our goal is to approximately implement the unitary operator e^{-iHt} with an efficient quantum algorithm. We present an ... -
Efficient Structure-aware OLAP Query Processing over Large Property Graphs
(University of Waterloo, 2017-12-14)Property graph model is a semantically rich model for real-world applications that represent their data as graphs, e.g., communication networks, social networks, financial transaction networks. On-Line Analytical Processing ... -
Efficient Temporal Synopsis of Social Media Streams
(University of Waterloo, 2013-08-07)Search and summarization of streaming social media, such as Twitter, requires the ongoing analysis of large volumes of data with dynamically changing characteristics. Tweets are short and repetitious -- lacking context and ... -
Efficient Transaction Processing for Short-Lived Transactions in the Cloud
(University of Waterloo, 2014-01-23)The cloud, in the past few years, has become the preferred platform for hosting web applications. Many of these web applications store their data in a distributed cloud storage system, which greatly simplifies application ... -
Efficient Zero-Knowledge Proofs and Applications
(University of Waterloo, 2014-08-12)Zero-knowledge proofs provide a means for a prover to convince a verifier that some claim is true and nothing more. The ability to prove statements while conveying zero information beyond their veracity has profound ... -
Eggly: Designing Mobile Augmented Reality Neurofeedback Training Games for Children with Autism Spectrum Disorder
(University of Waterloo, 2023-07-19)Autism Spectrum Disorder (ASD) is a neurodevelopmental disorder that affects how children communicate and relate to other people and the world around them. Emerging studies have shown that neurofeedback training (NFT) games ... -
Elasca: Workload-Aware Elastic Scalability for Partition Based Database Systems
(University of Waterloo, 2013-05-14)Providing the ability to increase or decrease allocated resources on demand as the transactional load varies is essential for database management systems (DBMS) deployed on today's computing platforms, such as the cloud. ...