Browsing Mathematics (Faculty of) by Subject "distributed systems"
Now showing items 1-8 of 8
-
An Analysis of Network-Partitioning Failures in Cloud Systems
(University of Waterloo, 2018-12-10)We present a comprehensive study of 136 system failures attributed to network-partitioning faults from 25 widely used distributed systems. We found that the majority of the failures led to catastrophic effects, such as ... -
Building Efficient Software to Support Content Delivery Services
(University of Waterloo, 2019-08-28)Many content delivery services use key components such as web servers, databases, and key-value stores to serve content over the Internet. These services, and their component systems, face unique modern challenges. Services ... -
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 ... -
The Impress Context Store: A Coordination Framework for Context-Aware Systems
(University of Waterloo, 2006)The dream of weaving technology into our everyday fabric of life is recently being made possible by advances in ubiquitous computing and sensor technologies. Countless sensors of various sizes have made their way into ... -
Local Reasoning for Parameterized First Order Protocols
(University of Waterloo, 2019-08-14)First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of parameterized distributed systems. However, specifying many natural objects, ... -
Performance Isolation in Cloud Storage Systems
(University of Waterloo, 2013-09-27)Cloud computing enables data centres to provide resource sharing across multiple tenants. This sharing, however, usually comes at a cost in the form of reduced isolation between tenants, which can lead to inconsistent ... -
Reducing the Latency of Dependent Operations in Large-Scale Geo-Distributed Systems
(University of Waterloo, 2021-10-14)Many applications rely on large-scale distributed systems for data management and computation. These distributed systems are complex and built from different networked services. Dependencies between these services can ... -
Security for Rural Public Computing
(University of Waterloo, 2008-09-15)Current research on securing public computing infrastructure like Internet kiosks has focused on the use of smartphones to establish trust in a computing platform or to offload the processing of sensitive information, and ...