COMP 8313 - Ntwrk Dsgn/Perf Anlys

(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.