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 (16) 2011-2012 (22) 2013-2014 (17) 2015-2016 (20) 2017-2019 (21) 2020-2022 (16) 2023 (3)
Publication types (Num. hits)
article(154) book(2) incollection(4) inproceedings(288) phdthesis(8)
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
103Augusto Ciuffoletti Self-stabilization - beyond the token ring circulation (brief announcement). Search on Bibsonomy PODC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
89Marco 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
75Sté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
71Shlomi 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
66Hsu-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
62Jens 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
62Ajoy 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
61Sukumar 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
59Oliver 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
59Sukumar Ghosh, Arobinda Gupta, Ted Herman, Sriram V. Pemmaraju Fault-containing self-stabilizing distributed protocols. Search on Bibsonomy Distributed Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Distributed algorithms, Transformer, Self-stabilization, Fault-containment
58Hirotsugu 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
56Tina 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
55Murat 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
55Ajoy 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
55Abhishek 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
55Ludmila 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
52Joffroy 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
52Shlomi 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
49Joffroy Beauquier, Maria Gradinariu, Colette Johnen Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. Search on Bibsonomy Distributed Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Scheduler, Self-stabilization, Leader election, Randomized protocol, Protocol composition
49Pierre 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
48Ann 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
47Yu 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
47Oliver 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
45Yukiko 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
45Lé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
45Ted Herman Models of Self-Stabilization and Sensor Networks. Search on Bibsonomy IWDC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
44Sayaka 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
44Shlomi 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
43Paolo Boldi, Sebastiano Vigna Universal dynamic synchronous self-stabilization. Search on Bibsonomy Distributed Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Graph fibrations, Self-stabilization, Synchronous systems, Anonymous networks
42Petra Funk, Ingo Zinnikus Self-stabilization as multiagent systems property. Search on Bibsonomy AAMAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Thibault 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
42Olga 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
41Fabrice 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
40Ajoy 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
39Constantin Adam, Rolf Stadler Patterns for routing and self-stabilization. Search on Bibsonomy NOMS (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
39Yukiko 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
39Mahyar 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
39Colette 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
39Hirotsugu 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
39Franck 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
37Young-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
37Doina 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
36Yukiko 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
36Toshimitsu 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
36Albert 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
36Colette 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
36Albert 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
36Sampath 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
35Eddy 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
35Tridib 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
34Nathalie 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
34Doina 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
34Doina 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
34Doina 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
34Shlomi 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
33Abusayeed 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
33Thibault 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
32Dominik 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
32Murat 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
32Shing-Tsaan Huang, Ted Herman Self-Stabilization Workshop. Search on Bibsonomy DSN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32Sanny 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
32Mohamed 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
32Shlomi 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
32Dana Angluin, James Aspnes, Michael J. Fischer, Hong Jiang Self-stabilizing population protocols. Search on Bibsonomy ACM Trans. Auton. Adapt. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF sensor networks, Anonymous, fairness, self-stabilization, population protocols, finite-state
32Eddy 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
32Toshio 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
32Shing-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
32Tzong-Jye Liu, Shing-Tsaan Huang Phase Synchronization on Asynchronous Uniform Rings with Odd Size. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF fault tolerance, Distributed systems, self-stabilization, transient faults, phase synchronization
32Shing-Tsaan Huang, Lih-Chyau Wuu Self-Stabilizing Token Circulation in Uniform Networks. Search on Bibsonomy Distributed Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Uniform networks, Fault tolerance, Self-stabilization, Spanning trees, Token circulation
32Olivier 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
31Sven Köhler 0001, 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 Netw. Appl. 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 Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF r -operators, Read-write atomicity, Distributed systems, Self-stabilization, Unfair scheduling
29Andrew 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
29Jun Kiniwa How to Improve Safety under Convergence Using Stable Storage. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF false privilege, vulnerability under convergence, self-stabilization, Mutual exclusion, stable storage
29Mohamed 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
29Hsu-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
29Boris Dahav, Opher Etzion Distributed Enforcement of Integrity Constraints. Search on Bibsonomy Distributed Parallel Databases The full citation details ... 2003 DBLP  DOI  BibTeX  RDF database exception handling, self-stabilization in databases, distributed rules systems, distributed databases
29Josyula 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
29Mohamed 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
29Toshimitsu 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
28Nathalie 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
28Felix C. Freiling, Sukumar Ghosh Code Stabilization. Search on Bibsonomy Self-Stabilizing Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Oliver E. Theel Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms. Search on Bibsonomy DISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Christoph Lenzen 0001, Jukka Suomela, Roger Wattenhofer Local Algorithms: Self-stabilization on Speed. Search on Bibsonomy SSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Shlomi Dolev Optimal Time Self Stabilization in Dynamic Systems (Preliminary Version). Search on Bibsonomy WDAG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
25Michael 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
25Shlomi 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
24Lé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
24Oliver E. Theel An Exercise in Proving Self-Stabilization through Ljapunov Functions. Search on Bibsonomy ICDCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Colette 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
23Ezra N. Hoch Bridging the gap : Byzantine faults and self-stabilization (עם תקציר בעברית ושער נוסף: שילוב של שגיאות ביזנטיות עם התייצבות עצמית.; Byzantine faults and self-stabilization.). Search on Bibsonomy 2010   RDF
23Janina Jakubczyc Book Review: Motivating Self-Stabilization (A review of Self-Stabilization by Shlomi Dolev). Search on Bibsonomy IEEE Distributed Syst. Online The full citation details ... 2002 DBLP  BibTeX  RDF
23Samuel 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
23Toshimitsu Masuzawa, Taisuke Izumi, Yoshiaki Katayama, Koichi Wada 0001 Brief Announcement: Communication-Efficient Self-stabilizing Protocols for Spanning-Tree Construction. Search on Bibsonomy OPODIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Daisuke 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
23Sandeep 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
22Geunho 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
22Jianguo Zhao, Ruiguo Yang, Ning Xi 0001, 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
Displaying result #1 - #100 of 456 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license