Browsing Mathematics (Faculty of) by Subject "Distributed Systems"
Now showing items 1-4 of 4
-
Automated Synthesis of Timed and Distributed Fault-Tolerant Systems
(University of Waterloo, 2015-09-21)This dissertation concentrates on the problem of automated synthesis and repair of fault-tolerant systems. In particular, given the required specification of the system, our goal is to synthesize a fault-tolerant system, ... -
A modular notation for monitoring network systems
(University of Waterloo, 2015-07-15)Design of next generation network systems with predictable behavior in all situations poses a significant challenge. Monitoring of events happening at different points in a distributed environment can detect the occurrence ... -
Performance Analysis of Distributed Virtual Environments
(University of Waterloo, 2006)A distributed virtual environment (DVE) is a shared virtual environment where multiple users at their workstations interact with each other. Some of these systems may support a large number of users, e. g. , massive ... -
Systems and Algorithms for Dynamic Graph Processing
(University of Waterloo, 2023-03-10)Data generated from human and systems interactions could be naturally represented as graph data. Several emerging applications rely on graph data, such as the semantic web, social networks, bioinformatics, finance, and ...