Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Michiko Inoue, Sen Moriya, Toshimitsu Masuzawa, Hideo Fujiwara |
Optimal Wait-Free Clock Synchronisation Protocol on a Shared-Memory Multi-processor System.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
shared-memory multi-processor system, napping fault, fault-tolerance, clock-synchronization, wait-freedom |
1 | Tamar Eilam, Shlomo Moran, Shmuel Zaks |
A Simple DFS-Based Algorithm for Linear Interval Routing.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Fred B. Schneider |
Towards Fault-Tolerant and Secure Agentry.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
Virtual Precedence in Asynchronous Systems: Cencept and Applications.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
Virtual Precedence, Check-pointing, Causality, Partial Order, Logical Clocks |
1 | King-Shan Lui, Shmuel Zaks |
Scheduling in Synchronous Networks and the Greedy Algorithm (Extended Abstract).  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Juan A. Garay, Rosario Gennaro, Charanjit S. Jutla, Tal Rabin |
Secure Distributed Storage and Retrieval.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch |
Revisiting the Paxos Algorithm.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
I/O automata models, fault-tolerance, formal verification, distributed consensus, partially synchronous systems |
1 | Prasad Jayanti, Sanjay Khanna |
On the Power of Multi-objects.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
waitfree, implementation, multi-objects, shared objects, object hierarchy |
1 | Michele Flammini, Enrico Nardelli, Guido Proietti |
ATM Layouts with Bounded Hop Count and Congestion.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Guerraoui, André Schiper |
Genuine Atomic Multicast.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Shmuel Katz, Patrick Lincoln, John M. Rushby |
Low-Overhead Time-Triggered Group Membership.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
time-triggered protocol, fault tolerance, formal modeling, group membership, synchronous algorithms |
1 | Scott D. Stoller |
Detecting Global Predicates in Distributed Systems with Clocks.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
distributed debugging, real-time monitoring, consistent global states, partially-synchronous systems, global predicate detection |
1 | Victor Luchangco |
Precedence-Based Memory Models.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Gehrke, C. Greg Plaxton, Rajmohan Rajaraman |
Rapid Convergence of a Local Load Balancing Algorithm for Asynchronous Rings.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jerry James, Ambuj K. Singh |
Fault Tolerance Bounds for Memory Consistency.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Reuter 0001 |
Workflow Management - An Exercise in Distributed Computing.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bogdan S. Chlebus, Roberto De Prisco, Alexander A. Shvartsman |
Performing Tasks on Restartable Message-Passing Processors.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Amos Beimel, Matthew K. Franklin |
Reliable Communication over Partially Authenticated Networks.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Kawazoe Aguilera, Wei Chen 0013, Sam Toueg |
Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yuh-Jzer Joung, Jen-Yi Liao |
Strong Interaction Fairness in a Fully Distributed System with Unbounded Speed Variability.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark Moir |
Transparent Support for Wait-Free Transactions.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Marios Mavronicolas, Philippas Tsigas (eds.) |
Distributed Algorithms, 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Nancy A. Lynch |
In Memory of Anna Pogosyants.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Colette Johnen, Gianluigi Alari, Joffroy Beauquier, Ajoy Kumar Datta |
Self-Stabilizing Depth-First Token Passing on Rooted Networks.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
self-stabilization, Mutual exclusion, spanning tree, token passing |
1 | Anna Pogosyants, Roberto Segala, Nancy A. Lynch |
Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study.  |
WDAG  |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Francisco J. Torres-Rojas, Mustaque Ahamad |
Plausible Clocks: Constant Size Logical Clocks for Distributed Systems.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shlomo Moran, Lihu Rappoport |
On the Robustness of h^r_m.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Malte Borderding |
Levels of Authentication in Distributed Agreement.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
crusader agreement, fault tolerance, distributed systems, authentication, Byzantine agreement |
1 | Tamar Eilam, Shlomo Moran, Shmuel Zaks |
A Lower Bound for Linear Interval Routing.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Kawazoe Aguilera, Sam Toueg |
Randomization and Failure Detection: A Hybrid Approach to Solve Consensus.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Peter Dickman |
Incremental, Distributed Orphan Detection and Actor Garbage Collection Using Graph Partitioning and Euler Cycles.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Cynthia Dwork, Ching-Tien Ho, H. Raymond Strong |
Collective Consistency.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hagit Attiya, Sergio Rajsbaum |
The Combinatorial Structure of Wait-free Solvable Tasks (Extended Abstract).  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Masaaki Mizuno, Hirotsugu Kakugawa |
A Timestamp Based Transformation of Self-Stabilizing Programs for Distributed Computing Environments.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rida A. Bazzi |
Planar Quorums.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
cost of failures, fault tolerance, distributed systems, planar graphs, quorum systems, load, percolation |
1 | Mark Moir, Juan A. Garay |
Fast, Long-Lived Renaming Improved and Simplified.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Anindya Basu, Bernadette Charron-Bost, Sam Toueg |
Simulating Reliable Links with Unreliable Links in the Presence of Process Crashes.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Hagit Attiya |
Efficient and Robust Sharing of Memory in Message-Passing Systems (Extended Abstract).  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Özalp Babaoglu, Keith Marzullo (eds.) |
Distributed Algorithms, 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996, Proceedings  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Domenico Ferrari |
Distributed Admission Control Algorithms for Real-Time Communication.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Fonseca 0003, Zoubir Mammeri |
A Framework for the Analysis of Non-Deterministic Clock Synchronisation Algorithms.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Soma Chaudhuri, Paul Reiners |
Understanding the Set Consensus Partial Order Using the Borowsky-Gafni Simulation (Extended Abstract).  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Fujita, Masafumi Yamashita |
Maintaining a Dynamic Set of Processors in a Distributed System.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
processor structure, amortized message complexity, data structure, group communication, dynamic set |
1 | Rachid Guerraoui, André Schiper |
"Gamma-Accurate" Failure Detectors.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Butler W. Lampson |
How to Build a Highly Available System Using Consensus.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Gambosi, Paola Vocca |
Topological Routing Schemes.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
Distributed systems, shortest paths, interval routing, compact routing tables |
1 | Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec |
Abstracting Communication to Reason about Distributed Algorithms.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Aohan Mei, Feng Bao 0004, Yukihiro Hamada, Yoshihide Igarashi |
Optimal Time Broadcasting in Faulty Star Networks.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Helena Rodrigues, Richard E. Jones |
A Cyclic Distributed Garbage Collector for Network Objects.  |
WDAG  |
1996 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed systems, algorithms, garbage collection, termination detection |
1 | Anish Arora, Mohamed G. Gouda |
Load Balancing: An Exercise in Constrainted Convergence.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
freedom from divergence, fault-tolerance, adaptivity, stabilization, stability, convergence, distributed control |
1 | Aleta Ricciardi |
Dissecting Distributed Coordination.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
exemption, asynchronous, failures, Agreement, uniformity |
1 | Prasad Jayanti |
Wait-free Computing.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Danny Dolev |
Theory and Practice in Distributed Systems (Abstract).  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Hélary, Michel Raynal (eds.) |
Distributed Algorithms, 9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13-15, 1995, Proceedings  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Louise E. Moser, P. M. Melliar-Smith |
Total Ordering Algorithms for Asynchronous Byzantine Systems.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Craig M. Chase, Vijay K. Garg |
Efficient Detection of Restricted Classes of Global Predicates.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michele Flammini, Giorgio Gambosi, Umberto Nanni, Richard B. Tan |
Multi-Dimensional Interval Routing Schemes.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
Compact Routing Methods, Interval Routing Schemes, Interconnection Networks, Shortest Paths, Dimensions |
1 | Gérard Le Lann |
On Real-Time and Non Real-Time Distributed Computing.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Franck Butelle, Christian Lavault, Marc Bui |
A Uniform Self-Stabilizing Minimum Diameter Tree Algorithm (Extended Abstract).  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Scott D. Stoller, Fred B. Schneider |
Faster Possibility Detection by Combining Two Approaches.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed G. Gouda |
The Triumph and Tribulation of System Stabilization.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Özalp Babaoglu, Renzo Davoli, Luigi-Alberto Giachini, Paolo Sabattini |
The Inherent Cost of Strong-Partial View-Synchronous Communication.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Baruch Awerbuch, Shay Kutten, Yishay Mansour, David Peleg |
Optimal Broadcast with Partial Knowledge (Extended Abstract).  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marc Shapiro 0001, Paulo Ferreira 0001 |
Larchant-RDOSS: a Distributed Shared Persistent Memory and its Garbage Collector.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Jakoby, Rüdiger Reischuk |
Data Transmission in Processor Networks.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Paul G. Spirakis, Basil Tampakas, Hera Antonopoulou |
Distributed Protocols Against Mobile Eavesdroppers.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
Theory of Distributed Computation, Privacy and Security, Algorithms and Data Structures |
1 | Rachid Guerraoui |
Revistiting the Relationship Between Non-Blocking Atomic Commitment and Consensus.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gene Itkis, Chengdian Lin, Janos Simon |
Deterministic, Constant Space, Self-Stabilizing Leader Election on Uniform Rings.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
Se If-Stabilization, Fault Tolerant, Finite Automata, Leader Election, Ring |
1 | Feng Bao 0004, Yoshihide Igarashi, Keiko Katano |
Broadcasting in Hypercubes with Randomly Distributed Byzantine Faults.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Malte Borcherding |
On the Number of Authenticated Rounds in Byzantine Agreement.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
fault tolerance, distributed systems, authentication, Byzantine Agreement |
1 | Jaap-Henk Hoepman, Marina Papatriantafilou, Philippas Tsigas |
Self-Stabilization of Wait-Free Shared Memory Objects.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | James H. Anderson, Mark Moir |
Universal Constructions for Large Objects.  |
WDAG  |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Twan Basten |
Breakpoints and Time in Distributed Computations.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
Vector time, Causality, Distributed debugging, Breakpoints, Global states |
1 | Jörg Keller 0001, Wolfgang J. Paul, Dieter Scheerer |
Realization of PRAMs: Processor Design.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jaap-Henk Hoepman |
Uniform Deterministic Self-Stabilizing Ring-Orientation on Odd-Length Rings.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
Communication, Synchronization, Shared Memory, Self-Stabilization, Orientation, Rings, Symmetry Breaking |
1 | Soma Chaudhuri, Mark R. Tuttle |
Fast Increment Registers.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Moti Yung |
Secure Distributed Computing: Theory and Practice.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Bala Swaminathan, Kenneth J. Goldman |
An Incremental Distributed Algorithm for Computing Biconnected Components (Extended Abstract).  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
distributed graph algorithms, dynamic configuration, biconnected components |
1 | Hagit Attiya, Rinat Rappoport |
The Level of Handshake Required for Establishing a Connection.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
incarnation, connectionless network, transport protocols, connection management |
1 | Frédéric Ruget |
Cheaper Matrix Clocks.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
matrix time, fault tolerance, distributed systems, causality, logical time |
1 | Lior Shabtay, Adrian Segall |
Low Complexity Network Synchronization.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
sparse covers, communication and time complexities, networks, distributed algorithms, synchronization |
1 | Wai-Kau Lo, Vassos Hadzilacos |
Using Failure Detectors to Solve Consensus in Asynchronous Sharde-Memory Systems (Extended Abstract).  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Baruch Awerbuch, Boaz Patt-Shamir, George Varghese, Shlomi Dolev |
Self-Stabilization by Local Checking and Global Reset (Extended Abstract).  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Juan A. Garay |
Reaching (and Maintaining) Agreement in the Presence of Mobile Faults (Extended Abstract).  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Manhoi Choy, Ambuj K. Singh |
Coping with Contention (Extended Abstract).  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
synchronization, randomization, multiprocessor systems, mutual exclusion, leader election |
1 | Arjen K. Lenstra |
Factoring.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hagit Attiya, Hadas Shachnai, Tami Tamir |
Local Labeling and Resource Allocation Using Preprocessing.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
locality, resource allocation, response time, orientation, labeling, preprocessing |
1 | Michiko Inoue, Wei Chen 0003 |
Linear-Time Snapshot Using Multi-writer Multi-reader Registers.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
atomic snapshot, lattice agreement problem, shared memory system, linearizability, wait-free algorithm |
1 | Israel Cidon, Ornan Ori Gerstel, Shmuel Zaks |
A Scalable Approach to Routing in ATM Networks.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ophir Rachman |
Anomalies in the Wait-Free Hierarchy.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Sibsankar Haldar, P. S. Subramanian |
Space-optimum Conflict-free Construction of 1-Writer 1-Reader Multivalued Atomic Variable.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Paola Alimonti, Paola Flocchini, Nicola Santoro |
Finding the Extrema of a Distributed Multiset.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Nechama Allenberg-Navony, Alon Itai, Shlomo Moran |
Average and Randomized Complexity of Distributed Problems.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Robert Cori, Shlomo Moran |
Exotic Behaviour of Consensus Numbers.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Özalp Babaoglu, Alberto Bartoli, Gianluca Dini |
Replicated File Management in Large-Scale Distributed Systems.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Mark Moir, James H. Anderson |
Fast, Long-Lived Renaming (Extended Abstract).  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gerard Tel, Paul M. B. Vitányi (eds.) |
Distributed Algorithms, 8th International Workshop, WDAG '94, Terschelling, The Netherlands, September 29 - October 1, 1994, Proceedings  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Yih-Kuen Tsay, Rajive L. Bagrodia |
An Algorithm with Optimal Failure Locality for the Dining Philosophers Problem.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
Strong, Fault-Tolerance, Synchronization, Resource Allocation, Lower Bounds, Fairness |
1 | André Schiper, Alain Sandoz |
Primary Partition "Virtually-Synchronous Communication" harder than Consensus.  |
WDAG  |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jaap-Henk Hoepman, John Tromp |
Binary Snapshots.  |
WDAG  |
1993 |
DBLP DOI BibTeX RDF |
waitfree implementations, shared memory, atomicity, snapshot, linearisability |