|
|
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 |
19 | Sajal K. Das 0001, Ajoy Kumar Datta, Sébastien Tixeuil |
Self-Stabilizing Algorithms in DAG Structured Networks. |
ISPAN |
1999 |
DBLP DOI BibTeX RDF |
fault-tolerance, Distributed systems, self-stabilization, directed acyclic graphs |
19 | Narutoshi Umemoto, Hirotsugu Kakugawa, Masafumi Yamashita |
A Self-Stabilizing Ring Orientation Algorithm With a Smaller Number of Processor States. |
IEEE Trans. Parallel Distributed Syst. |
1998 |
DBLP DOI BibTeX RDF |
ring orientation, fault-tolerance, Distributed algorithm, self-stabilization, ring network |
19 | Sukumar Ghosh, Arobinda Gupta, Sriram V. Pemmaraju |
A Self-Stabilizing Algorithm for the Maximum Flow Problem. |
Distributed Comput. |
1997 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Distributed algorithms, Self-stabilization, Maximum flow |
19 | Hirotsugu Kakugawa, Masafumi Yamashita |
Uniform and Self-Stabilizing Token Rings Allowing Unfair Daemon. |
IEEE Trans. Parallel Distributed Syst. |
1997 |
DBLP DOI BibTeX RDF |
unfair daemon, fault tolerance, distributed algorithms, self-stabilization, mutual exclusion, Ring networks |
19 | Sukumar Ghosh, Arobinda Gupta, Sriram V. Pemmaraju |
Fault-containing network protocols. |
SAC |
1997 |
DBLP DOI BibTeX RDF |
fault-containment network, fault-tolerance, self-stabilization |
19 | 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 |
19 | Amit Anil Nanavati |
A simple self-stabilizing reset protocol. |
SAC |
1996 |
DBLP DOI BibTeX RDF |
distributed algorithms, graph algorithms, self-stabilization, network protocols, I/O automata |
19 | 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 |
19 | Marina Papatriantafilou, Philippas Tsigas |
On Self-Stabilizing Wait-Free Clock Synchronization. |
SWAT |
1994 |
DBLP DOI BibTeX RDF |
PRAM computation model, Fault tolerance, Concurrency, Distributed Computing, Synchronization, Self-Stabilization, Synchronous Systems, Wait-Free Synchronization, Digital Clocks |
19 | Shing-Tsaan Huang |
Leader Election in Uniform Rings. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
protocols, self-stabilization |
19 | Efthymios Anagnostou, Vassos Hadzilacos |
Tolerating Transient and Permanent Failures (Extended Abstract). |
WDAG |
1993 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Distributed Algorithms, Self-Stabilization, Rings, Asynchrony |
19 | Anish Arora, Mohamed G. Gouda |
Distributed Reset (Extended Abstract). |
FSTTCS |
1990 |
DBLP DOI BibTeX RDF |
Additional Key Words and Phrases Self-stabilization, spanning trees, diffusing computations |
18 | Raquel S. Whittlesey-Harris, Mikhail Nesterenko |
Fault-Tolerance Verification of the Fluids and Combustion Facility of the International Space Station. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Toshimitsu Masuzawa, Sébastien Tixeuil |
Quiescence of Self-stabilizing Gossiping among Mobile Agents in Graphs. |
SIROCCO |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Volker Turau, Christoph Weyer |
Randomized Self-stabilizing Algorithms for Wireless Sensor Networks. |
IWSOS/EuroNGI |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Sébastien Tixeuil |
On a Space-Optimal Distributed Traversal Algorithm. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Mitchell Flatebo, Ajoy Kumar Datta |
Self-stabilizing Deadlock Detection Algorithms. |
ACM Conference on Computer Science |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Damien Regnault |
Obtaining tilings by self-assembly and self-stabilization. (Formation de pavages par auto-assemblage et auto-stabilisation). |
|
2023 |
RDF |
|
15 | Qiuyue Luo, Víctor De-León-Gómez, Anne Kalouguine, Christine Chevallereau, Yannick Aoustin |
Self-Synchronization and Self-Stabilization of Walking Gaits Modeled by the Three-Dimensional LIP Model. |
IEEE Robotics Autom. Lett. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Christine Chevallereau, Hamed Razavi, Damien Six, Yannick Aoustin, Jessy W. Grizzle |
Self-synchronization and self-stabilization of 3D bipedal walking gaits. |
Robotics Auton. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Schmid 0001 |
From Self-Stabilization to Self-Optimization: Principles of Distributed Network Design. |
PODC |
2018 |
DBLP BibTeX RDF |
|
15 | Christine Chevallereau, Hamed Razavi, Damien Six, Yannick Aoustin, Jessy W. Grizzle |
Self-synchronization and Self-stabilization of 3D Bipedal Walking Gaits. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
15 | Paskorn Champrasert, Junichi Suzuki, Chonho Lee |
Exploring self-optimization and self-stabilization properties in bio-inspired autonomic cloud applications. |
Concurr. Comput. Pract. Exp. |
2012 |
DBLP DOI BibTeX RDF |
|
15 | Nathalie Mitton, Bruno Sericola, Sébastien Tixeuil, Eric Fleury, Isabelle Guérin Lassous |
Self-stabilization in Self-organized Wireless Multihop Networks? |
Ad Hoc Sens. Wirel. Networks |
2011 |
DBLP BibTeX RDF |
|
15 | Joffroy Beauquier, Synnöve Kekkonen-Moneta |
Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors. |
Int. J. Syst. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Sayaka Kamei, Hirotsugu Kakugawa |
A Self-Stabilizing Distributed Approximation Algorithm for the Minimum Connected Dominating Set. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Hirotsugu Kakugawa, Toshimitsu Masuzawa |
A self-stabilizing minimal dominating set algorithm with safe convergence. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Colette Johnen, Sébastien Tixeuil |
Route Preserving Stabilization. |
Self-Stabilizing Systems |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Marie Duflot, Laurent Fribourg, Claudine Picaronny |
Randomized Finite-State Distributed Algorithms as Markov Chains. |
DISC |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Shlomi Dolev, Amos Israeli, Shlomo Moran |
Uniform Dynamic Self-Stabilizing Leader Election (Extended Absrtact). |
WDAG |
1991 |
DBLP DOI BibTeX RDF |
|
15 | James E. Burns, Jan K. Pachl |
Uniform Self-Stabilizing Rings. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Fuad Abujarad, Sandeep S. Kulkarni |
Multicore Constraint-Based Automated Stabilization. |
SSS |
2009 |
DBLP DOI BibTeX RDF |
Multicore Algorithms, Stabilization, Program Transformation, Distributed Programs, Program Synthesis |
13 | Swan Dubois, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil |
Brief Announcement: Dynamic FTSS in Asynchronous Systems: The Case of Unison. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Lélia Blin, Maria Potop-Butucaru, Stephane Rovedakis, Sébastien Tixeuil |
A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property. |
DISC |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte |
Self-stabilizing Mobile Robot Formations with Virtual Nodes. |
SSS |
2008 |
DBLP DOI BibTeX RDF |
|
13 | Fumiya Iida, Juergen Rummel, André Seyfarth |
Bipedal Walking and Running with Compliant Legs. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Pradip K. Srimani |
Self-stabilizing Distributed Algorithms for Networks. |
ISPA |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Christian F. Orellana, Cristian Ruz, Yadran Eterovic |
Self-stabilizing Deadlock Detection Under the OR Requirement Model. |
Euro-Par |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Gene Itkis, Leonid A. Levin |
Flat Holonomies on Automata Networks. |
STACS |
2006 |
DBLP DOI BibTeX RDF |
|
13 | Martin Hutle, Josef Widder |
On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection. |
Self-Stabilizing Systems |
2005 |
DBLP DOI BibTeX RDF |
|
13 | Tingyao Jiang, Qinghua Li |
A Self-Stabilizing Distributed Multicast Algorithm for Mobile Ad-Hoc Networks. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Richard John Anthony |
Emergence: A Paradigm for Robust and Scalable Distributed Applications. |
ICAC |
2004 |
DBLP DOI BibTeX RDF |
Self-Stabilisation, Election Algorithm, Fault Tolerance, Distributed Systems, Scalability, Emergence |
13 | Wayne Goddard, Stephen T. Hedetniemi, David Pokrass Jacobs, Pradip K. Srimani |
A Self-Stabilizing Distributed Algorithm for Minimal Total Domination in an Arbitrary System Grap. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Paolo A. G. Sivilotti, Murat Demirbas |
Introducing middle school girls to fault tolerant computing. |
SIGCSE |
2003 |
DBLP DOI BibTeX RDF |
algorithm anthropomorphism, distributed algorithms, pedagogy, outreach |
13 | Sukumar Ghosh, Alina Bejan |
Concurrent Reading and Writing with Mobile Agents. |
IWDC |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Sayaka Kamei, Hirotsugu Kakugawa |
A Self-Stabilizing Algorithm for the Steiner Tree Problem. |
SRDS |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Hiroko Ishii, Hirotsugu Kakugawa |
A Self-Stabilizing Algorithm for Finding Cliques in Distributed Systems. |
SRDS |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Massimiliano Giacomin |
Self-Stabilizing Distributed Algorithms for Defeat Status Computation in Argumentation. |
Multi-Agent-Systems and Applications |
2001 |
DBLP DOI BibTeX RDF |
|
13 | Yehuda Afek, Shay Kutten, Moti Yung |
Memory-Efficient Self Stabilizing Protocols for General Networks. |
WDAG |
1990 |
DBLP DOI BibTeX RDF |
|
12 | Karine Altisen, Pierre Corbineau, Stéphane Devismes |
Certification of an exact worst-case self-stabilization time. |
Theor. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Alex Damian, Eshaan Nichani, Jason D. Lee |
Self-Stabilization: The Implicit Bias of Gradient Descent at the Edge of Stability. |
ICLR |
2023 |
DBLP BibTeX RDF |
|
12 | Nanda Kishore Sreenivas, Shrisha Rao 0001 |
Safe deployment of a reinforcement learning robot using self stabilization. |
Intell. Syst. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Matthias Volk 0001, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki |
Synthesizing optimal bias in randomized self-stabilization. |
Distributed Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Yuichi Asahiro, Ichiro Suzuki, Masafumi Yamashita |
Monotonic self-stabilization and its application to robust and adaptive pattern formation. |
Theor. Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Alex Damian, Eshaan Nichani, Jason D. Lee |
Self-Stabilization: The Implicit Bias of Gradient Descent at the Edge of Stability. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Nengbing Zhou, Yali Liu, Qiuzhi Song, Zhuo Qi, Weizhi Ren, Kun Zhang |
Analysis, design and preliminary evaluation of an anthropometric self-stabilization passive exoskeleton for enhancing the ability of walking with loads. |
Robotics Auton. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Ted Herman |
Origin of Self-Stabilization. |
Edsger Wybe Dijkstra |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Chi-Wei Chen, Chien-Yu Su, Hsin-Shu Chen |
A PVT-Invariant Front-End Ring Amplifier using Self-Stabilization Technique for SAR ADC. |
ISCAS |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Sébastien Tixeuil |
Realistic Self-Stabilization (Invited Talk). |
OPODIS |
2022 |
DBLP DOI BibTeX RDF |
|
12 | Johanne Cohen, Laurence Pilard, Jonas Sénizergues |
Self-Stabilization and Byzantine Tolerance for Maximal Independent Set. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Amir Reza Ramtin, Don Towsley |
A Game-Theoretic Approach to Self-Stabilization with Selfish Agents. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
12 | Johanne Cohen, Laurence Pilard, Jonas Sénizergues |
Self-stabilization and Byzantine Tolerance for Maximal Independent Set. |
SSS |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Karine Altisen, Pierre Corbineau, Stéphane Devismes |
Certification of an Exact Worst-Case Self-Stabilization Time. |
ICDCN |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Amir Reza Ramtin, Don Towsley |
Self-Stabilization with Selfish Agents. |
ICPP Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
12 | Leonid Barenboim, Gal Oren 0001 |
Distributed Backup Placement in One Round and its Applications to Maximum Matching Approximation and Self-Stabilization. |
SOSA |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Qiuyue Luo |
Self-stabilization of 3D Walking of a Biped Robot. (Marche Bipède 3D Auto-Stabilisante). |
|
2020 |
RDF |
|
12 | Alex P. Klinkhamer, Ali Ebnenasir |
On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings. |
ACM Trans. Comput. Log. |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Ting Wang, Rongjun Cheng, Hongxia Ge |
Analysis of a Novel Two-Lane Lattice Hydrodynamic Model Considering the Empirical Lane Changing Rate and the Self-Stabilization Effect. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Leonid Barenboim, Gal Oren 0001 |
Distributed Backup Placement in One Round and its Applications to Maximum Matching Approximation and Self-Stabilization. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Krzysztof R. Apt, Ehsan Shoja |
Self-Stabilization Through the Lens of Game Theory. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Lélia Blin, Laurent Feuilloley, Gabriel Le Bouder |
Memory Lower Bounds for Self-Stabilization. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
12 | Lélia Blin, Laurent Feuilloley, Gabriel Le Bouder |
Brief Announcement: Memory Lower Bounds for Self-Stabilization. |
DISC |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Chryssis Georgiou, Robert Gustafsson, Andreas Lindhé, Elad Michael Schiller |
Self-stabilization Overhead: A Case Study on Coded Atomic Storage. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
12 | Damien Regnault, Eric Rémila |
Lost in self-stabilization: A local process that aligns connected cells. |
Theor. Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Karine Altisen, Stéphane Devismes, Anaïs Durand |
Acyclic Strategy for Silent Self-Stabilization in Spanning Forests. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
12 | Chryssis Georgiou, Robert Gustafsson, Andreas Lindhe, Elad Michael Schiller |
Self-stabilization Overhead: an Experimental Case Study on Coded Atomic Storage. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
12 | Karine Altisen, Stéphane Devismes, Anaïs Durand |
Acyclic Strategy for Silent Self-stabilization in Spanning Forests. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Stephan Kunne, Johanne Cohen, Laurence Pilard |
Self-stabilization and Byzantine Tolerance for Maximal Matching. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Krzysztof R. Apt, Ehsan Shoja |
Self-stabilization Through the Lens of Game Theory. |
It's All About Coordination |
2018 |
DBLP DOI BibTeX RDF |
|
12 | Leonid Barenboim, Michael Elkin, Uri Goldenberg |
Locally-Iterative Distributed (Δ+ 1): -Coloring below Szegedy-Vishwanathan Barrier, and Applications to Self-Stabilization and to Restricted-Bandwidth Models. |
PODC |
2018 |
DBLP BibTeX RDF |
|
12 | Leonid Barenboim, Michael Elkin, Uri Goldenberg |
Locally-Iterative Distributed (Delta + 1)-Coloring below Szegedy-Vishwanathan Barrier, and Applications to Self-Stabilization and to Restricted-Bandwidth Models. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
12 | Karine Altisen, Pierre Corbineau, Stéphane Devismes |
A Framework for Certified Self-Stabilization. |
Log. Methods Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Denis V. Makarov, M. Yu. Uleysky |
Chaos-assisted formation of immiscible matter-wave solitons and self-stabilization in the binary discrete nonlinear Schrödinger equation. |
Commun. Nonlinear Sci. Numer. Simul. |
2017 |
DBLP DOI BibTeX RDF |
|
12 | Ted Herman |
Self-Stabilization. |
Encyclopedia of Algorithms |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Murat Demirbas, Anish Arora |
Specification-Based Design of Self-Stabilization. |
IEEE Trans. Parallel Distributed Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Alex P. Klinkhamer, Ali Ebnenasir |
Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization. |
IEEE Trans. Parallel Distributed Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Christina Rickmann |
Topological Self-Stabilization with Name-Passing Process Calculi. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
12 | Karine Altisen, Pierre Corbineau, Stéphane Devismes |
A Framework for Certified Self-Stabilization. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
12 | Christina Rickmann, Christoph Wagner, Uwe Nestmann, Stefan Schmid 0001 |
Topological Self-Stabilization with Name-Passing Process Calculi. |
CONCUR |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Karine Altisen, Pierre Corbineau, Stéphane Devismes |
A Framework for Certified Self-Stabilization. |
FORTE |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Stefan Lohs, Jörg Nolte, Gerry Siegemund, Volker Turau |
Self-Stabilization - A Mechanism to Make Networked Embedded Systems More Reliable? |
SRDS |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Oday Jubran |
Recurrence in Self-Stabilization: Theory, Verification, and Application. |
|
2016 |
RDF |
|
12 | Andreas Koutsopoulos |
Dynamics and efficiency in topological self-stabilization. |
|
2016 |
RDF |
|
12 | Yuan Feng 0001, Lijun Zhang 0001 |
A nearly optimal upper bound for the self-stabilization time in Herman's algorithm. |
Distributed Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Fukuhito Ooshita, Sébastien Tixeuil |
On the self-stabilization of mobile oblivious robots in uniform rings. |
Theor. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Luca Becchetti, Andrea Clementi, Emanuele Natale, Francesco Pasquale |
Probabilistic Self-Stabilization. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
12 | Christine Chevallereau, Yannick Aoustin |
Self-stabilization of 3D walking via vertical oscillations of the hip. |
ICRA |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Oday Jubran, Eike Möhlmann, Oliver E. Theel |
Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples. |
SSS |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Maurice Djibril Faye, Eddy Caron, Ousmane Thiare |
Autonomic Management Using Self-Stabilization for Hierarchical and Distributed Middleware. |
CIT/IUCC/DASC/PICom |
2015 |
DBLP DOI BibTeX RDF |
|
12 | Damien Regnault, Eric Rémila |
Lost in Self-Stabilization. |
MFCS (1) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 456 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|