Browsing Mathematics (Faculty of) by Subject "Synthesis"
Now showing items 1-2 of 2
-
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 Puzzle-Based Synthesis Algorithm For a Triple Intersection of Schubert Varieties
(University of Waterloo, 2010-01-29)This thesis develops an algorithm for the Schubert calculus of the Grassmanian. Specifically, we state a puzzle-based, synthesis algorithm for a triple intersection of Schubert varieties. Our algorithm is a reformulation ...