Search results for "self-stabilization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Stefanie Roos, Thorsten Strufe	On the impossibility of efficient self-stabilization in virtual overlays with churn.	INFOCOM	2015	DBLP DOI BibTeX RDF
12	Oday Jubran, Oliver E. Theel	Recurrence in Self-Stabilization.	SRDS	2015	DBLP DOI BibTeX RDF
12	Sebastian Kniesburges	Distributed data structures and the power of topological self-stabilization.		2015	RDF
12	Shay Kutten, Chhaya Trehan	Fast and Compact Distributed Verification and Self-Stabilization of a DFS Tree.	CoRR	2014	DBLP BibTeX RDF
12	Damien Regnault, Eric Rémila	Lost in Self-stabilization.	CoRR	2014	DBLP BibTeX RDF
12	Alex P. Klinkhamer, Ali Ebnenasir	Synthesizing Self-stabilization through Superposition and Backtracking.	SSS	2014	DBLP DOI BibTeX RDF
12	Shay Kutten, Chhaya Trehan	Fast and Compact Distributed Verification and Self-stabilization of a DFS Tree.	OPODIS	2014	DBLP DOI BibTeX RDF
12	Yuan Feng 0001, Lijun Zhang 0001	A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm.	CONCUR	2014	DBLP DOI BibTeX RDF
12	Yihua Ding, James Zijun Wang, Pradip K. Srimani	Fault-Tolerant Distributed Publish/Subscribe Using Self-Stabilization.	PAAP	2014	DBLP DOI BibTeX RDF
12	Sven Köhler 0001	Scalable fault-containing self-stabilization in dynamic networks.		2014	RDF
12	Jae Yoo Lee, Hyun Jung La, Soo Dong Kim	A Practical Framework for Self-Stabilization in Service-based Mobile Ecosystem.	J. Inf. Sci. Eng.	2013	DBLP BibTeX RDF
12	Yuan Feng 0001, Lijun Zhang 0001	A tighter bound for the self-stabilization time in Herman's algorithm.	Inf. Process. Lett.	2013	DBLP DOI BibTeX RDF
12	Deepali Virmani, Satbir Jain	Real Time scheduling with Virtual Nodes for Self Stabilization in Wireless Sensor Networks	CoRR	2013	DBLP BibTeX RDF
12	Swan Dubois, Rachid Guerraoui	Introducing Speculation in Self-Stabilization - An Application to Mutual Exclusion	CoRR	2013	DBLP BibTeX RDF
12	Prabhu M. Santhosh	Self stabilization in Distributed Knot Detection.	Int. J. Found. Comput. Sci.	2013	DBLP DOI BibTeX RDF
12	Eddy Caron, Florent Chuffart, Cédric Tedeschi	When self-stabilization meets real platforms: An experimental study of a peer-to-peer service discovery system.	Future Gener. Comput. Syst.	2013	DBLP DOI BibTeX RDF
12	Yong Hun Eom, Brian Demsky	Sinfer: Inferring information flow lattices for checking self-stabilization.	ISSRE	2013	DBLP DOI BibTeX RDF
12	Swan Dubois, Rachid Guerraoui	Introducing speculation in self-stabilization: an application to mutual exclusion.	PODC	2013	DBLP DOI BibTeX RDF
12	Sarada Prasad Dakua, Julien Abi-Nahed, Abdulla Al-Ansari	Self Stabilization of Image Attributes for Left Ventricle Segmentation.	STACOM	2013	DBLP DOI BibTeX RDF
12	Narges Fallahi, Borzoo Bonakdarpour, Sébastien Tixeuil	Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic Model Checking.	SRDS	2013	DBLP DOI BibTeX RDF
12	Sven Köhler 0001, Volker Turau	Fault-containing self-stabilization in asynchronous systems with constant fault-gap.	Distributed Comput.	2012	DBLP DOI BibTeX RDF
12	Riko Jacob, Stephan Ritscher, Christian Scheideler, Stefan Schmid 0001	Towards higher-dimensional topological self-stabilization: A distributed algorithm for Delaunay graphs.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
12	Masafumi Yamashita	Probabilistic Self-Stabilization and Biased Random Walks on Dynamic Graphs.	Int. J. Netw. Comput.	2012	DBLP BibTeX RDF
12	Marco Antoniotti, Rudolf Freund, Alberto Leporati, Giancarlo Mauri	Self-Stabilization in Membrane Systems.	Comput. Sci. J. Moldova	2012	DBLP BibTeX RDF
12	Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Communication-Efficient Self-stabilization in Wireless Networks.	SSS	2012	DBLP DOI BibTeX RDF
12	Fukuhito Ooshita, Sébastien Tixeuil	On the Self-stabilization of Mobile Oblivious Robots in Uniform Rings.	SSS	2012	DBLP DOI BibTeX RDF
12	Sebastian Kniesburges, Andreas Koutsopoulos, Christian Scheideler	A Self-Stabilization Process for Small-World Networks.	IPDPS	2012	DBLP DOI BibTeX RDF
12	Andreas Larsson	Security and Self-stabilization in Sensor Network Services.		2012	RDF
12	Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil	Self-Stabilization, Byzantine Containment, and Maximizable Metrics: Necessary Conditions	CoRR	2011	DBLP BibTeX RDF
12	Swan Dubois, Sébastien Tixeuil	A Taxonomy of Daemons in Self-stabilization	CoRR	2011	DBLP BibTeX RDF
12	Noga Alon, Hagit Attiya, Shlomi Dolev, Swan Dubois, Maria Potop-Butucaru, Sébastien Tixeuil	Pragmatic Self-stabilization of Atomic Memory in Message-Passing Systems.	SSS	2011	DBLP DOI BibTeX RDF
12	Fumihiko Asano	Self-stabilization principle of mechanical energy inherent in passive compass gait.	IROS	2011	DBLP DOI BibTeX RDF
12	Szu-Chi Wang, Hiroyuki Morikawa	Self-Stabilization in Energy-Constraint Wireless Ad Hoc Networks.	ISADS	2011	DBLP DOI BibTeX RDF
12	Jörg Lässig, Benjamin Satzger, Oliver Kramer 0001	Self-Stabilization in Hierarchically Structured Energy Markets.	ITNG	2011	DBLP DOI BibTeX RDF
12	Aly Farahat, Ali Ebnenasir	Lightweight Methods for Automated Design of Self-Stabilization.	IPDPS Workshops	2011	DBLP DOI BibTeX RDF
12	Stefan Unterschütz, Volker Turau	Construction of connected dominating sets in large-scale MANETs exploiting self-stabilization.	DCOSS	2011	DBLP DOI BibTeX RDF
12	Poramate Manoonpong, Tomas Kulvicius, Florentin Wörgötter, Lutz Kunze, Daniel Renjewski, André Seyfarth	Compliant ankles and flat feet for improved self-stabilization and passive dynamics of the biped robot "RunBot".	Humanoids	2011	DBLP DOI BibTeX RDF
12	Toshimitsu Masuzawa, Hirotsugu Kakugawa	Self-Stabilization in Unstable Network Environments.	ICNC	2011	DBLP DOI BibTeX RDF
12	Masafumi Yamashita	Probabilistic Self-Stabilization and Random Walks.	ICNC	2011	DBLP DOI BibTeX RDF
12	Shlomi Dolev, Nir Tzachar	Randomization adaptive self-stabilization.	Acta Informatica	2010	DBLP DOI BibTeX RDF
12	Shlomi Dolev, Ronen I. Kat, Elad Michael Schiller	When consensus meets self-stabilization.	J. Comput. Syst. Sci.	2010	DBLP DOI BibTeX RDF
12	Swan Dubois, Toshimitsu Masuzawa, Sébastien Tixeuil	Self-stabilization with Byzantine tolerance for global tasks	CoRR	2010	DBLP BibTeX RDF
12	Shay Kutten, Dmitry Zinenko	Low Communication Self-stabilization through Randomization.	DISC	2010	DBLP DOI BibTeX RDF
12	Stefan Schmid 0001	Robust architectures for open distributed systems and topological self-stabilization: invited paper.	WRAS	2010	DBLP DOI BibTeX RDF
12	Deepali Virmani, Satbir Jain	Virtual Nodes for Self Stabilization in Wireless Sensor Networks.	ICT	2010	DBLP DOI BibTeX RDF
12	Vlad Acretoaie, Eddy Caron, Cédric Tedeschi	A practical study of self-stabilization for prefix-tree based overlay networks.	HPCS	2010	DBLP DOI BibTeX RDF
12	Dominik Gall, Riko Jacob, Andréa W. Richa, Christian Scheideler, Stefan Schmid 0001, Hanjo Täubig	Time Complexity of Distributed Topological Self-stabilization: The Case of Graph Linearization.	LATIN	2010	DBLP DOI BibTeX RDF
12	Toshimitsu Masuzawa	Self-Stabilization in Dynamic Networks.	IEICE Trans. Inf. Syst.	2009	DBLP DOI BibTeX RDF
12	Ji-Cherng Lin, Tetz C. Huang, Cheng-Zen Yang, Nathan Mou	Quasi-self-stabilization of a distributed system assuming read/write atomicity.	Comput. Math. Appl.	2009	DBLP DOI BibTeX RDF
12	Raouf Boutaba, Jin Xiao, Qi Zhang 0008	Toward Autonomic Networks: Knowledge Management and Self-Stabilization.	Autonomic Computing and Networking	2009	DBLP DOI BibTeX RDF
12	Christoph Lenzen 0001, Jukka Suomela, Roger Wattenhofer	Local Algorithms: Self-Stabilization on Speed.	Algorithmic Methods for Distributed Cooperative Systems	2009	DBLP BibTeX RDF
12	Shlomi Dolev, Nir Tzachar	Randomization Adaptive Self-stabilization.	SSS	2009	DBLP DOI BibTeX RDF
12	Chin-Hsien Wang, Ching-Hwa Cheng, Jiun-In Guo	CKVdd: a self-stabilization ramp-vdd technique for dynamic power reduction.	ASP-DAC	2009	DBLP DOI BibTeX RDF
12	Jacob Beal, Jonathan Bachrach, Daniel Vickery, Mark M. Tobenkin	Fast Self-stabilization for Gradients.	DCOSS	2009	DBLP DOI BibTeX RDF
12	Ted Herman	Self-Stabilization.	Encyclopedia of Algorithms	2008	DBLP DOI BibTeX RDF
12	Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	Bounds for self-stabilization in unidirectional networks	CoRR	2008	DBLP BibTeX RDF
12	Shlomi Dolev, Nir Tzachar	Randomization Adaptive Self-Stabilization	CoRR	2008	DBLP BibTeX RDF
12	Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Limor Lahiani, Ronen I. Kat, Elad Michael Schiller, Nir Tzachar, Reuven Yagel	Self-Stabilization from Theory to Practice.	Bull. EATCS	2008	DBLP BibTeX RDF
12	Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil	On the Self-stabilization of Mobile Robots in Graphs	CoRR	2007	DBLP BibTeX RDF
12	Pradip K. Srimani, Zhenyu Xu	Distributed Protocols for Defensive and Offensive Alliances in Network Graphs Using Self-Stabilization.	ICCTA	2007	DBLP DOI BibTeX RDF
12	Thomas Hérault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier	A Model for Large Scale Self-Stabilization.	IPDPS	2007	DBLP DOI BibTeX RDF
12	Maria Gradinariu, Sébastien Tixeuil	Conflict Managers for Self-stabilization without Fairness Assumption.	ICDCS	2007	DBLP DOI BibTeX RDF
12	Fabien Mathieu	Self-Stabilization in Preference-Based Networks.	Peer-to-Peer Computing	2007	DBLP DOI BibTeX RDF
12	Hsu-Chun Yen, Lien-Po Yu	Decidability Analysis of Self-Stabilization for Infinite-State Systems.	Fundam. Informaticae	2006	DBLP BibTeX RDF
12	Laurent Fribourg, Stéphane Messika, Claudine Picaronny	Coupling and self-stabilization.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Fault tolerance, Markov chains, Rates of convergence, Randomized distributed algorithms
12	Leonid A. Levin	Self-stabilization of Circular Arrays of Automata	CoRR	2006	DBLP BibTeX RDF
12	Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy	Observing Locally Self-Stabilization in a Probabilistic Way.	J. Aerosp. Comput. Inf. Commun.	2006	DBLP DOI BibTeX RDF
12	Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil	Self-Stabilization with r-Operators revisited.	J. Aerosp. Comput. Inf. Commun.	2006	DBLP DOI BibTeX RDF
12	Shlomi Dolev, Ted Herman	Introduction: Self Stabilization.	J. Aerosp. Comput. Inf. Commun.	2006	DBLP DOI BibTeX RDF
12	Shlomi Dolev, Ted Herman	Introduction: Self Stabilization.	J. Aerosp. Comput. Inf. Commun.	2006	DBLP DOI BibTeX RDF
12	Joffroy Beauquier, Colette Johnen, Stéphane Messika	All k -Bounded Policies Are Equivalent for Self-stabilization.	SSS	2006	DBLP DOI BibTeX RDF	scheduler, distributed algorithm, randomized algorithms, self-stabilizing system
12	Shlomi Dolev, Ronen I. Kat, Elad Michael Schiller	When Consensus Meets Self-stabilization.	OPODIS	2006	DBLP DOI BibTeX RDF
12	Shay Kutten	Scalable Self Stabilization.	ITRE	2006	DBLP DOI BibTeX RDF
12	Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy	Observing locally self-stabilization.	J. High Speed Networks	2005	DBLP BibTeX RDF
12	Wan J. Fokkink, Jaap-Henk Hoepman, Jun Pang 0001	A Note on K-State Self-stabilization in a Ring with K=N.	Nord. J. Comput.	2005	DBLP BibTeX RDF
12	Sylvie Delaët, Bertrand Ducourthial, Sébastien Tixeuil	Self-stabilization with r-Operators Revisited.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
12	Ariel Daliot, Danny Dolev	Self-stabilization of Byzantine Protocols.	Self-Stabilizing Systems	2005	DBLP DOI BibTeX RDF
12	Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy	Observing Locally Self-stabilization in a Probabilistic Way.	DISC	2005	DBLP DOI BibTeX RDF
12	Brahim Hamid, Mohamed Mosbah 0001	An Automatic Approach to Self-Stabilization.	SNPD	2005	DBLP DOI BibTeX RDF
12	Laurent Fribourg, Stéphane Messika	Brief announcement: coupling for Markov decision processes - application to self-stabilization with arbitrary schedulers.	PODC	2005	DBLP DOI BibTeX RDF	fault tolerance, verification, correctness, rates of convergence, randomized distributed algorithms
12	Tzong-Jye Liu, Chia-Lin Lee, Chyi-Ren Dow, Wei-Bin Lee, Hsing-Bai Chen	Self-Stabilization Neighborhood Synchronizer for Uniform Rings.	PDPTA	2005	DBLP BibTeX RDF
12	Shlomi Dolev	Self Stabilization.	J. Aerosp. Comput. Inf. Commun.	2004	DBLP DOI BibTeX RDF
12	Laurent Fribourg, Stéphane Messika, Claudine Picaronny	Coupling and Self-stabilization..	DISC	2004	DBLP DOI BibTeX RDF
12	William Leal, Anish Arora	Scalable Self-Stabilization via Composition.	ICDCS	2004	DBLP DOI BibTeX RDF
12	Dwight Deugo, Darrell Ferguson	Achieving Self-Stabilization Using A Meta-GA.	IC-AI	2004	DBLP BibTeX RDF
12	Bertrand Ducourthial, Sébastien Tixeuil	Self-stabilization with path algebra.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
12	Fumiya Iida, Rolf Pfeifer	Self-Stabilization and Behavioral Diversity of Embodied Adaptive Locomotion.	Embodied Artificial Intelligence	2003	DBLP DOI BibTeX RDF
12	Sukumar Ghosh, Xin He	Scalable Self-Stabilization.	J. Parallel Distributed Comput.	2002	DBLP DOI BibTeX RDF
12	Jaap-Henk Hoepman, Marina Papatriantafilou, Philippas Tsigas	Self-Stabilization of Wait-Free Shared Memory Objects.	J. Parallel Distributed Comput.	2002	DBLP DOI BibTeX RDF
12	Ted Herman	Self-stabilization at WSS'01 and DISC'01.	SIGACT News	2002	DBLP DOI BibTeX RDF
12	I. Ghansah, G. Cugi	Self Stabilization in the Electronic Cards Trading System.	CAINE	2001	DBLP BibTeX RDF
12	Michael Böhnel, Reinhold Weiss	Self-Stabilization Testing of LUT-Based FPGA Designs by Fault Injection.	IOLTW	2001	DBLP DOI BibTeX RDF
12	Ted Herman, Sriram V. Pemmaraju	Error-detecting codes and fault-containing self-stabilization.	Inf. Process. Lett.	2000	DBLP DOI BibTeX RDF
12	Sukumar Ghosh, Xin He	Fault-containing self-stabilization using priority scheduling.	Inf. Process. Lett.	2000	DBLP DOI BibTeX RDF
12	Franck Petit, Vincent Villain	Optimality and Self-Stabilization in Rooted Tree Networks.	Parallel Process. Lett.	2000	DBLP DOI BibTeX RDF
12	Leonid A. Levin	Self-stabilization of circular arrays of automata.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
12	George Varghese	Self-Stabilization by Counter Flushing.	SIAM J. Comput.	2000	DBLP DOI BibTeX RDF
12	Shlomi Dolev	Self-Stabilization		2000	RDF
12	Bertrand Ducourthial, Sébastien Tixeuil	Self-stabilization with path algebra.	SIROCCO	2000	DBLP BibTeX RDF
12	Sébastien Tixeuil	Auto-stabilisation Efficace. (Efficient Self-stabilization).		2000	RDF