Principles of Distributed Systems 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /
Principles of Distributed Systems 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers / [electronic resource] :
edited by Marina Papatriantafilou, Philippe Hunel.
- 1st ed. 2004.
- XV, 249 p. online resource.
- Lecture Notes in Computer Science, 3144 1611-3349 ; .
- Lecture Notes in Computer Science, 3144 .
Invited Talk 1 -- Distributing Bits and Atoms -- Invited Talk 2 -- Circuits Without Clocks: What Makes Them Tick? -- Invited Talk 3 -- Towards Very Large, Self-Managing Distributed Systems -- Distributed and Multiprocessor Algorithms I -- Linear Time Byzantine Self-Stabilizing Clock Synchronization -- Detecting Locally Stable Predicates Without Modifying Application Messages -- Multiple Agents RendezVous in a Ring in Spite of a Black Hole -- Splitters: Objects for Online Partitioning -- Peer-to-Peer Systems, Middleware I -- Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases -- A Peer-to-Peer Approach to Enhance Middleware Connectivity -- Multicast in Overlay Networks -- Peer-to-Peer Systems, Middleware II -- Real-Time Framework for Distributed Embedded Systems -- Self-Organization Approach of Communities for P2P Networks -- The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience -- Real-Time and Embedded Systems -- dSL: An Environment with Automatic Code Distribution for Industrial Control Systems -- A Lower-Bound Algorithm for Load Balancing in Real-Time Systems -- A Simple Testing Technique for Embedded Systems -- Verification, Models, Performance of Distributed Systems -- Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing -- Transformations for Write-All-with-Collision Model -- Transient Model for Jackson Networks and Its Approximation -- Distributed and Multiprocessor Algorithms II -- Emulating Shared-Memory Do-All Algorithms in Asynchronous Message-Passing Systems -- Acknowledged Broadcasting and Gossiping in Ad Hoc Radio Networks -- Decoupled Interconnection of Distributed Memory Models.
9783540278603
10.1007/b99477 doi
Computer science.
Computer networks .
Software engineering.
Computer programming.
Operating systems (Computers).
Computers, Special purpose.
Theory of Computation.
Computer Communication Networks.
Software Engineering.
Programming Techniques.
Operating Systems.
Special Purpose and Application-Based Systems.
QA75.5-76.95
004.0151
Invited Talk 1 -- Distributing Bits and Atoms -- Invited Talk 2 -- Circuits Without Clocks: What Makes Them Tick? -- Invited Talk 3 -- Towards Very Large, Self-Managing Distributed Systems -- Distributed and Multiprocessor Algorithms I -- Linear Time Byzantine Self-Stabilizing Clock Synchronization -- Detecting Locally Stable Predicates Without Modifying Application Messages -- Multiple Agents RendezVous in a Ring in Spite of a Black Hole -- Splitters: Objects for Online Partitioning -- Peer-to-Peer Systems, Middleware I -- Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases -- A Peer-to-Peer Approach to Enhance Middleware Connectivity -- Multicast in Overlay Networks -- Peer-to-Peer Systems, Middleware II -- Real-Time Framework for Distributed Embedded Systems -- Self-Organization Approach of Communities for P2P Networks -- The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience -- Real-Time and Embedded Systems -- dSL: An Environment with Automatic Code Distribution for Industrial Control Systems -- A Lower-Bound Algorithm for Load Balancing in Real-Time Systems -- A Simple Testing Technique for Embedded Systems -- Verification, Models, Performance of Distributed Systems -- Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing -- Transformations for Write-All-with-Collision Model -- Transient Model for Jackson Networks and Its Approximation -- Distributed and Multiprocessor Algorithms II -- Emulating Shared-Memory Do-All Algorithms in Asynchronous Message-Passing Systems -- Acknowledged Broadcasting and Gossiping in Ad Hoc Radio Networks -- Decoupled Interconnection of Distributed Memory Models.
9783540278603
10.1007/b99477 doi
Computer science.
Computer networks .
Software engineering.
Computer programming.
Operating systems (Computers).
Computers, Special purpose.
Theory of Computation.
Computer Communication Networks.
Software Engineering.
Programming Techniques.
Operating Systems.
Special Purpose and Application-Based Systems.
QA75.5-76.95
004.0151