Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing: Portland, Oregon, USA, July 16 - 19, 2000
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
ACM Press
2000
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 344 S. Ill., graph. Darst. |
| ISBN: | 1581131836 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV013278763 | ||
| 003 | DE-604 | ||
| 005 | 20001109 | ||
| 007 | t| | ||
| 008 | 000801s2000 xx ad|| |||| 10||| eng d | ||
| 020 | |a 1581131836 |9 1-58113-183-6 | ||
| 035 | |a (OCoLC)477151914 | ||
| 035 | |a (DE-599)BVBBV013278763 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-20 |a DE-91G |a DE-29T |a DE-83 | ||
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 084 | |a DAT 250f |2 stub | ||
| 111 | 2 | |a Symposium on Principles of Distributed Computing |n 19 |d 2000 |c Portland, Or. |j Verfasser |0 (DE-588)10011465-9 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing |b Portland, Oregon, USA, July 16 - 19, 2000 |
| 246 | 1 | 3 | |a PODC 2000 |
| 264 | 1 | |a New York, NY |b ACM Press |c 2000 | |
| 300 | |a XII, 344 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2000 |z Portland Or. |2 gnd-content | |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 710 | 2 | |a Association for Computing Machinery |e Sonstige |0 (DE-588)1222-1 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009053484&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009053484 | |
Datensatz im Suchindex
| _version_ | 1820868210667290624 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
Invited Presentations
Tutorial I: Distributed Algorithms in TLA
Leslie Lamport
.3
Tutorial II: A Middleware Overview: Goals, .Research issues, and Coded Examples
Michael Ogg
.4
Data Communications vs. Distributed Computing
Craig Partridge
.5
How Computer Architecture Trends May Affect Future Distributed Systems:
From
InfìniBand
Clusters to Inter-processor Speculation
Mark D. Hill
.6
Towards Robust Distributed Systems
Eric A. Brewer
.7
Regular Presentations
Session Rl
Interval Routing Schemes allow Broadcasting with Linear Message Complexity
Pierre Fraigniaud, Cyril Gavoille, and Bernard Mans
.11
Optimal Smoothing Schedules for Real-time Streams
Yishay Mansour, Boaz Patt-Shamir, and
Ofer Lapid
.21
Average-case Analysis of Greedy Packet Scheduling
Zvi Lotker
and Boaz Patt-Shamir
.31
Sparse Communication Networks and Efficient Routing in the Plane
Yehuda Hassin and David Peleg
.41
Compact Roundtrip Routing in Directed Networks
Lenore Cowen and Christopher Wagner
.51
Session R2
Laziness Pays! Using Lazy Synchronization Mechanisms to Improve Non-blocking
Constructions
Mark Moir
.61
Long-lived and Adaptive Atomic Snapshot and Immediate Snapshot
Yehuda Afek. Gideon Stupp. and Dan Touitou
.71
Bounds on the Shared Memory Requirements for Long-lived and Adaptive Objects
Yehuda Afek.
Pazi
Boxer, and Dan Touitou
.81
Adaptive and Efficient Mutual Exclusion
Hagit
Attiva
and Vita Bortnikov
.01
ix
Session R3
Assigning
Labels in
Unknown Anonymous
Networks
Pierre Fraigniaud,
Andrzej
Pele,
David Peleg, and
Stéphane
Perennes .
101
The Wakeup Problem in Synchronous Broadcast
Systems
Leszek Gasieniec, Andrzej
Pele,
and David Peleg
.113
Random Oracles in Constantinople: Practical Asynchronous Byzantine Agreement
using Cryptography
Christian Cachin, Klaus Kursawe, and Victor Shoup
.123
Clock Synchronization with Faults and Recoveries
Boaz Barak, Shai Halevi, Amir
Herzberg,
and Dalit Naor
.133
k-Set Agreement with Limited Accuracy Failure Detectors
Achour Mostefaoui and Michel Raynal
.143
Session R4
Garbage Collection of Timestamped Data in Stampede
Rishiyur S. Nikhil and Umakishore Ramachandran
.153
On the interconnection of Causal Memory Systems
Antonio
Fernández,
Ernesto
Jiménez,
and Vicente Cholvi
.163
Distributed Reconfiguration of Metamorphic Robot Chains
Jennifer E. Walter, Jennifer L. Welch, and Nancy M.
Amato
.171
1/k Phase Stamping for Continuous Shared Data
Sumeer Bhola and Mustaque Ahamad
.181
Session R5
П2:
A Generic Proxy Platform for Wireless Access and Mobility in
CORBA
Michael
Knapp. Rainer Ruggaber,
and
Jochen Seitz .191
High Performance Adaptive Middleware for CORBA-based Systems
Е
-Kai
Shen, Shikharesh Majumdar, and Istabrak Abdul-Fatah
.199
Efficient Atomic Broadcast Using Deterministic Merge
Marcos Kawazoe
Aguilera
and Robert E. Strom
.209
Achieving Scalability and Expressiveness in an Internet-scale Event
Notifìcation
Service
Antonio Carzaniga, David S.
Rosenblum,
and Alexander L. Wolf
.219
X-abiiity: A Theory of Replication
Svend Frolund and Rachid Guerraoui
.229
Session R6
Debugging Distributed Programs Using Controlled Re-execution
Neeraj Mittal and
Vij
ay K. Garg
.239
Self-stabilizing Token Circulation on Asynchronous Uniform Unidirectional Rings
Laurent Rosaz
.249
Stable and Fault-tolerant Object Replication
Gregory Johnson and Ambuj Singh
.259
Resettabie Vector Clocks
Anish Arora, Sandeep
Kulkami,
and
Murat
Demirbas
.269
Session R7
Efficient Generation of All Regular Non-dominated Coteries
Kazuhisa Makino and Tiko Kameda
.279
Indulgent Algorithms
Rachid Guerraoui
.289
Fast Deterministic Consensus in a Noisy Environment
James Aspnes
.299
Stability of Long-lived Consensus
Shlomi Dolev and Sergio Rajsbaum
.309
Toward a Theory of Maximally Concurrent Programs
Rajeev Joshi and Jayadev Misra
.319
Brief Announcements
Session
BAI
Brief Announcement: A Verification Technique for Self-stabilizing Algorithms based on
Ljapunov's "Second Method"
Oliver Theel
.331
Brief Announcement: Time and Message-efficient S-based Consensus
Fabiola
Greve.
Michel Hurfin,
Raimundo Macedo,
and Michel Raynal
.332
Brief Announcement: Self-stabilization: Beyond the Token Ring Circulation
Augusto Ciuffoletti
.333
Brief Announcement: Optimal Implementation of the Weakest Failure Detector for
Solving Consensus
Mikel
Larrea,
Antonio
Fernández,
and Sergio
Arévalo
.334
Brief Announcement: Memory Consistency and Process Coordination for SPARC vS
Multiprocessors
Jalal
К
awash and Lisa Higham
.335
Brief Announcement: Deterministic Distributed Resource Discovery
Shav
Kutten
and David Peleg
.336
xi
Brief
Announcement: Compact Routing with Stretch Factor of Less Than Three
Kazuo Iwama and Akinori Kawachi
.337
Brief Announcement: Specification,
Implementation
and Application of Randomized
Regular Registers
Hyunyoung Lee and Jennifer L. Welch
.338
Brief Announcement: Distributed Cooperation in the Absence of Communication
Greg Malewicz, Alexander Russell, and Alex Shvartsman
.339
Brief Announcement: Average Probe Complexity of Non-dominated Coteries
Tiko Kameda, Feng Xiao, and Malika Guerni-Mahoui
.340
Brief Announcement: Fast Protocol Transition in A Distributed Environment
Xiaoming Liu and
Robbert
van
Renesse
.341
Author Index
.343
Xli |
| any_adam_object | 1 |
| author_corporate | Symposium on Principles of Distributed Computing Portland, Or |
| author_corporate_role | aut |
| author_facet | Symposium on Principles of Distributed Computing Portland, Or |
| author_sort | Symposium on Principles of Distributed Computing Portland, Or |
| building | Verbundindex |
| bvnumber | BV013278763 |
| classification_rvk | ST 200 |
| classification_tum | DAT 250f |
| ctrlnum | (OCoLC)477151914 (DE-599)BVBBV013278763 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV013278763</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20001109</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000801s2000 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1581131836</subfield><subfield code="9">1-58113-183-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)477151914</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013278763</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Principles of Distributed Computing</subfield><subfield code="n">19</subfield><subfield code="d">2000</subfield><subfield code="c">Portland, Or.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)10011465-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing</subfield><subfield code="b">Portland, Oregon, USA, July 16 - 19, 2000</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">PODC 2000</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">ACM Press</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 344 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2000</subfield><subfield code="z">Portland Or.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Computing Machinery</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1222-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009053484&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009053484</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2000 Portland Or. gnd-content |
| genre_facet | Konferenzschrift 2000 Portland Or. |
| id | DE-604.BV013278763 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:45Z |
| institution | BVB |
| institution_GND | (DE-588)10011465-9 (DE-588)1222-1 |
| isbn | 1581131836 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009053484 |
| oclc_num | 477151914 |
| open_access_boolean | |
| owner | DE-739 DE-20 DE-91G DE-BY-TUM DE-29T DE-83 |
| owner_facet | DE-739 DE-20 DE-91G DE-BY-TUM DE-29T DE-83 |
| physical | XII, 344 S. Ill., graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | ACM Press |
| record_format | marc |
| spelling | Symposium on Principles of Distributed Computing 19 2000 Portland, Or. Verfasser (DE-588)10011465-9 aut Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing Portland, Oregon, USA, July 16 - 19, 2000 PODC 2000 New York, NY ACM Press 2000 XII, 344 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2000 Portland Or. gnd-content Verteiltes System (DE-588)4238872-7 s DE-604 Association for Computing Machinery Sonstige (DE-588)1222-1 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009053484&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing Portland, Oregon, USA, July 16 - 19, 2000 Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4238872-7 (DE-588)1071861417 |
| title | Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing Portland, Oregon, USA, July 16 - 19, 2000 |
| title_alt | PODC 2000 |
| title_auth | Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing Portland, Oregon, USA, July 16 - 19, 2000 |
| title_exact_search | Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing Portland, Oregon, USA, July 16 - 19, 2000 |
| title_full | Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing Portland, Oregon, USA, July 16 - 19, 2000 |
| title_fullStr | Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing Portland, Oregon, USA, July 16 - 19, 2000 |
| title_full_unstemmed | Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing Portland, Oregon, USA, July 16 - 19, 2000 |
| title_short | Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing |
| title_sort | proceedings of the nineteenth annual acm symposium on principles of distributed computing portland oregon usa july 16 19 2000 |
| title_sub | Portland, Oregon, USA, July 16 - 19, 2000 |
| topic | Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Verteiltes System Konferenzschrift 2000 Portland Or. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009053484&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonprinciplesofdistributedcomputingportlandor proceedingsofthenineteenthannualacmsymposiumonprinciplesofdistributedcomputingportlandoregonusajuly16192000 AT associationforcomputingmachinery proceedingsofthenineteenthannualacmsymposiumonprinciplesofdistributedcomputingportlandoregonusajuly16192000 AT symposiumonprinciplesofdistributedcomputingportlandor podc2000 AT associationforcomputingmachinery podc2000 |