The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase self-stabilization (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1979-1991 (17) 1992-1994 (18) 1995-1997 (21) 1998-1999 (19) 2000 (20) 2001 (15) 2002 (26) 2003 (18) 2004 (26) 2005 (26) 2006 (43) 2007 (35) 2008 (27) 2009 (30) 2010 (15) 2011-2012 (22) 2013-2014 (17) 2015-2016 (20) 2017-2019 (14)
Publication types (Num. hits)
article(140) book(1) incollection(3) inproceedings(279) phdthesis(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 694 occurrences of 261 keywords

Results
Found 429 publication records. Showing 429 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
115Augusto Ciuffoletti Self-stabilization - beyond the token ring circulation (brief announcement). Search on Bibsonomy PODC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
97Marco Schneider Self-Stabilization. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF fault tolerance, stabilization, convergence, self-stabilization, transient errors, self-stabilizing systems, transient failures
83Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita Weak vs. Self vs. Probabilistic Stabilization. Search on Bibsonomy ICDCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
77Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv Self-stabilization preserving compiler. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Compilers, self-stabilization, abstract state machines
71Hsu-Chun Yen Analysis of Self-Stabilization for Infinite-State Systems. Search on Bibsonomy ICECCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Petri net, self-stabilization, Decidability, infinite-state system
67Jens Oehlerking, Abhishek Dhama, Oliver E. Theel Towards Automatic Convergence Verification of Self-stabilizing Algorithms. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Verification, Distributed Algorithms, Convergence, Hybrid Systems, Self-Stabilization, Lyapunov Functions, Piecewise Affine Systems
67Ajoy Kumar Datta, Maria Gradinariu, Anthony B. Kenitzki, Sébastien Tixeuil Self-Stabilizing Wormhole Routing on Ring Networks. Search on Bibsonomy ICPADS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Fault-tolerance, Distributed Algorithms, Self-stabilization, Wormhole routing
65Oliver E. Theel A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement). Search on Bibsonomy PODC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
65Sukumar Ghosh An Alternative Solution to a Problem on Self-Stabilization. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF distributed algorithms, synthesis, self-stabilization
64Sukumar Ghosh, Arobinda Gupta, Ted Herman, Sriram V. Pemmaraju Fault-containing self-stabilizing distributed protocols. Search on Bibsonomy Distributed Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Distributed algorithms, Transformer, Self-stabilization, Fault-containment
61Hirotsugu Kakugawa, Toshimitsu Masuzawa Convergence Time Analysis of Self-stabilizing Algorithms in Wireless Sensor Networks with Unreliable Links. Search on Bibsonomy SSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF probabilistic self-stabilization, Wireless sensor network, self-organization, self-stabilization, convergence time
60Tina Nolte, Nancy A. Lynch Self-stabilization and Virtual Node Layer Emulations. Search on Bibsonomy SSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF virtual stationary automata, virtual node layer, abstraction layer emulation, TIOA, mobile ad-hoc networking, self-stabilization, geocast
59Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks. Search on Bibsonomy OPODIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Sensor networks, tracking, self-stabilization, distributed data structures, fault-containment
59Ajoy Kumar Datta, Rachid Hadid, Vincent Villain A New Self-Stabilizing k-out-of-l Exclusion Algorithm on Rings. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF k-out-of-$ell$ exclusion, $ell$-exclusion, Fault-tolerance, self-stabilization, mutual exclusion
59Abhishek Dhama, Jens Oehlerking, Oliver E. Theel Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. Search on Bibsonomy ICPADS (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Poincar´e maps, Fault Tolerance, Verification, Hybrid Systems, Self-Stabilization, Lyapunov Theory
59Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier Bounded Self-Stabilizing Petri Nets. Search on Bibsonomy Applications and Theory of Petri Nets The full citation details ... 1991 DBLP  DOI  BibTeX  RDF bounded Petri nets, computational complexity, Self-stabilization
58Shlomi Dolev, Yinnon A. Haviv, Mooly Sagiv Self-stabilization Preserving Compiler. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
56Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. Search on Bibsonomy DISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Local mutual exclusion, unfair daemon, transformer, self-stabilization
54Ann E. Kelley Sobel, Richard C. Linger Advances in Software Specification and Verification - Minitrack Introduction. Search on Bibsonomy HICSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
53Joffroy Beauquier, Maria Gradinariu, Colette Johnen Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. Search on Bibsonomy Distributed Computing The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Scheduler, Self-stabilization, Leader election, Randomized protocol, Protocol composition
51Pierre Courtieu Proving Self-Stabilization with a Proof Assistant. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF rewriting system on words, Self-stabilization, proof assistant
50Yu Chen, Ajoy Kumar Datta, Sébastien Tixeuil Stabilizing Inter-domain Routing in the Internet (Research Note). Search on Bibsonomy Euro-Par The full citation details ... 2002 DBLP  DOI  BibTeX  RDF routing instability, routing, self-stabilization, Border Gateway Protocol
50Oliver E. Theel A New Verification Technique for Self-Stabilizing Distributed Algorithms based on Variable Structure Systems and Ljapunov Theory. Search on Bibsonomy HICSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Verification Methodology, Non-Linear Dynamic Systems, Ljapunov Theory, Distributed Computing, Stability, Self-Stabilization, Software Fault Tolerance
49Ted Herman Models of Self-Stabilization and Sensor Networks. Search on Bibsonomy IWDC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
48Yukiko Yamauchi, Sébastien Tixeuil Brief announcement: monotonic stabilization. Search on Bibsonomy PODC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF fault tolerance, locality, self-stabilization
48Lélia Blin, Alain Cournier, Vincent Villain An Improved Snap-Stabilizing PIF Algorithm. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF propagation of information with feedback, reset protocols, wave algorithms, Fault-tolerance, self-stabilization, snap-stabilization
47Sayaka Kamei, Hirotsugu Kakugawa A Self-stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence. Search on Bibsonomy OPODIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Minimum connected dominating set, Mobile ad hoc or sensor networks, Fault-tolerance, Approximation, Self-stabilization
47Shlomi Dolev, Yinnon A. Haviv Self-Stabilizing Microprocessor: Analyzing and Overcoming Soft Errors. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Self-stabilization, microprocessor, soft errors, single event upset
46Petra Funk, Ingo Zinnikus Self-stabilization as multiagent systems property. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Reuven Yagel Self-Stabilization as a Foundation for Autonomic Computing. Search on Bibsonomy ARES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
45Paolo Boldi, Sebastiano Vigna Universal dynamic synchronous self-stabilization. Search on Bibsonomy Distributed Computing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Graph fibrations, Self-stabilization, Synchronous systems, Anonymous networks
45Fabrice Theoleyre, Fabrice Valois About the Self-stabilization of a Virtual Topology for Self-organization in Ad Hoc Networks. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
45Thibault Bernard, Alain Bui, Olivier Flauzac Random Distributed Self-stabilizing Structures Maintenance. Search on Bibsonomy ISSADS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF distributed systems, self-stabilization, random walks
43Constantin Adam, Rolf Stadler Patterns for routing and self-stabilization. Search on Bibsonomy NOMS (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Ajoy Kumar Datta, Rachid Hadid, Vincent Villain A Self-stabilizing Token-Based k-out-of-l Exclusion Algorithm. Search on Bibsonomy Euro-Par The full citation details ... 2002 DBLP  DOI  BibTeX  RDF k-out-of-$ell$ exclusion, Fault-tolerance, resource allocation, self-stabilization, mutual exclusion
42Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa Timer-Based Composition of Fault-Containing Self-stabilizing Protocols. Search on Bibsonomy IDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF composition, self-stabilization, timer, fault-containment
42Colette Johnen, Le Huy Nguyen Self-stabilizing Weight-Based Clustering Algorithm for Ad Hoc Sensor Networks. Search on Bibsonomy ALGOSENSORS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Clustering, sensor network, Distributed algorithm, Self-stabilization
42Mahyar R. Malekpour A Byzantine-Fault Tolerant Self-stabilizing Protocol for Distributed Clock Synchronization Systems. Search on Bibsonomy SSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault tolerant, algorithm, model checking, verification, protocol, distributed, self-stabilization, clock synchronization, Byzantine
42Hirotsugu Kakugawa, Masafumi Yamashita A Dynamic Reconfiguration Tolerant Self-stabilizing Token Circulation Algorithm in Ad-Hoc Networks. Search on Bibsonomy OPODIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ad-hoc network, self-stabilization, spanning tree, token circulation
42Franck Petit, Vincent Villain Color Optimal Self-Stabilizing Depth-First Token Circulation. Search on Bibsonomy ISPAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF fault-tolerance, distributed systems, self-stabilization, mutual-exclusion, spanning trees, token circulation
40Sampath Yerramalla, Edgar Fuller, Martin Mladenovski, Bojan Cukic Lyapunov Analysis of Neural Network Stability in an Adaptive Flight Control System. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Young-ri Choi, Mohamed G. Gouda Stabilization of Flood Sequencing Protocols in Sensor Networks. Search on Bibsonomy SSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Flood sequencing protocol, Sensor networks, Self-stabilization, Sequence numbers
39Doina Bein, Ajoy Kumar Datta, Vincent Villain Snap-Stabilizing Optimal Binary Search Tree. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF self-stabilization, heap, Binary search tree, snap-stabilization
39Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework. Search on Bibsonomy SSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Composition, Self-stabilization, Minimum Spanning Tree, Median, Fault-containment
39Toshimitsu Masuzawa, Sébastien Tixeuil A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks. Search on Bibsonomy OPODIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF link-coloring, fault tolerance, self-stabilization, distributed protocol, Byzantine fault, fault containment
39Albert Mo Kim Cheng, Seiya Fujii Self-Stabilizing Real-Time OPS5 Production Systems. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fault tolerance, real-time, knowledge-based systems, expert systems, self-stabilization, Rule-based systems, production systems, OPS5
39Colette Johnen Bounded Service Time and Memory Space Optimal Self-Stabilizing Token Circulation Protocol on Unidirectional Rings. Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF anonymous ring, self-stabilization, mutual exclusion, distributed protocol, token circulation, service time, unfair schedule
39Albert Mo Kim Cheng, Seiya Fujii Bounded-Response-Time Self-Stabilizing OPS5 Production Systems. Search on Bibsonomy IPDPS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF real-time systems, self-stabilization, timing analysis, rule-based systems, production systems, OPS5
38Eddy Caron, Ajoy Kumar Datta, Franck Petit, Cédric Tedeschi Self-Stabilization in Tree-Structured Peer-to-Peer Service Discovery Systems. Search on Bibsonomy SRDS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
38Tridib Mukherjee, Ganesh Sridharan, Sandeep K. S. Gupta Energy-Aware Self-Stabilization in Mobile Ad Hoc Networks: A Multicasting Case Study. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Abusayeed M. Saifullah, Yung H. Tsin A Self-stabilizing Algorithm For 3-Edge-Connectivity. Search on Bibsonomy ISPA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Thibault Bernard, Alain Bui, Olivier Flauzac Topological Adaptability for the Distributed Token Circulation Paradigm in Faulty Environment. Search on Bibsonomy ISPA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Shlomi Dolev, Nir Tzachar Empire of Colonies: Self-stabilizing and Self-organizing Distributed Algorithms. Search on Bibsonomy OPODIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Doina Bein, Ajoy Kumar Datta, Lawrence L. Larmore Self-stabilizing Space Optimal Synchronization Algorithms on Trees. Search on Bibsonomy SIROCCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF local mutual exclusion, self-stabilization, heap
36Doina Bein, Ajoy Kumar Datta, Lawrence L. Larmore On Self-stabilizing Search Trees. Search on Bibsonomy DISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF min-max heap, Distributed algorithm, self-stabilization, search tree
36Doina Bein, Ajoy Kumar Datta Self-Organizing Sensor Networks. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2004 DBLP  DOI  BibTeX  RDF sensor networks, routing, self-organizing, self-stabilization, Directed diffusion
36Shlomi Dolev, Elad Schiller Self-Stabilizing Group Communication in Directed Networks. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Group Communication and Directed Networks, Self-Stabilization
35Nathalie Mitton, Eric Fleury, Isabelle Guérin Lassous, Sébastien Tixeuil Self-Stabilization in Self-Organized Multihop Wireless Networks. Search on Bibsonomy ICDCS Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF clusterization, scalability, self-stabilization, multihop wireless networks, density
35Dominik Gall, Riko Jacob, Andréa W. Richa, Christian Scheideler, Stefan Schmid 0001, Hanjo Täubig Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization. Search on Bibsonomy SSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Murat Demirbas, Anish Arora An Application of Specification-Based Design of Self-stabilization to Tracking in Wireless Sensor Networks. Search on Bibsonomy SSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Shing-Tsaan Huang, Ted Herman Self-Stabilization Workshop. Search on Bibsonomy DSN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Sanny Gustavsson, Sten Andler Self-stabilization and eventual consistency in replicated real-time databases. Search on Bibsonomy WOSS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Mohamed G. Gouda, Rodney R. Howell, Louis E. Rosier System Simulation and the Sensitivity of Self-Stabilization. Search on Bibsonomy MFCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
33Dana Angluin, James Aspnes, Michael J. Fischer, Hong Jiang Self-stabilizing population protocols. Search on Bibsonomy TAAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF sensor networks, Anonymous, fairness, self-stabilization, population protocols, finite-state
33Eddy Caron, Frédéric Desprez, Franck Petit, Cédric Tedeschi Snap-Stabilizing Prefix Tree for Peer-to-Peer Systems. Search on Bibsonomy SSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Fault-tolerance, Grid computing, Self-stabilization, Peer-to-peer systems, Snap-stabilization
33Toshio Nakata On the Expected Time for Herman's Probabilistic Self-stabilizing Algorithm. Search on Bibsonomy COCOON The full citation details ... 2004 DBLP  DOI  BibTeX  RDF probabilistic self-stabilization, Hermans algorithm, coalescing time, random walk
33Shing-Tsaan Huang, Su-Shen Hung Self-Stabilizing Token Circulation on Uniform Trees by Using Edge-Tokens. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Edge token, self-stabilization, mutual exclusion, token-circulation
33Tzong-Jye Liu, Shing-Tsaan Huang Phase Synchronization on Asynchronous Uniform Rings with Odd Size. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF fault tolerance, Distributed systems, self-stabilization, transient faults, phase synchronization
33Shing-Tsaan Huang, Lih-Chyau Wuu Self-Stabilizing Token Circulation in Uniform Networks. Search on Bibsonomy Distributed Computing The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Uniform networks, Fault tolerance, Self-stabilization, Spanning trees, Token circulation
33Olivier Flauzac, Vincent Villain An Implementable Dynamic Automatic Self-Stabilizing Protocol. Search on Bibsonomy ISPAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF automatic self-stabilization, fully asynchronous message passing system, superimposition, fault-tolerance, distributed systems
32Toshimitsu Masuzawa, Hirotsugu Kakugawa Self-stabilization in Spite of Frequent Changes of Networks: Case Study of Mutual Exclusion on Dynamic Rings. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Nathalie Mitton, Eric Fleury, Isabelle Guérin Lassous, Bruno Sericola, Sébastien Tixeuil Fast Convergence in Self-Stabilizing Wireless Networks. Search on Bibsonomy ICPADS (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF stabilization time, scheduling, coloring, multihop wireless networks
31Felix C. Freiling, Sukumar Ghosh Code Stabilization. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Oliver E. Theel Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms. Search on Bibsonomy DISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
31Sven Köhler 0002, Volker Turau Fault-Containing Self-Stabilization in Asynchronous Systems with Constant Fault-Gap. Search on Bibsonomy ICDCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF single transient faults, self-stabilization, fault-containment
31Fabien Mathieu Self-stabilization in preference-based systems. Search on Bibsonomy Peer-to-Peer Networking and Applications The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Preference-based systems, Speed of convergence, Self-stabilization, b-matching
31Christian Boulinier, Franck Petit, Vincent Villain When graph theory helps self-stabilization. Search on Bibsonomy PODC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF asynchronous unison, local (group) mutual exclusion, synchronization, self-stabilization
31Bertrand Ducourthial, Sébastien Tixeuil Self-stabilization with r-operators. Search on Bibsonomy Distributed Computing The full citation details ... 2001 DBLP  DOI  BibTeX  RDF r -operators, Read-write atomicity, Distributed systems, Self-stabilization, Unfair scheduling
30Andrew Berns, Anurag Dasgupta, Sukumar Ghosh Brief announcement: optimal self-stabilizing multi-token ring: a randomized solution. Search on Bibsonomy PODC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF multi-token ring, self-stabilization
30Jun Kiniwa How to Improve Safety under Convergence Using Stable Storage. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF false privilege, vulnerability under convergence, self-stabilization, Mutual exclusion, stable storage
30Mohamed G. Gouda, Young-ri Choi, Anish Arora Sentries and Sleepers in Sensor Networks. Search on Bibsonomy OPODIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Sentry election, Sentry-Sleeper protocol, Sensor Networks, Self-stabilization, Energy management
30Hsu-Chun Yen, Lien-Po Yu Dependability Analysis of a Class of Probabilistic Petri Nets. Search on Bibsonomy PRDC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF probabilistic Petri net, verification, Controllability, self-stabilization, reachability
30Boris Dahav, Opher Etzion Distributed Enforcement of Integrity Constraints. Search on Bibsonomy Distributed and Parallel Databases The full citation details ... 2003 DBLP  DOI  BibTeX  RDF database exception handling, self-stabilization in databases, distributed rules systems, distributed databases
30Josyula R. Rao Eventual determinism: using probabilistic means to achieve deterministic ends. Search on Bibsonomy HICSS (2) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF eventual determinism, eventually-determining algorithms, worst case complexity bound, parallel algorithms, computational complexity, self-stabilization, conflict resolution, deterministic algorithms, deterministic algorithms, probabilistic algorithms, randomised algorithms, symmetry breaking, determinacy, parallel algorithm design
30Mohamed G. Gouda, Ted Herman Adaptive Programming. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF constituent programs, adaptive sequential programs, adaptive distributed programs, adaptivity, parallel programming, self-stabilization, adaptive systems, programming theory, formal logic, composition operators, token ring networks
29Christoph Lenzen, Jukka Suomela, Roger Wattenhofer Local Algorithms: Self-stabilization on Speed. Search on Bibsonomy SSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Shlomi Dolev Optimal Time Self Stabilization in Dynamic Systems (Preliminary Version). Search on Bibsonomy WDAG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
28Michael A. Jaeger, Gero Mühl Stochastic Analysis and Comparison of Self-Stabilizing Routing Algorithms for Publish/Subscribe Systems. Search on Bibsonomy MASCOTS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Shlomi Dolev, Yinnon A. Haviv Self-Stabilizing Microprocessor - Analyzing and Overcoming Soft-Errors (Extended Abstract). Search on Bibsonomy ARCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Lélia Blin, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil On the Self-stabilization of Mobile Robots in Graphs. Search on Bibsonomy OPODIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Oliver E. Theel An Exercise in Proving Self-Stabilization through Ljapunov Functions. Search on Bibsonomy ICDCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Toshimitsu Masuzawa, Taisuke Izumi, Yoshiaki Katayama, Koichi Wada Brief Announcement: Communication-Efficient Self-stabilizing Protocols for Spanning-Tree Construction. Search on Bibsonomy OPODIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks. Search on Bibsonomy IPDPS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Daisuke Kondou, Hideo Masuda, Toshimitsu Masuzawa A Self-Stabilizing Protocol for Pipelined PIF in Tree Networks. Search on Bibsonomy ICDCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Sandeep K. S. Gupta, Pradip K. Srimani Mobility Tolerant Maintenance of Multi-Cast Tree in Mobile Multi-Hop Radio Networks. Search on Bibsonomy ICPP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF multi-cast tree, self-stabilizing protocol, mobility tolerant protocol, Mobile ad hoc network, minimal spanning tree, multi-hop radio network
25Geunho Lee, Nak Young Chong, Xavier Défago Robust Self-Deployment for a Swarm of Autonomous Mobile Robots with Limited Visibility Range. Search on Bibsonomy RO-MAN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Colette Johnen, Fouzi Mekhaldi Self-stabilization versus Robust Self-stabilization for Clustering in Ad-Hoc Network. Search on Bibsonomy Euro-Par (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Janina Jakubczyc Book Review: Motivating Self-Stabilization (A review of Self-Stabilization by Shlomi Dolev). Search on Bibsonomy IEEE Distributed Systems Online The full citation details ... 2002 DBLP  BibTeX  RDF
24Jianguo Zhao, Ruiguo Yang, Ning Xi, Bingtuan Gao, Xinggang Fan, Matt W. Mutka, Li Xiao 0001 Development of a miniature self-stabilization jumping robot. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker 0001 Dependability Engineering of Silent Self-stabilizing Systems. Search on Bibsonomy SSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 429 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license