|
Date
|
Speaker
|
Topic/Abstract
|
Slides
|
|
Feb. 9
|
Dimiter Avresky
|
“Adaptive
routing in irregular topologies in the presence of multiple node and links
failures. Analysis and Validation”; Abstract
|
-
|
|
Feb. 23
|
Carl Livadas
|
“Efficient
Gossiping for Effective Distributed Worm Detection”; Abstract
|
|
|
Mar. 9
|
Calvin Newport
|
“Oblivious
Byzantine Gossip in a Multichannel Radio Network”; Abstract
|
|
|
Mar. 16
|
Rui Fan
|
“The DHCP Failover Protocol: A Formal Perspective”; Abstract |
ppt
|
|
Mar. 23
|
Emilio Frazzoli
|
“Dynamic
Routing and Motion Coordination of Large-Scale Vehicle Networks”; Abstract
|
pdf
|
|
Apr. 6
|
James McLurkin
|
“Complexity
Metrics for Physical Computation on Multi-Robot Systems”; Abstract
|
ppt
|
|
Apr. 13
|
Ling Cheung
|
“Compositional
Security for Task-PIOAs”; Abstract
|
pdf
|
|
May 4
|
Achour Mostefaoui
|
“About agreement in asynchronous distributed systems”; Abstract |
ps1,
ps2,
ps3
|
|
May 11
|
TBA
|
|
|
