ICDCS 2001.
Tuesday April 17th 2001. Technical Conference, Day 1
8:30am-9:00am Welcome and Introductions  
9:00am-10:00am Keynote - Ken Birman, Cornell University and Reliable Network Solutions Scalability: The Achilles Heel of an Increasingly Networked World
  Just about everything is moving to the network and this is happening
very rapidly.  Network technologies will need to scale very smoothly to
accomodate the likely loads and stresses of these emerging demands.  How
well do network applications scale, and what can we do about it?
10:00am-10:30am BREAK
10:30am-12 noon Session 1A: Distributed Algorithms Session Chair: Michel Raynal, IRISA, France
On Detecting Global Predicates in Distributed Computations N. Mittal and V. Garg, University of Texas, Austin, USA.
Backoff Protocols for Distributed Mutual Exclusion and Ordering G. Chockler, D. Malkhi, Hebrew University of Jerusalem, Israel, and M. Reiter, Lucent Bell Laboratories, USA.
Applications of Probabilistic Quorums to Iterative Algorithms H. Lee and J. Welch, Texas A&M University, College Station, USA.
10:30am-12 noon Session 1B: Distributed Operating Systems Session Chair: Vijay Karamcheti, New York University, New York, USA
MVSS: Multi-view Storage System X. Ma and A. Reddy, Texas A&M University, College Station, USA.
Selective Checkpointing and Rollbacks in Multithreaded Distributed Systems M. Kasbekar and C. Das, Pennsylvania State University, University Park, USA.
Efficient Generalized Deadlock Detection and Resolution in Distributed Systems S. Lee, Inchon National University of Education, Inchon, Korea.
10:30am-12 noon Session 1C: Distributed Agent Systems Session Chair: Shivakant Mishra, University of Colorado, Boulder, USA
A Framework for Modeling Agent-Oriented Software H. Xu and S. Shatz, University of Illinois, Chicago, USA.
Cost Effective Mobile Agent Planning for Distributed Information Retrieval J.-W. Baek, J.-H. Yeo, G.-T. Kim, and H.-Y. Yeom, Seoul National University, Korea.
Mobile Transactional Agents R. Sher, Technion, Haifa, Israel, Y. Aridor, and O. Etzion, IBM Research, Haifa, Israel.
12 noon - 1:30pm LUNCH
1:30pm-3:00pm Session 2A: Stabilization Problems Session Chair: Ajay Kshemkalyani, University of Illinois, Chicago,  USA
Tight Space Self-Stabilizing Uniform l-Mutual Exclusion M. Gradinariu and S. Tixeuil, Universite de Paris Sud, Orsay Cedex, France.
Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks A. Cournier, Université de Picardie Jules Verne, France, A. Datta, University of Nevada, Las Vegas, USA, F. Petit, and V. Villain, Université de Picardie Jules Verne, France.
Unifying Stabilization and Termination in Message-Passing Systems A. Arora, Ohio State University, Columbus, USA, and M. Nesterenko, Kent State University, Kent, USA.
1:30pm-3:00pm Session 2B:  Load Sharing and Migration Methods Session Chair: Christoph Steigner, Universitat Koblenz, Germany
Dynamic Load Sharing with Unknown Memory Demands in Clusters S. Chen, L. Xiao, and X. Zhang, College of William and Mary, Williamsburg, USA.
Dynamic Migration Algorithms for Distributed Object Systems V. Kalogeraki, P. Melliar-Smith, and L. Moser, University of California, Santa Barbara, USA.
The Home Model and Competitive Algorithms for Load Balancing in a Computing Cluster R. Lavi and A. Barak, Hebrew University, Jerusalem, Israel.
1:30pm-3:00pm Session 2C: Applications Session Chair: Luis E. T. Rodrigues, Universidade de Lisboa, Portugal
Robust Double Auction Protocol against False-Name Bids M. Yokoo, Y. Sakurai, and S. Matsubara, NTT Communication Science Laboratories, Kyoto, Japan.
An Analytical Study of Opportunistic Lease Renewal R. Burns, R. Rees, IBM Almaden, USA, and D. Long, University of California, Santa Cruz, USA.
Design and Evaluation of Redistribution Strategies for Wide-Area Commodity Distribution U. Çetintemel, University of Maryland, College Park, USA, B. Özden, Lucent Bell Laboratories, USA, M. Franklin, University of California, Berkeley, USA, and A. Silberschatz, Lucent Bell Laboratories, USA.
3:00pm-3:30pm BREAK
3:30pm-5:00pm Session 3A: Modeling and Simulation Session Chair: Philip McKinley, Michigan State University, East Lansing, USA
An Application-Oriented Approach for Distributed System Modeling and Simulation M. Nikolaidou, Universtiy of Athens, Greece, and D. Anagnostopoulos, Harokopian University of Athens, Greece.
Performance Tuning of Distributed Applications with CoSMoS C. Steigner and J. Wilke, University of Koblenz-Landau, Koblenz, Germany.
Distributed Network Simulations Using the Dynamic Simulation Backplane G. Riley, M. Ammar, R. Fujimoto, D. Xu, and K. Perumalla, Georgia Institute of Technology, Atlanta, USA.
3:30pm-5:00pm Sesion 3B: Network Management Session Chair: H. J. Siegel, Purdue University, West Lafayette, USA
Optimal Hash Routing for Web Proxies X. Tang and S. Chanson, Hong Kong University of Science and Technology, Hong Kong, China.
Robust TCP Congestion Recovery H. Wang and K. Shin, University of Michigan, Ann Arbor, USA.
An Application of Parameter Estimation to Route Discovery by On-Demand Routing Protocols J. Sucec and I. Marsic, Rutgers University, New Brunswick, USA.
3:30pm-5:00pm Session 3C: Real-Time Systems Session Chair: Chita Das, Pennsylvania State University, University Park, USA
Multiprocessor Preprocessing Algorithms for Uniprocessor On-Line Scheduling J. Goossens, Universite Libre de Bruxelles, Belgium, and S. Baruah, University of North Carolina, Chapel Hill, USA
Endpoint Admission Control: Network Based Approach B. Choi and R. Bettati, Texas A&M University, College Station, USA.
A Real-Time System for Tele-Surgery S. Butner, University of California, Santa Barbara, USA and M. Ghodoussi, Computer Motion, Goleta, USA.
6:00pm-8:00pm Conference Reception and Poster Session Session Chair: Rida Bazzi, Arizona State University, Tempe, USA
Dynamic Database Management for PCS Networks J. Li, University of Tsukuba, Japan and Y. Pan, Georgia State University, Atlanta, USA.
Optimal Placement of Read-Write Web Proxies in the Internet X. Jia, D. Li, X. Hu, City University of Hong Kong, China, and D. Du, University of Minnesota, Minneapolis, USA.
Token Based Group Mutual Exclusion for Asynchronous Rings S. Cantarell, Université de Paris-Sud, France, A. Datta, University of Nevada, Las Vegas, USA, F. Petit, and V. Villain, Université de Picardie Jules Verne, France.
Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems A. Girault, INRIA-BIP, France, C. Lavarenne, INRIA-SOSSO, France, M. Sighireanu, University of Paris, France, and Y. Sorel, INRIA-SOSSO, France.
Interagent Communication and Synchronization in DaAgent S. Mishra, University of Colorado, Boulder, USA and P. Xie, University of Wyoming, Laramie, USA.
A Lattice Based Framework for Distributed Shared Memory Consistency Models R. Steinke and G. Nutt, University of Colorado, Boulder, USA.
Appia: A Flexible Protocol Kernel Supporting Multiple Coordinated Channels H. Miranda, A. Pinto, and L. Rodrigues, Universidade de Lisboa, Portugal.
Adaptive Protocols for Agent Migration I. Satoh, Japan Science and technology Corporation, Japan
A Protocol Design of Communication State Transfer for Distributed Computing K. Chanchio and X.-H. Sun, Illinois Institute of Technology, Chicago, USA.
Pushing the Limits Of Multicast in Ad Hoc Networks K. Obraczka, G. Tsudik, and K. Viswanath, University of Southern Californina, Marina Del Ray, USA.
Maximizing Speedup through Performance Prediction for Distributed Shared Memory Systems Y.-C. Zhuang, C.-K. Shieh, and C.-H. Chou, National Cheng Kung University, Taiwan.
An Exercise in Proving Self-Stabilization through Ljapunov Functions O. Theel, Darmstadt University of Technology, Darmstadt, Germany.
Towards Communication-Sensitive Load Balancing J. Cruz and K. Park, Purdue University, West Lafayette, USA.
A Command and Control Support System Using CORBA J. Rodrigues Nt., V. Ulm de G. Lima, G. Lima, M. Ferreira,
J. Alves de Almeida, CASNAV - Brazilian Navy, Brasil, S. de Oliveira e Cruz, R. Cerqueira,
and C. Martins, Pontificia Universidade Catolica, Brasil.
Open Metadata Formats: Efficient XML-Based Communication for Heterogeneous Distributed Systems P. Widener, K. Schwan, and G. Eisenhauer, Georgia Institute of Technology, Atlanta, USA.
A Secure Access Control Mechanism against Internet Crackers K. Kourai, University of Tokyo, Japan, and S. Chiba, University of Tsukuba, Ibaraki, Japan.