Invited Talks

• 
  Neil Gershenfeld: Distributing Bits and Atoms. 1
• 
  Jo C. Ebergen: Circuits Without Clocks: What Makes Them Tick? 2
• 
  Maarten van Steen: Towards Very Large, Self-Managing Distributed Systems: Extended Abstract. 3-6

Distributed and Multiprocessor Algorithms I

• 
  Ariel Daliot, Danny Dolev, Hanna Parnas: Linear Time Byzantine Self-Stabilizing Clock Synchronization. 7-19
• 
  Ranganath Atreya, Neeraj Mittal, Vijay K. Garg: Detecting Locally Stable Predicates Without Modifying Application Messages. 20-33
• 
  Stefan Dobrev, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro: Multiple Agents RendezVous in a Ring in Spite of a Black Hole. 34-46
• 
  Jaap-Henk Hoepman: Splitters: Objects for Online Partitioning. 47-57

Peer-to-Peer Systems, Middleware I

• 
  Emmanuel Cecchet, Julie Marguerite, Willy Zwaenepoel: Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases. 58-70
• 
  Erik Klintskog, Valentin Mesaros, Zacharias El Banna, Per Brand, Seif Haridi: A Peer-to-Peer Approach to Enhance Middleware Connectivity. 71-82
• 
  Luc Onana Alima, Ali Ghodsi, Per Brand, Seif Haridi: Multicast in DKS(N, k, f) Overlay Networks. 83-95

Peer-to-Peer Systems, Middleware II

• 
  Khaled Chaaban, Paul Crubille, Mohamed Shawky: Real-Time Framework for Distributed Embedded Systems. 96-107
• 
  Kazuhiro Kojima: Self-Organization Approach of Communities for P2P Networks. 108-119
• 
  Vivien Quéma, Emmanuel Cecchet: The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience. 120-131

Real-Time and Embedded Systems

• 
  Bram De Wachter, Thierry Massart, Cédric Meuter: dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. 132-145
• 
  Cecilia Ekelin, Jan Jonsson: A Lower-Bound Algorithm for Load Balancing in Real-Time Systems. 146-158
• 
  Hacène Fouchal, Antoine Rollet: A Simple Testing Technique for Embedded Systems. 159-170

Verification, Models, Performance of Distributed Systems

• 
  Alper Sen, Vijay K. Garg: Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing. 171-183
• 
  Sandeep S. Kulkarni, Umamaheswaran Arumugam: Transformations for Write-All-with-Collision Model. 184-197
• 
  Ahmed M. Mohamed, Lester Lipsky, Reda A. Ammar: Transient Model for Jackson Networks and Its Approximation. 198-209

Distributed and Multiprocessor Algorithms II

• 
  Dariusz R. Kowalski, Mariam Momenzadeh, Alexander A. Shvartsman: Emulating Shared-Memory Do-All Algorithms in Asynchronous Message-Passing Systems. 210-222
• 
  Jiro Uchida, Wei Chen, Koichi Wada: Acknowledged Broadcasting and Gossiping in Ad Hoc Radio Networks. 223-234
• 
  Ernesto Jiménez, Antonio Fernández, Vicent Cholvi: Decoupled Interconnection of Distributed Memory Models. 235-246

last updated on Tue May 21 02:22:13 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page