|
|
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. |
SSS |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Geunho Lee, Nak Young Chong |
A geometric approach to deploying robot swarms. |
Ann. Math. Artif. Intell. |
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. |
SSS |
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. |
Euro-Par |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Shlomi Dolev, Amos Israeli, Shlomo Moran |
Uniform Dynamic Self-Stabilizing Leader Election. |
IEEE Trans. Parallel Distributed Syst. |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Young-ri Choi, Chin-Tser Huang, Mohamed G. Gouda |
Stabilization of Flood Sequencing Protocols in Sensor Networks. |
IEEE Trans. Parallel Distributed Syst. |
2010 |
DBLP DOI BibTeX RDF |
flood sequencing protocol, sensor networks, Self-stabilization, sequence numbers |
19 | Shlomi Dolev, Nir Tzachar |
Spanders: distributed spanning expanders. |
SAC |
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. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
overlay networks, self-stabilization |
19 | Toshimitsu Masuzawa, Sébastien Tixeuil |
Stabilizing Locally Maximizable Tasks in Unidirectional Networks Is Hard. |
ICDCS |
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. |
AINA |
2010 |
DBLP DOI BibTeX RDF |
wireless networks, self-stabilization, TDMA |
19 | Shing-Tsaan Huang, Chi-Hung Tzeng |
Distributed edge coloration for bipartite networks. |
Distributed Comput. |
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. |
Distributed Comput. |
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. |
ACM Trans. Auton. Adapt. Syst. |
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. |
ACM Trans. Auton. Adapt. Syst. |
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. |
ACM Trans. Auton. Adapt. Syst. |
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. |
SSS |
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. |
SSS |
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. |
Euro-Par |
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. |
PODC |
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. |
OPODIS |
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. |
SRDS |
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. |
Distributed Comput. |
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. |
Distributed Comput. |
2008 |
DBLP DOI BibTeX RDF |
Peer-to-peer, Overlay networks, Self-stabilization |
19 | Christian Boulinier, Franck Petit, Vincent Villain |
Synchronous vs. Asynchronous Unison. |
Algorithmica |
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. |
SSS |
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. |
SSS |
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. |
MobiHoc |
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. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
total order broadcast, self-stabilization, group membership |
19 | Sushanta Karmakar, Arobinda Gupta |
Self-stabilizing Distributed Protocol Switching. |
ICDCN |
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. |
Annual Simulation Symposium |
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). |
Autonomics |
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. |
MPAC |
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. |
Distributed Comput. |
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. |
Distributed Comput. |
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. |
Distributed Comput. |
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. |
Distributed Comput. |
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. |
Distributed Comput. |
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. |
DSN |
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. |
SSS |
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). |
SSS |
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? |
SSS |
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. |
PODC |
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. |
PODC |
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. |
IEEE Trans. Mob. Comput. |
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. |
Real Time Syst. |
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. |
Distributed Comput. |
2006 |
DBLP DOI BibTeX RDF |
Smoothing networks, Self-stabilization, Counting networks |
19 | Mehmet Hakan Karaata |
Self-Stabilizing Clustering of Tree Networks. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
p-centers, Clustering, fault tolerance, distributed systems, tree, self-stabilization |
19 | Srikanta Tirthapura, Maurice Herlihy |
Self-Stabilizing Distributed Queuing. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
arrow protocol, self-stabilization, Distributed queue |
19 | Olga Brukman, Shlomi Dolev |
Recovery Oriented Programming. |
SSS |
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. |
SSS |
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. |
SSS |
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. |
SSS |
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. |
SSS |
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. |
PARELEC |
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. |
PODC |
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. |
PODC |
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. |
Distributed Comput. |
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. |
PODC |
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. |
PODC |
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. |
PODC |
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. |
ICDCS Workshops |
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. |
ICDCS Workshops |
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. |
SPAA |
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. |
Acta Informatica |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
J. ACM |
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. |
PODC |
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. |
PODC |
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. |
PODC |
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. |
PODC |
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. |
Distributed Comput. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
SwSTE |
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. |
ICDCS |
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. |
DISCEX (1) |
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. |
Distributed Comput. |
2002 |
DBLP DOI BibTeX RDF |
Maxima finding, Self-stabilization, Quorum, Coterie, Consensus protocol |
19 | Synnöve Kekkonen-Moneta |
Torus orientation. |
Distributed Comput. |
2002 |
DBLP DOI BibTeX RDF |
Randomized scheduler, Self-stabilization, Orientation, Randomized protocol |
19 | Mohamed G. Gouda |
Multiphase Stabilization. |
IEEE Trans. Software Eng. |
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. |
PODC |
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. |
ICDCS |
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. |
DIAL-M |
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. |
POMC |
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. |
SRDS |
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. |
SRDS |
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. |
Distributed Comput. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Trans. Parallel Distributed Syst. |
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. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
propagation of information with feedback, wave algorithms, Fault-tolerance, self-stabilization, snapshot, reset |
19 | Ted Herman |
Superstabilizing Mutual Exclusion. |
Distributed Comput. |
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. |
Distributed Comput. |
2000 |
DBLP DOI BibTeX RDF |
Self-stabilization, Spanning tree, Distributed mutual exclusion, Token passing |
19 | Ted Herman |
Phase Clocks for Transient Fault Repair. |
IEEE Trans. Parallel Distributed Syst. |
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. |
DSN |
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. |
IPDPS |
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. |
IPDPS |
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. |
Distributed Comput. |
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. |
Distributed Comput. |
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. |
PODC |
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. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
distributed algorithms, synchronizer, Broadcasting, self-stabilization, spanning tree |
19 | Augusto Ciuffoletti |
Uniform Timing of Multi-cast Service. |
ICDCS |
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][ >>] |
|