Principles of Distributed Systems: 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers | SpringerLink
Skip to main content
Springer Nature Link
Log in

Principles of Distributed Systems

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Marina Papatriantafilou

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Philippe Hunel

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: OPODIS 2003.

  • 5374 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook JPY 5719
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk 1

    1. Distributing Bits and Atoms

      • Neil Gershenfeld
      Pages 1-1

  3. Invited Talk 2

    1. Circuits Without Clocks: What Makes Them Tick?

      • Jo Ebergen
      Pages 2-2

  4. Invited Talk 3

    1. Towards Very Large, Self-Managing Distributed Systems

      • Maarten van Steen
      Pages 3-6

  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

    2. Self-Organization Approach of Communities for P2P Networks

      • Kazuhiro Kojima
      Pages 108-119

    3. The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience

      • Vivien Quéma, Emmanuel Cecchet
      Pages 120-131

  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. Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing

      • Alper Sen, Vijay K. Garg
      Pages 171-183

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

      • Sandeep S. Kulkarni, Mahesh (Umamaheswaran) Arumugam
      Pages 184-197

    3. Transient Model for Jackson Networks and Its Approximation

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

Other volumes

  1. Principles of Distributed Systems

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

Publish with us

Policies and ethics

Back to top

Search

Navigation