29 citations · 55 across the 13 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.DC2017
Practically-Self-Stabilizing Vector Clocks in the Absence of Execution Fairness
Iosif Salem, Elad Michael Schiller
Vector clock algorithms are basic wait-free building blocks that facilitate causal ordering of events. As wait-free algorithms, they are guaranteed to complete their operations wit…
cs.NI2017★ 8 cited
Renaissance: A Self-Stabilizing Distributed SDN Control Plane using In-band Communications
Marco Canini, Iosif Salem, Liron Schiff +2
By introducing programmability, automated verification, and innovative debugging tools, Software-Defined Networks (SDNs) are poised to meet the increasingly stringent dependability…