Principles of Distributed Systems 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Papatriantafilou, Marina (Επιμελητής έκδοσης), Hunel, Philippe (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
• Σειρά: Lecture Notes in Computer Science, 3144
• Θέματα: 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 Systems.

Πίνακας περιεχομένων:

• 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.