7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers Redaktion: Papatriantafilou, Marina; Hunel, Philippe
7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers Redaktion: Papatriantafilou, Marina; Hunel, Philippe
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Autorenporträt
Marina Papatriantafilou, Chalmers University of Technology, Gothenburg, Sweden / Philippe Hunel, Université des Antilles et de la Guyane, Campus de Schoelcher, Martinique, France
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
