close
1.

図書

図書
Dahlia Malkhi (ed.)
出版情報: Berlin : Springer, c2002  x, 369 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2508
所蔵情報: loading…
2.

図書

図書
Jennifer Welch (ed.)
出版情報: Berlin : Springer, c2001  x, 341 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2180
所蔵情報: loading…
目次情報: 続きを見る
A Time Complexity Bound for Adaptive Mutual Exclusion / Y.-J. Kim ; J.H. Anderson
Quorum-Based Algorithms for Group Mutual Exclusion / Y.-J. Joung
An Effective Characterization of Computability in Anonymous Networks / P. Boldi ; S. Vigna
Competitive Hill-Climbing Strategies for Replica Placement in a Distributed File System / J.R. Douceur ; R.P. Wattenhofer
Optimal Unconditional Information Diffusion / D. Malkhi ; E. Pavlov ; Y. Sella
Computation Slicing: Techniques and Theory / N. Mittal ; V.K. Garg
A Low-Latency Non-blocking Commit Service / R. Jiménez-Peris ; M. Patiño-MartÆinez ; G. Alonso ; S. Arévalo
Stable Leader Election / M.K. Aguilera ; C. Delporte-Gallet ; H. Fauconnier ; S. Toueg
Adaptive Long-Lived O(k2)-Renaming with O(k2) Steps / M. Inoue ; S. Umetani ; T. Masuzawa ; H. Fujiwara
A New Synchronous Lower Bound for Set Agreement / M. Herlihy ; S. Rajsbaum ; M. Tuttle
The Complexity of Synchronous Iterative Do-All with Crashes / C. Georgiou ; A. Russell ; A.A. Shvartsman
Mobile Search for a Black Hole in an Anonymous Ring / S. Dobrev ; P. Flocchini ; G. Prencipe ; N. Santoro
Randomised Mutual Search for k > 2 Agents / J.-H. Hoepman
Self-Stabilizing Minimum Spanning Tree Construction on Message-Passing Networks / L. Higham ; Z. Liang
Self Stabilizing Distributed Queuing / S. Tirthapura
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings / F.E. Fich ; C. Johnen
Randomized Finite-State Distributed Algorithms as Markov Chains / M. Duflot ; L. Fribourg ; C. Picaronny
The Average Hop Count Measure for Virtual Path Layouts / D. Peleg ; U. Pincas
Efficient Routing in Networks with Long Range Contacts / L. Barrière ; P. Fraigniaud ; E. Kranakis ; D. Krizanc
An Efficient Communication Strategy for Ad-hoc Mobile Networks / I. Chatzigiannakis ; S. Nikoletseas ; P. Spirakis
A Pragmatic Implementation of Non-blocking Linked-Lists / T.L. Harris
Stabilizing Replicated Search Trees / T. Herman
Adding Networks / P. Fatourou
Author Index
A Time Complexity Bound for Adaptive Mutual Exclusion / Y.-J. Kim ; J.H. Anderson
Quorum-Based Algorithms for Group Mutual Exclusion / Y.-J. Joung
An Effective Characterization of Computability in Anonymous Networks / P. Boldi ; S. Vigna
3.

図書

