Efficient Identification of Additive Link Metrics: Theorem Proof and Evaluations

12/17/2020
by   Liang Ma, et al.
0

This is a technical report, containing all the theorem proofs and additional evaluations in paper "Efficient Identification of Additive Link Metrics via Network Tomography" by Liang Ma, Ting He, Kin K. Leung, Don Towsley, and Ananthram Swami, published in IEEE ICDCS, 2013.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/17/2020

Partial Network Identifiability: Theorem Proof and Evaluation

This is a technical report, containing all the theorem proofs and additi...
research
12/17/2020

Link Identifiability with Two Monitors: Proof of Selected Theorems

This is a technical report, containing all the theorem proofs in paper "...
research
12/18/2020

Additive Link Metrics Identification: Proof of Selected Lemmas and Propositions

This is a technical report, containing all the lemma and proposition pro...
research
12/18/2020

Identification of Additive Link Metrics: Proof of Selected Theorems

This is a technical report, containing all the theorem proofs in the fol...
research
12/17/2020

Failure Localization Capability: Theorem Proof and Evaluation

This is a technical report, containing all the theorem proofs and additi...
research
07/15/2022

Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL

We have formalised Szemerédi's Regularity Lemma and Roth's Theorem on Ar...

Please sign up or login with your details

Forgot password? Click here to reset