COMP 7313 - Network Model/Perf Analysis

(3) Mathematical modeling of networking problems; proving correctness of networking algorithms; applying optimization techniques to solving networking problems; deriving deterministic bounds on performance (approximation factors) for hard networking systems; deriving probabilistic guarantees on the performance of networking systems.