図書
Rachid Guerraoui (ed.)
出版情報: Berlin : Springer, c2004  xiii, 464 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3274
所蔵情報: loading…
目次情報: 続きを見る
The Synchronous Condition-Based Consensus Hierarchy / Achour Mostefaoui ; Sergio Rajsbaum ; Michel Raynal
Synchronous Condition-Based Consensus Adapting to Input-Vector Legality / Taisuke Izumi ; Toshimitsu Masuzawa
Group-Solvability / Eli Gafni
The Notion of Veto Number and the Respective Power of ?P and ?S to Solve One-Shot Agreement Problems / Roy Friedman
The Black-White Bakery Algorithm and Related Bounded-Space, Adaptive, Local-Spinning and FIFO Algorithms / Gadi Taubenfeld
Local-Spin Group Mutual Exclusion Algorithms / Robert Danek ; Vassos Hadzilacos
On Quorum Systems for Group Resources with Bounded Capacity / Yuh-Jzer Joung
Bounded Version Vectors / Jose Bacelar Almeida ; Paulo Sergio Almeida ; Carlos Baquero
An Optimistic Approach to Lock-Free FIFO Queues / Edya Ladan-Mozes ; Nir Shavit
A Single-Enqueuer Wait-Free Queue Implementation / Matei David
Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS / Maged M. Michael
Efficient Adaptive Collect Using Randomization / Hagit Attiya ; Fabian Kuhn ; Mirjam Wattenhofer ; Roger Wattenhofer
Nonblocking Concurrent Data Structures with Condition Synchronization / William N. Scherer III ; Michael L. Scott
Dynamic Memory ABP Work-Stealing / Danny Hendler ; Yossi Lev
Coupling and Self-stabilization / Laurent Fribourg ; Stephane Messika ; Claudine Picaronny
Optimal Randomized Self-stabilizing Mutual Exclusion on Synchronous Rings / Philippe Duchon ; Nicolas Hanusse ; Sebastien Tixeuil
Virtual Mobile Nodes for Mobile Ad Hoc Networks / Shlomi Dolev ; Seth Gilbert ; Nancy A. Lynch ; Elad Schiller ; Alex A. Shvartsman ; Jennifer L. Welch
Contention-Free MAC Protocols for Wireless Sensor Networks / Costas Busch ; Malik Magdon-Ismail ; Fikret Sivrikaya ; Bulent Yener
Relationships Between Broadcast and Shared Memory in Reliable Anonymous Distributed Systems / James Aspnes ; Faith Fich ; Eric Ruppert
A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion / Yitzhak Birk ; Liran Liss ; Assaf Schuster ; Ran Wolff
Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies / Neeraj Mittal ; Subbarayan Venkatesan ; Sathya Peri
Routing with Improved Communication-Space Trade-Off / Ittai Abraham ; Cyril Gavoille ; Dahlia Malkhi
Active and Concurrent Topology Maintenance / Xiaozhou Li ; Jayadev Misra ; C. Greg Plaxton
Distributed Weighted Matching
Exploiting Content Localities for Efficient Search in P2P Systems / Lei Guo ; Song Jiang ; Li Xiao ; Xiaodong Zhang
Compact Routing Schemes for Bounded Tree-Length Graphs and for k-Chordal Graphs / Yon Dourisboure
Towards a Theory of Consistency Primitives / Ueli Maurer
Fault-Tolerant Storage in a Dynamic Environment / Uri Nadav ; Moni Naor
Non-skipping Timestamps for Byzantine Data Storage Systems / Rida A. Bazzi ; Yin Ding
Efficient Verification for Provably Secure Storage and Secret Sharing in Systems Where Half the Servers Are Faulty / Goran Konjevod
Optimal Dispersal of Certificate Chains / Eunjin Jung ; Ehab S. Elmallah ; Mohamed G. Gouda
On Byzantine Agreement over (2,3)-Uniform Hypergraphs / D.V.S. Ravikant ; V. Muthuramakrishnan ; V. Srikanth ; K. Srinathan ; C. Pandu Rangan
Author Index
The Synchronous Condition-Based Consensus Hierarchy / Achour Mostefaoui ; Sergio Rajsbaum ; Michel Raynal
Synchronous Condition-Based Consensus Adapting to Input-Vector Legality / Taisuke Izumi ; Toshimitsu Masuzawa
Group-Solvability / Eli Gafni
4.

図書

図書
Shay Kutten (ed.)
出版情報: Berlin : Springer, c1998  xi, 418 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1499
所蔵情報: loading…
目次情報: 続きを見る
Keynote Lectures
Sense of Direction in Distributed Computing / P. Flocchini ; B. Mans ; N. Santoro.
Top-Down Considerations on Distributed Computing / R. van der Meyden ; Y. Moses
Inter-Task Co-ordination in Long-Lived Distributed Applications / S. K. Shrivastava
Contributed Papers
Seamlessly Selecting the Best Copy from Internet-Wide Replicated Web Servers / Y. Amir ; A. Peterson ; D. Shaw
Wait-Free Synchronization in Quantum-Based Multiprogrammed Systems / J. H. Anderson ; R. Jain ; D. Ott
Computing in Totally Anonymous Asynchronous Shared Memory Systems / H. Attiya ; A. Gorbach ; S. Moran
Transient Fault Detectors / J. Beauquier ; S. Delaët ; S. Dolev ; S. Tixeuil
Directed Virtual Path Layouts in ATM Networks / J.-C. Bermond ; N. Marlin ; D. Peleg ; S. Perennes
A Decision-Theoretic Approach to Reliable Message Delivery / F. Chu ; J. Halpern
Propagation and Leader Election in a Multihop Broadcast Environment / I. Cidon ; O. Mokryn
The Arrow Distributed Directory Protocol / M. J.Demmer ; M. P. Herlihy
Efficient Byzantine Agreement Secure against General Adversaries / Matthias Fitzi ; Ueli Maurer
Long-Lived, Fast, Waitfree Renaming with Optimal Name Space and High Throughput / W. Eberly ; L. Higham ; J. Warpechowska-Gruca
The Compactness of Interval Routing for Almost All Graphs / C. Gavoille
A Wait-Free Classification of Loop Agreement Tasks / M. Herlihy ; S. Rajsbaum
A Stabilizing Repair Timer / T. Herman
Java: Memory Consistency and Process Coordination / J. Kawash
A Complete and Constant Time Wait-Free Implementation of CAS from LL/SC and Vice Versa / P. Jayanti
Failure Detection and Consensus in the Crash-Recovery Model / M. K. Aguilera ; W. Chen ; S. Toueg
A More Committed Quorum-Based Three Phase Commit Protocol / T. Kempster ; C. Stirling ; P. Thanisch
Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service / R. Khazan ; A. Fekete ; N. Lynch
Efficient Deadlock-Free Multi-dimensional Interval Routing in Interconnection Networks / R. Kralovic ; B. Rovan ; P. Ru icka ; D. Stefankovic
A New Protocol for Efficient Copperative Transversal Web Caching / J.-M. Menaud ; V. Issarny ; M. Banâtre
Fairness of Shared Objects / M. Merritt ; G. Taubenfeld
Optimistic Atomic Broadcast / F. Pedone ; A. Schiper
Approximate Agreement with Mixed Mode Faults: Algorithm and Lower Bound / R. Plunkett
Using Remote Access Histories for Thread Scheduling in Distributed Shared Memory Systems / A. Schuster ; L. Shalev
The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System / J. Sussman ; K. Marzullo
Lifetime Based Consistency Protocols for Distributed Objects / F. J. Torres-Rojas ; M. Ahamad ; M. Raynal
Deriving a Scalable Algorithm for Mutual Exclusion / Y.-K. Tsay
OFC: A Distributed Fossil-Collection Algorithm for Time-Warp / C. H. Young ; N. B. Abu-Ghazaleh ; P. A. Wilsey
Author Index
Keynote Lectures
Sense of Direction in Distributed Computing / P. Flocchini ; B. Mans ; N. Santoro.
Top-Down Considerations on Distributed Computing / R. van der Meyden ; Y. Moses
5.

