|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 694 occurrences of 261 keywords
|
|
|
Results
Found 456 publication records. Showing 456 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer 0001, Bernd Becker 0001 |
Dependability Engineering of Silent Self-stabilizing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 238-253, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Geunho Lee, Nak Young Chong |
A geometric approach to deploying robot swarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 52(2-4), pp. 257-280, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 93C85 |
20 | Ajoy Kumar Datta, Maria Gradinariu Potop-Butucaru, Rajesh Patel, Ai Yamazaki |
Self* Minimum Connected Covers of Query Regions in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 204-218, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Gero Mühl, Michael A. Jaeger, Klaus Herrmann 0001, Torben Weis, Andreas Ulbrich, Ludger Fiege |
Self-stabilizing Publish/Subscribe Systems: Algorithms and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings, pp. 664-674, 2005, Springer, 3-540-28700-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Shlomi Dolev, Amos Israeli, Shlomo Moran |
Uniform Dynamic Self-Stabilizing Leader Election. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(4), pp. 424-440, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
distributed algorithms, synchronization, leader election, Self-stabilizing systems, randomized distributed algorithms |
19 | Johanne Cohen, Laurence Pilard, François Pirot, Jonas Sénizergues |
Self-stabilization and byzantine tolerance for maximal independt setb ELF-STABILIZATION. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.06116, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Young-ri Choi, Chin-Tser Huang, Mohamed G. Gouda |
Stabilization of Flood Sequencing Protocols in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 21(7), pp. 1042-1055, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
flood sequencing protocol, sensor networks, Self-stabilization, sequence numbers |
19 | Shlomi Dolev, Nir Tzachar |
Spanders: distributed spanning expanders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1309-1314, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
self-orgenization, self-stabilization, expanders |
19 | Andrew Berns, Sukumar Ghosh, Sriram V. Pemmaraju |
Brief announcement: a framework for building self-stabilizing overlay networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, PODC 2010, Zurich, Switzerland, July 25-28, 2010, pp. 398-399, 2010, ACM, 978-1-60558-888-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
overlay networks, self-stabilization |
19 | Toshimitsu Masuzawa, Sébastien Tixeuil |
Stabilizing Locally Maximizable Tasks in Unidirectional Networks Is Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 2010 International Conference on Distributed Computing Systems, ICDCS 2010, Genova, Italy, June 21-25, 2010, pp. 718-727, 2010, IEEE Computer Society, 978-0-7695-4059-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Distribtued algorithms, grundy coloring, unidirectionnal networks, self-stabilization, maximal independent set, maximal matching |
19 | Bezawada Bruhadeshwar, Kishore Kothapalli, Indira Radhika Pulla |
A Fully Dynamic and Self-Stabilizing TDMA Scheme for Wireless Ad-hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 24th IEEE International Conference on Advanced Information Networking and Applications, AINA 2010, Perth, Australia, 20-13 April 2010, pp. 511-518, 2010, IEEE Computer Society, 978-0-7695-4018-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
wireless networks, self-stabilization, TDMA |
19 | Shing-Tsaan Huang, Chi-Hung Tzeng |
Distributed edge coloration for bipartite networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 22(1), pp. 3-14, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Distributed system, Self-stabilization, Edge coloring |
19 | Baruch Awerbuch, Rohit Khandekar |
Greedy distributed optimization of multi-commodity flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 21(5), pp. 317-329, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Distributed algorithms, Self-stabilization, Multi-commodity flows, Statelessness |
19 | Praveen Danturi, Mikhail Nesterenko, Sébastien Tixeuil |
Self-stabilizing philosophers with generic conflicts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 4(1), pp. 7:1-7:20, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Self-stabilization, dining philosophers |
19 | Samia Souissi, Xavier Défago, Masafumi Yamashita |
Using eventually consistent compasses to gather memory-less mobile robots with limited visibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 4(1), pp. 9:1-9:27, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cooperation and Control, Point Formation, Self-Organizing Robots, Unreliable Compasses, Self-Stabilization, Autonomous Mobile Robots |
19 | Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte |
Self-stabilizing robot formations over unreliable networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 4(3), pp. 17:1-17:29, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cooperative mobile robotics, replicated state machines, Formal methods, distributed algorithms, self-stabilization, pattern formation |
19 | Jun Kiniwa, Kensaku Kikuta |
Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 443-457, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
safety under convergence, intentional fault model, multistage two-person zero sum game, game theory, self-stabilization, mutual exclusion, unfair scheduler |
19 | Joffroy Beauquier, Janna Burman, Shay Kutten |
Making Population Protocols Self-stabilizing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. Proceedings, pp. 90-104, 2009, Springer, 978-3-642-05117-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
transformer, self-stabilization, population protocols, cover time |
19 | Eddy Caron, Ajoy Kumar Datta, Benjamin Depardon, Lawrence L. Larmore |
A Self-stabilizing K-Clustering Algorithm Using an Arbitrary Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2009 Parallel Processing, 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009. Proceedings, pp. 602-614, 2009, Springer, 978-3-642-03868-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
K-clustering, self-stabilization, weighted graph |
19 | Joffroy Beauquier, Janna Burman, Julien Clément 0002, Shay Kutten |
Brief announcement: non-self-stabilizing and self-stabilizing gathering in networks of mobile agents--the notion of speed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, PODC 2009, Calgary, Alberta, Canada, August 10-12, 2009, pp. 286-287, 2009, ACM, 978-1-60558-396-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
gathering problem, networks of mobile agents, optimality, lower bounds, self-stabilization, complexity analysis, population protocols |
19 | Sylvie Delaët, Shlomi Dolev, Olivier Peres |
Safe and Eventually Safe: Comparing Self-stabilizing and Non-stabilizing Algorithms on a Common Ground. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 13th International Conference, OPODIS 2009, Nîmes, France, December 15-18, 2009. Proceedings, pp. 315-329, 2009, Springer, 978-3-642-10876-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
safety, self-stabilization |
19 | Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore |
A Self-Stabilizing O(n)-Round k-Clustering Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), Niagara Falls, New York, USA, September 27-30, 2009, pp. 147-155, 2009, IEEE Computer Society, 978-0-7695-3826-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
K-dominating set, K-clustering, silent, self-stabilization, unfair scheduler |
19 | Costas Busch, Malik Magdon-Ismail, Fikret Sivrikaya, Bülent Yener |
Contention-free MAC protocols for asynchronous wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 21(1), pp. 23-42, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
TDMA protocols, Wireless sensor networks, Self-stabilization, MAC protocols |
19 | Shlomi Dolev, Ronen I. Kat |
HyperTree for self-stabilizing peer-to-peer systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 20(5), pp. 375-388, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Peer-to-peer, Overlay networks, Self-stabilization |
19 | Christian Boulinier, Franck Petit, Vincent Villain |
Synchronous vs. Asynchronous Unison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 51(1), pp. 61-80, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Unison, Computational complexity, Self-stabilization, Phase synchronization |
19 | Doina Bein, Ajoy Kumar Datta, Chitwan K. Gupta, Lawrence L. Larmore |
Local Synchronization on Oriented Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 141-155, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Local mutual exclusion, oriented ring, synchronization, transformer, self-stabilization |
19 | Ajoy Kumar Datta, Lawrence L. Larmore, Priyanka Vemula |
Self-Stabilizing Leader Election in Optimal Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings, pp. 109-123, 2008, Springer, 978-3-540-89334-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Distributed algorithm, self-stabilization, leader election |
19 | Christian Scheideler, Andréa W. Richa, Paolo Santi |
An O(log n) dominating set protocol for wireless ad-hoc networks under the physical interference model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 9th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2008, Hong Kong, China, May 26-30, 2008, pp. 91-100, 2008, ACM, 978-1-60558-073-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
physical interference model, ad hoc networks, self-stabilization, dominating set |
19 | Luiz Angelo Steffenel, Manuele Kirsch-Pinheiro, Yolande Berbers |
Total order broadcast on pervasive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 2202-2206, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
total order broadcast, self-stabilization, group membership |
19 | Sushanta Karmakar, Arobinda Gupta |
Self-stabilizing Distributed Protocol Switching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking, 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008., pp. 203-208, 2008, Springer, 978-3-540-77443-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
protocol switching, BFS tree, DFS tree, broadcast, self-stabilization |
19 | Nils Müllner, Abhishek Dhama, Oliver E. Theel |
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), April 14-16, 2008, Ottawa, Canada, pp. 183-192, 2008, IEEE Computer Society, 0-7695-3143-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Simulation, Fault Tolerance, Reliability, Availability, Self-Stabilization |
19 | Shlomi Dolev, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas |
Strategies for repeated games with subsystem takeovers: implementable by deterministic and self-stabilizing automata (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomics ![In: Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, Autonomics 2008, September 23-25, 2008, Turin, Italy, pp. 37, 2008, ICST, 978-963-9799-34-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
folk-theorem, joint deviation, game theory, self-stabilization, finite-automata |
19 | Jan Hendrik Schönherr, Helge Parzyjegla, Gero Mühl |
Clustered publish/subscribe in wireless actuator and sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPAC ![In: Proceedings of the 6th International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2008), held at the ACM/IFIP/USENIX 9th International Middleware Conference, December 1-5, 2008, Leuven, Belgium, pp. 60-65, 2008, ACM, 978-1-60558-364-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
actuator and sensor networks, clustering, self-organization, self-stabilization, publish/subscribe |
19 | Amos Korman, Shay Kutten |
Distributed verification of minimum spanning trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 20(4), pp. 253-266, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Graph property verification, Proof labeling schemes, Self stabilization, Minimum spanning tree, Labeling schemes, Network algorithms |
19 | Mohamed G. Gouda, F. Furman Haddix |
The alternator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 20(1), pp. 21-28, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
System transformation, Serial execution, Distributed systems, Concurrency, Self-stabilization |
19 | Shlomi Dolev, Ted Herman |
Parallel composition for time-to-fault adaptive stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 20(1), pp. 29-38, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Adaptive stabilization, Self-stabilization, Automatic recovery |
19 | Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil |
Transient fault detectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 20(1), pp. 39-51, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fault detectors, Distributed systems, Self-stabilization, Transient faults |
19 | Alain Bui, Ajoy Kumar Datta, Franck Petit, Vincent Villain |
Snap-stabilization and PIF in tree networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 20(1), pp. 3-19, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Wave algorithms, Fault-tolerance, Optimality, Self-stabilization, Snap-stabilization |
19 | Yantao Song, Scott M. Pike |
Eventually k-Bounded Wait-Free Distributed Daemons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK, Proceedings, pp. 645-655, 2007, IEEE Computer Society, 0-7695-2855-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
self-stabilization, wait-freedom, daemons |
19 | Jaap-Henk Hoepman, Andreas Larsson, Elad Michael Schiller, Philippas Tsigas |
Secure and Self-stabilizing Clock Synchronization in Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 340-356, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Secure and Resilient Computer Systems, Sensor-Network Systems, Self-Stabilization, Clock-synchronization |
19 | Shlomi Dolev, Reuven Yagel |
Stabilizing Trustand Reputationfor Self-Stabilizing Efficient Hosts in Spite of Byzantine Guests (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 266-280, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
host systems, Byzantine programs, security, self-stabilization, trust and reputation |
19 | Mohamed G. Gouda, Yan Li |
The Truth System: Can a System of Lying Processes Stabilize? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 9th International Symposium, SSS 2007, Paris, France, November 14-16, 2007, Proceedings, pp. 311-324, 2007, Springer, 978-3-540-76626-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Distributed Systems, Self-Stabilization, Network Protocols |
19 | Joffroy Beauquier, Julien Clément 0002, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy |
Self-stabilizing counting in mobile sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 396-397, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fault tolerance, sensor networks, distributed algorithms, self-stabilization, mobile networks |
19 | Baruch Awerbuch, Rohit Khandekar |
Greedy distributed optimization of multi-commodity flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 274-283, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
distributed algorithms, self-stabilization, multi-commodity flows, statelessness |
19 | Shlomi Dolev, Elad Schiller, Jennifer L. Welch |
Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 5(7), pp. 893-905, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Ad hoc networks, self-stabilization, random walk, group communication |
19 | Wilfried Steiner, Michael Paulitsch, Hermann Kopetz |
The TTA's Approach to Resilience after Transient Upsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 32(3), pp. 213-233, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multiple failures, clique resolving, startup, self stabilization, recovery, Time-Triggered Architecture |
19 | Maurice Herlihy, Srikanta Tirthapura |
Self-stabilizing smoothing and balancing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 18(5), pp. 345-357, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Smoothing networks, Self-stabilization, Counting networks |
19 | Mehmet Hakan Karaata |
Self-Stabilizing Clustering of Tree Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(4), pp. 416-427, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
p-centers, Clustering, fault tolerance, distributed systems, tree, self-stabilization |
19 | Srikanta Tirthapura, Maurice Herlihy |
Self-Stabilizing Distributed Queuing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 17(7), pp. 646-655, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
arrow protocol, self-stabilization, Distributed queue |
19 | Olga Brukman, Shlomi Dolev |
Recovery Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 152-168, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
autonomic computing, self-stabilization |
19 | Chi-Hung Tzeng, Jehn-Ruey Jiang, Shing-Tsaan Huang |
Self-stabilizing Asynchronous Phase Synchronization in General Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 501-515, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fault tolerance, Distributed system, Self-Stabilization, Spanning tree, Phase Synchronization |
19 | Joffroy Beauquier, Sylvie Delaët, Sammy Haddad |
A 1-Strong Self-stabilizing Transformer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 95-109, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
k-strong, Transformer, Self-stabilization, Fault Containment |
19 | Thomas Hérault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier |
Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 574-575, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Spanning Tree Construction, Distributed Algorithm, Self-Stabilization, Failure Detectors, Large Scale Systems |
19 | Shing-Tsaan Huang, Chi-Hung Tzeng |
Distributed Edge Coloration for Bipartite Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 363-377, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Distributed system, Self-stabilization, Edge coloring |
19 | Adrian Kosowski, Lukasz Kuszner |
Energy Optimisation in Resilient Self-Stabilizing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: Fifth International Conference on Parallel Computing in Electrical Engineering (PARELEC 2006), 13-17 September 2006, Bialystok, Poland, pp. 105-110, 2006, IEEE Computer Society, 0-7695-2554-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
distributed algorithms, self-stabilization, asynchronous system, polynomial-time complexity |
19 | Amos Korman, Shay Kutten |
Distributed verification of minimum spanning trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, PODC 2006, Denver, CO, USA, July 23-26, 2006, pp. 26-34, 2006, ACM, 1-59593-384-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
graph property verification, proof labeling, distributed algorithms, self stabilization, minimum spanning tree, labeling schemes, network algorithms |
19 | Ariel Daliot, Danny Dolev |
Self-stabilizing byzantine agreement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, PODC 2006, Denver, CO, USA, July 23-26, 2006, pp. 143-152, 2006, ACM, 1-59593-384-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
pulse synchronization, self-stabilization, byzantine agreement, byzantine faults, reliable broadcast, transient failures |
19 | Anish Arora, Mikhail Nesterenko |
Unifying stabilization and termination in message-passing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 17(3), pp. 279-290, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
fault-tolerance, Self-stabilization, termination |
19 | Martin Hutle, Josef Widder |
Brief announcement: on the possibility and the impossibility of message-driven self-stabilizing failure detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 208, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
unreliable failure, fault tolerance, self-stabilization, timing models, detectors |
19 | Shlomi Dolev, Limor Lahiani, Seth Gilbert, Nancy A. Lynch, Tina Nolte |
Brief announcement: virtual stationary automata for mobile networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 323, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ad-hoc networks, mobile computing, self-stabilization, state replication, virtual infrastructure |
19 | Amos Korman, Shay Kutten, David Peleg |
Proof labeling schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 9-18, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
proof labels, self stabilization, distributed networks, property verification |
19 | Doina Bein, Ajoy Kumar Datta, Mehmet Hakan Karaata, Safaa Zaman |
An Optimal Snap-Stabilizing Multi-Wave Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 6-10 June 2005, Columbus, OH, USA, pp. 35-41, 2005, IEEE Computer Society, 0-7695-2328-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
propagation of information with feedback (PIF), propagation of information with feedback and cleaning (PFC), multi-wave algorithm, fault tolerance, distributing computing, self-stabilization, snap-stabilization |
19 | Doina Bein, Ajoy Kumar Datta, Vincent Villain |
Self-Stabilizing Optimal Local Routing in Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 6-10 June 2005, Columbus, OH, USA, pp. 564-570, 2005, IEEE Computer Society, 0-7695-2328-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
minimal distance, ad hoc network, distributed algorithm, self-stabilization, mobile network, optimal routing, local routing |
19 | Kishore Kothapalli, Christian Scheideler, Melih Onus, Andréa W. Richa |
Constant density spanners for wireless ad-hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 18-20, 2005, Las Vegas, Nevada, USA, pp. 116-125, 2005, ACM, 1-58113-986-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ad hoc networks, self-stabilization, dominating set, spanner |
19 | Shlomi Dolev, Elad Schiller |
Self-stabilizing group communication in directed networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 40(9), pp. 609-636, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Self-stabilization, Group communication, Directed networks |
19 | Shing-Tsaan Huang, Tzong-Jye Liu, Su-Shen Hung |
Asynchronous Phase Synchronization in Uniform Unidirectional Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 15(4), pp. 378-384, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
uniform ring, self-stabilization, transient fault, Phase synchronization |
19 | Shlomi Dolev, Jennifer L. Welch |
Self-stabilizing clock synchronization in the presence of Byzantine faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 51(5), pp. 780-799, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
self-stabilization, clock synchronization, Byzantine failures |
19 | Ariel Daliot, Danny Dolev, Hanna Parnas |
Brief announcement: linear time byzantine self-stabilizing clock synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 379, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
pulse synchronization, self-stabilization, clock synchronization, byzantine faults |
19 | Lisa Higham, Lixiao Wang |
Brief announcement: self-stabilizing distance-d distinct labels via enriched fair composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 377, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
distance d distinct labels, fair composition, link registers, Markov processes, self stabilization |
19 | Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch |
Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 378, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
sensor networks, tracking, self-stabilization, distributed data structures, fault-containment |
19 | Shlomi Dolev, Ted Herman, Limor Lahiani |
Brief announcement: polygonal broadcast, secret maturity and the firing sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 391, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
stateless routing, sensor networks, self-stabilization |
19 | Shing-Tsaan Huang, Ying-Sung Huang, Su-Shen Hung |
Alternators on uniform rings of odd size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 16(4), pp. 263-268, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Self-stabilization, Graph coloring, Clock synchronization, Concurrent processes, Alternator |
19 | Shlomi Dolev, Elad Schiller |
Communication Adaptive Self-Stabilizing Group Membership Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(7), pp. 709-720, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
fault tolerance, middleware, Self-stabilization, group communication |
19 | Olga Brukman, Shlomi Dolev, Elliot K. Kolodner |
Self-Stabilizing Autonomic Recoverer for Eventual Byzantine Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SwSTE ![In: 2003 IEEE International Conference on Software - Science, Technology and Engineering (SwSTE 2003), 4-5 November 2003, Herzelia, Israel, pp. 20-, 2003, IEEE Computer Society, 0-7695-2047-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Heisenbugs, monitors, safety, self-stabilization, liveness, restarters, automatic recovery |
19 | Alain Cournier, Ajoy Kumar Datta, Franck Petit, Vincent Villain |
Enabling Snap-Stabilizatio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 19-22 May 2003, Providence, RI, USA, pp. 12-19, 2003, IEEE Computer Society, 0-7695-1920-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
propagation of information with feedback, reset protocols, Fault-tolerance, self-stabilization, leader election, snapshot, snap-stabilization |
19 | Sudarshan Vasudevan, Brian DeCleene, Neil Immerman, James F. Kurose, Donald F. Towsley |
Leader Election Algorithms for Wireless Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCEX (1) ![In: 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA, pp. 261-272, 2003, IEEE Computer Society, 0-7695-1897-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
secure leader election, wireless ad hoc networks, self-stabilization, network protocols, formal specification and verification |
19 | Yiwei Chiao, Masaaki Mizuno, Mitchell L. Neilsen |
A self-stabilizing quorum-based protocol for maxima computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 15(1), pp. 49-55, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Maxima finding, Self-stabilization, Quorum, Coterie, Consensus protocol |
19 | Synnöve Kekkonen-Moneta |
Torus orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 15(1), pp. 39-48, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Randomized scheduler, Self-stabilization, Orientation, Randomized protocol |
19 | Mohamed G. Gouda |
Multiphase Stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(2), pp. 201-208, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multiphase recovery, periodic reset, spanning tree construction, convergence, self-stabilization, Computing system |
19 | Hongwei Zhang 0001, Anish Arora |
GS3: scalable self-configuration and self-healing in wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, PODC 2002, Monterey, California, USA, July 21-24, 2002, pp. 58-67, 2002, ACM, 1-58113-485-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
cellular hexagons, geographyaware, mobility, scalability, locality, dynamics, self-stabilization, self-healing, self-configuration, multi-hop wireless networks |
19 | Alain Cournier, Ajoy Kumar Datta, Franck Petit, Vincent Villain |
Snap-Stabilizing PIF Algorithm in Arbitrary Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), Vienna, Austria, July 2-5, 2002, pp. 199-206, 2002, IEEE Computer Society, 0-7695-1585-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
propagation of information with feedback, reset protocols, wave algorithms, Fault-tolerance, self-stabilization, snap-stabilization |
19 | Yu Chen 0017, Jennifer L. Welch |
Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIAL-M ![In: Proceedings of the 6th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M 2002), Atlanta, Georgia, USA, September 28-28, 2002, pp. 34-42, 2002, ACM, 1-58113-587-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
fault tolerance, mobile ad hoc networks, self-stabilization, mutual exclusion, token circulation |
19 | Xavier Défago, Akihiko Konagaya |
Circle formation for oblivious anonymous mobile robots with no common sense of orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POMC ![In: Proceedings of the 2002 Workshop on Principles of Mobile Computing, POMC 2002, October 30-31, 2002, Toulouse, France, pp. 97-104, 2002, ACM, 1-58113-511-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
anonymous computations, circle formation, cooperative mobile robotics, geometric pattern formation, oblivious computations, distributed algorithms, computational geometry, self-stabilization |
19 | Colette Johnen |
Service Time Optimal Self-Stabilizing Token Circulation Protocol on Anonymous Unidrectional Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan, pp. 80-, 2002, IEEE Computer Society, 0-7695-1659-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
anonymous ring, fault-tolerant, self-stabilization, mutual exclusion, distributed protocol, token circulation, service time, unfair scheduler |
19 | Christophe Genolini, Sébastien Tixeuil |
A Lower Bound on Dynamic k-Stabilization in Asynchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 21st Symposium on Reliable Distributed Systems (SRDS 2002), 13-16 October 2002, Osaka, Japan, pp. 212-, 2002, IEEE Computer Society, 0-7695-1659-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Dynamic problems, Lower bound, Self-stabilization, Asynchronous systems, Transient failures, Time adaptivity |
19 | Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg, Frédéric Magniette |
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 14(2), pp. 83-95, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Self-stabilization, Rewriting systems |
19 | Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno |
Symbolic Model Checking for Self-Stabilizing Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(1), pp. 81-95, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
distributed algorithms, Self-stabilization, symbolic model checking, automatic verification |
19 | Mehmet Hakan Karaata |
Self-Stabilizing Strong Fairness under Weak Fairness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 12(4), pp. 337-345, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
strong fairness, schedulers, Distributed systems, fairness, self-stabilization |
19 | Alain Cournier, Franck Petit, Vincent Villain, Ajoy Kumar Datta |
Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, USA, April 16-19, 2001, pp. 91-98, 2001, IEEE Computer Society, 0-7695-1077-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
propagation of information with feedback, wave algorithms, Fault-tolerance, self-stabilization, snapshot, reset |
19 | Ted Herman |
Superstabilizing Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 13(1), pp. 1-17, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Self-stabilization, Mutual exclusion, Fault-containment |
19 | Ajoy Kumar Datta, Colette Johnen, Franck Petit, Vincent Villain |
Self-stabilizing depth-first token circulation in arbitrary rooted networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 13(4), pp. 207-218, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Self-stabilization, Spanning tree, Distributed mutual exclusion, Token passing |
19 | Ted Herman |
Phase Clocks for Transient Fault Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(10), pp. 1048-1057, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fault tolerance, Distributed algorithms, synchronizers, self stabilization, fault containment, time adaptive |
19 | Yi-Min Wang, Wilf Russell, Anish Arora, Rajesh Jagannathan, Jun Xu |
Towards Dependable Home Networking: An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 43-48, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Power line control, Lookup service, Publish/subscribe eventing, Heterogeneous protocols, Security, Reliability, Manageability, Dependability, Self-stabilization, Extensibility, Heterogeneous networks, Home networking, Remote control, Home automation, Heterogeneous devices, Heartbeats, Soft states, Device discovery |
19 | Rachid Hadid |
Space and Time Efficient Self-Stabilizing l-Exclusion in Tree Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 529-534, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
L-exclusion, Fault-tolerance, Distributed Systems, Self-stabilization |
19 | Florent Nolot, Vincent Villain |
Limits and Power of the Simplest Uniform and Self-Stabilizing Phase Clock Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 541-546, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
uniform rings, fault-tolerance, distributed systems, self-stabilization, Clock synchronization |
19 | Mehmet Hakan Karaata, Pranay Chaudhuri |
A Self-Stabilizing Algorithm for Bridge Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 12(1), pp. 47-53, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Distributed systems, Self-stabilization, Bridge, Biconnected components |
19 | Shing-Tsaan Huang, Tzong-Jye Liu |
Self-stabilizing 2m-Clock for Unidirectional Rings of Odd Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 12(1), pp. 41-46, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Distributed systems, Self-stabilization, Clock synchronization |
19 | Joffroy Beauquier, Maria Gradinariu, Colette Johnen |
Memory Space Requirements for Self-Stabilizing Leader Election Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, PODC, '99Atlanta, Georgia, USA, May 3-6, 1999, pp. 199-207, 1999, ACM, 1-58113-099-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
memory space requirement, self-stabilization, mutual exclusion, decidability, leader election |
19 | Colette Johnen, Luc Onana Alima, Ajoy Kumar Datta, Sébastien Tixeuil |
Self-Stabilizing Neighborhood Synchronizer in Tree Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31 - June 4, 1999, pp. 487-494, 1999, IEEE Computer Society, 0-7695-0222-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
distributed algorithms, synchronizer, Broadcasting, self-stabilization, spanning tree |
19 | Augusto Ciuffoletti |
Uniform Timing of Multi-cast Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31 - June 4, 1999, pp. 478-486, 1999, IEEE Computer Society, 0-7695-0222-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
distributed timing, distributed algorithms, self-stabilization, distributed multimedia applications, broadcast communication, virtual clock |
Displaying result #101 - #200 of 456 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|