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 |