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

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.

Saved in:
Bibliographic Details
Main Authors: Papatriantafilou, Marina. editor., Hunel, Philippe. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
Subjects: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.,
Online Access:http://dx.doi.org/10.1007/b99477
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:210808
record_format koha
spelling KOHA-OAI-TEST:2108082018-07-30T23:43:11ZPrinciples of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers / Papatriantafilou, Marina. editor. Hunel, Philippe. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,2004.engInvited 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.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.Springer eBookshttp://dx.doi.org/10.1007/b99477URN:ISBN:9783540278603
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic 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.
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.
spellingShingle 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.
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.
Papatriantafilou, Marina. editor.
Hunel, Philippe. editor.
SpringerLink (Online service)
Principles of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /
description 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.
format Texto
topic_facet 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.
author Papatriantafilou, Marina. editor.
Hunel, Philippe. editor.
SpringerLink (Online service)
author_facet Papatriantafilou, Marina. editor.
Hunel, Philippe. editor.
SpringerLink (Online service)
author_sort Papatriantafilou, Marina. editor.
title Principles of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /
title_short Principles of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /
title_full Principles of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /
title_fullStr Principles of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /
title_full_unstemmed Principles of Distributed Systems [electronic resource] : 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers /
title_sort principles of distributed systems [electronic resource] : 7th international conference, opodis 2003, la martinique, french west indies, december 10-13, 2003, revised selected papers /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 2004
url http://dx.doi.org/10.1007/b99477
work_keys_str_mv AT papatriantafiloumarinaeditor principlesofdistributedsystemselectronicresource7thinternationalconferenceopodis2003lamartiniquefrenchwestindiesdecember10132003revisedselectedpapers
AT hunelphilippeeditor principlesofdistributedsystemselectronicresource7thinternationalconferenceopodis2003lamartiniquefrenchwestindiesdecember10132003revisedselectedpapers
AT springerlinkonlineservice principlesofdistributedsystemselectronicresource7thinternationalconferenceopodis2003lamartiniquefrenchwestindiesdecember10132003revisedselectedpapers
_version_ 1756268846207991808