Skip to main content
  • Conference proceedings
  • © 2004

Principles of Distributed Systems

7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3144)

Conference series link(s): OPODIS: International Conference on Principles of Distributed Systems

Conference proceedings info: OPODIS 2003.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (22 papers)

  1. Front Matter

  2. Invited Talk 1

    1. Distributing Bits and Atoms

      • Neil Gershenfeld
      Pages 1-1
  3. Invited Talk 2

  4. Invited Talk 3

  5. Distributed and Multiprocessor Algorithms I

    1. Linear Time Byzantine Self-Stabilizing Clock Synchronization

      • Ariel Daliot, Danny Dolev, Hanna Parnas
      Pages 7-19
    2. Detecting Locally Stable Predicates Without Modifying Application Messages

      • Ranganath Atreya, Neeraj Mittal, Vijay K. Garg
      Pages 20-33
    3. Multiple Agents RendezVous in a Ring in Spite of a Black Hole

      • Stefan Dobrev, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro
      Pages 34-46
    4. Splitters: Objects for Online Partitioning

      • Jaap-Henk Hoepman
      Pages 47-57
  6. Peer-to-Peer Systems, Middleware I

    1. Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases

      • Emmanuel Cecchet, Julie Marguerite, Willy Zwaenepoel
      Pages 58-70
    2. A Peer-to-Peer Approach to Enhance Middleware Connectivity

      • Erik Klintskog, Valentin Mesaros, Zacharias El Banna, Per Brand, Seif Haridi
      Pages 71-82
    3. Multicast in \({{\cal D\!K\!S}}(N,k,f)\) Overlay Networks

      • Luc Onana Alima, Ali Ghodsi, Per Brand, Seif Haridi
      Pages 83-95
  7. Peer-to-Peer Systems, Middleware II

    1. Real-Time Framework for Distributed Embedded Systems

      • Khaled Chaaban, Paul Crubillé, Mohamed Shawky
      Pages 96-107
  8. Real-Time and Embedded Systems

    1. dSL: An Environment with Automatic Code Distribution for Industrial Control Systems

      • Bram De Wachter, Thierry Massart, Cédric Meuter
      Pages 132-145
    2. A Lower-Bound Algorithm for Load Balancing in Real-Time Systems

      • Cecilia Ekelin, Jan Jonsson
      Pages 146-158
    3. A Simple Testing Technique for Embedded Systems

      • Hacène Fouchal, Antoine Rollet
      Pages 159-170
  9. Verification, Models, Performance of Distributed Systems

    1. Transformations for Write-All-with-Collision Model

      • Sandeep S. Kulkarni, Mahesh (Umamaheswaran) Arumugam
      Pages 184-197
    2. Transient Model for Jackson Networks and Its Approximation

      • Ahmed M. Mohamed, Lester Lipsky, Reda Ammar
      Pages 198-209

Other Volumes

  1. Principles of Distributed Systems

Keywords

  • Middleware
  • algorithm
  • algorithms
  • distributed systems
  • modeling
  • real-time
  • verification

Editors and Affiliations

  • Computer Science and Engineering, Chalmers University of Technology, Göteborg, Sweden

    Marina Papatriantafilou

  • Département Scientifique Inter-Facultés, BP 7109, Université des Antilles et de la Guyane, Campus de Schoelcher, GRIMAAG, Martinique, France

    Philippe Hunel

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions