¡@¡@¡@¡@¡@¡@¡@Final program
¡@June 24, Tuesday
¡@¡@¡@Continental Breakfast (8:00-8:30)
¡@Section
0: (8:30-10:00)
¡@Invited speech.
¡@Speaker: Anish Arora
¡@Title: Taking Stabilization to
the Masses: Problems, Opportunities and Progress
¡@Abstract:
¡@This talk identifies recent trends in distributed computing and networking
that
¡@offer new opportunities for stabilization research. It also points out, from
¡@a systems perspective, criticisms of the stabilization approach that we believe
should be
¡@addressed for successfully dealing with these new opportunities.
¡@Finally, motivated by current demonstrations of sensor networks and internet
¡@services that we are presently engaged in, it presents some recent research
results on how to
¡@scale stabilization in time, in geographic size, in energy and in code size.
¡@¡@¡@Break (10:00-10:30)
¡@Section
1: (10:30-12:00)
¡@Title: A Pursuer-Evader Game for Sensor Networks
¡@Authors: M. Demirbas, A. Arora, M. Gouda
¡@Contact author: Murat Demirbas, demirbas@cis.ohio-state.edu
¡@Title: Collision-free
Communication in Sensor Networks
¡@Authors: S. S. Kulkarni, U. Arumugam
¡@Contact author: Sandeep S. Kulkarni, sandeep@cse.msu.edu
¡@Title: self-stabilizing pulse synchronization inspired
by biological pacemaker networks
¡@Authors: A. Daliot, D. Dolev, H. Parnas
¡@Contact author: Danny Dolev, dolev@cs.huji.ac.il
¡@¡@¡@Lunch (12:00-13:30)
¡@
¡@Section
2: (13:30-15:00)
¡@Title: Self-statilizing Algorithms for {k}-domination
¡@Authors: M. Gairing, S. T. Hedetniemi, P. Kristiansen,
A. A. McRae
¡@Contact author: Martin Gairing, gairing@uni-paderborn.de
¡@Title: Self-Stabilizing Group Communication in Directed
Networks
¡@Authors: S. Dolev, E. Schiller
¡@Contact author: Shlomi Dolev, dolev@cs.bgu.ac.il
¡@Title: Lyapunov Analysis of Neural Network Stability
in an Adaptive Flight Control System
¡@Authors: S. Yerramalla, B. Cukic, M. Mladenovski
¡@Contact author: Bojan Cukic, cukic@csee.wvu.edu
¡@
¡@Section
3: (15:30-17:00)
¡@Title: A Self-Stabilizing Algorithm for Token Circulation
by Using Edge-Tokens
¡@Authors: S. T. Huang, S. S. Hung
¡@Contact author: Prof.Shing-Tsaan Huang, sthuang@csie.ncu.edu.tw
¡@Title: Self-stabilizing Atomicity Refinement Allowing
Neighborhood Concurrency
¡@Authors: S. Cantarell, A. K. Datta, F. Petit
¡@Contact author: Ajoy K. Datta, datta@cs.unlv.edu
¡@Title: A new self-stabilizing k-out-of-l exclusion algorithm
on rings
¡@Authors: A. K. Datta, R. Hadid, V. Villain
¡@Contact author: Ajoy K. Datta, datta@cs.unlv.edu
¡@Transfer to Excursion/Banquet (17:45-18:30)
¡@Excursion/Banquet (19:00-22:00)
¡@June 25, Wednesday
¡@Continental Breakfast (8:00-8:30)
¡@
¡@Section
4: (8:30-10:00)
¡@Title: A Framework of Safe Stabilization
¡@Authors: S. Ghosh, A. Bejan
¡@Contact author: Sukumar Ghosh, ghosh@cs.uiowa.edu
¡@Title: A method for evaluating efficiency of protocols
on the asynchronous shared-state model
¡@Authors: Y. Nakaminami, T. Masuzawa, T. Herman
¡@Contact author: Ted Herman, herman@cs.uiowa.edu
¡@Title: A general Method for Constructing Self-Stabilizing
Algorithms with Logarithmic Time Complexity
¡@Authors: F. C. Gartner, H. Pagnia
¡@Contact author: Felix C. Gartner, fcg@acm.org
¡@Break (10:00-10:30)
¡@
¡@Section
5: (10:30-12:00)
¡@Title: A stabilizing solution to the stable-paths problem
¡@Authors: J. A. Cobb, M. G. Gouda, R. Musunuri
¡@Contact author: Jorge A. Cobb, cobb@utdallas.edu
¡@Title: Route Preserving Stabilization
¡@Authors: C. Johnen, S. Tixeuil
¡@Contact author: Sebastien Tixeuil, tixeuil@lri.fr
¡@Title: An improved snap-stabilizing pif algorithm
¡@Authors: L. Blin, A. Cournier, V. Villain
¡@Contact author: Vincent Villain, villain@laria.u-picardie.fr
¡@General Discussion (12:00-12:30)