図書

図書
Shlomi Dolev (ed.)
出版情報: Berlin : Springer, c2006  xv, 576 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4167
所蔵情報: loading…
6.

図書

図書
Pierre Fraigniaud (ed.)
出版情報: Berlin : Springer, c2005  xiv, 520 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3724
所蔵情報: loading…
7.

図書

図書
Maurice Herlihy (ed.)
出版情報: Berlin : Springer, c2000  viii, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1914
所蔵情報: loading…
8.

図書

図書
Prasad Jayanti (ed.)
出版情報: Berlin ; Tokyo : Springer, c1999  x, 355 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1693
所蔵情報: loading…
目次情報: 続きを見る
Invited Lecture
A Case for Message Oriented Middleware / Guruduth Banavar ; Tushar Chandra ; Robert Strom ; Daniel Sturman
Regular Papers
Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast (Won the Best Student Paper Award) / Marcos Kawazoe Aguilera ; Sam Toueg ; Borislav Deianov
Efficient Algorithms to Implement Unreliable Failure Detectors in Partially Synchronous Systems / Mikel Larrea ; Sergio Arevalo ; Antonio Fernandez
Solving Consensus Using Chandra-Toueg's Unreliable Failure Detectors: A General Quorum-Based Approach / Achour Mostéfaoui ; Michel Raynal
A Dynamic Primary Configuration Group Communication Service / Roberto De Prisco ; Alan Fekete ; Nancy Lynch ; Alex Shvartsman
Asynchronous Group Membership with Oracles / Kal Lin ; Vassos Hadzilacos
Generic Broadcast / Fernando Pedone ; Andre Schiper
Non-Blocking Asynchronous Byzantine Quorum Systems / Rida A. Bazzi
Byzantine Agreement Secure Against General Adversaries in the Dual Failure Model / Bernd Altmann ; Matthias Fitzi ; Ueli Maurer
Randomness Recycling in Constant-Round Private Computations / Carlo Blundo ; Clemente Galdi ; Pino Persiano
Abuse-free Multi-Party Contract Signing / Juan A. Garay ; Philip MacKenzie
Fair and Efficient Mutual Exclusion Algorithms / K. Alagarsamy ; K. Vidyasankar
Fast and Scalable Mutual Exclusion / James H. Anderson ; Yong-Jik Kim
The Congenial Talking Philosophers Problem in Computer Networks / Yuh-Jzer Joung
Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution / Ashis Tarafdar ; Vijay K. Garg
DUALITY: An Architecture Independent Design Model for Parallel Systems Based on Partial Order Semantics / Camelia Zlatea ; Tzilla Elrad
A New Rewrite Method for Proving Convergence of Self-Stabilizing Systems / Joffroy Beauquier ; Béatrice Berard ; Laurent Fribourg
Stabilization-Preserving Atomicity Refinement / Mikhail Nesterenko ; Anish Arora
Self-Testing/Correcting Protocols / Matthew Franklin ; Moti Yung
Randomization Helps to Perform Tasks on Processors Prone to Failures / Bogdan S. Chlebus ; Dariusz R. Kowalski
A New Scheduling Algorithm for General Strict Multithreaded Computations / Panagiota Fatourou ; Paul Spirakis
Consensus Numbers of Transactional Objects / Eric Ruppert
Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions / Maria Eleftheriou ; Marios Mavronicolas
Maintenance of a Spanning Tree in Dynamic Networks / Shay Kutten ; Avner Porat
Author Index
Invited Lecture
A Case for Message Oriented Middleware / Guruduth Banavar ; Tushar Chandra ; Robert Strom ; Daniel Sturman
Regular Papers
9.

図書

図書
Faith Ellen Fich (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 366 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2848
所蔵情報: loading…
10.

図書

図書
sponsored by ACM SIGACT
出版情報: New York : Association for Computing Machinery, c2002  vi, 106 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