Principles of Distributed Systems [electronic resource] :7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /
Contributor(s): Papatriantafilou, Marina [editor.] | Hunel, Philippe [editor.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Computer Science: 3144Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Description: XV, 249 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540278603.Subject(s): Computer science | Computer communication systems | Special purpose computers | Computer programming | Software engineering | Operating systems (Computers) | Computers | Computer Science | Theory of Computation | Computer Communication Networks | Software Engineering | Programming Techniques | Operating Systems | Special Purpose and Application-Based SystemsOnline resources: Click here to access online
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.