Fast and compact self-stabilizing verification, computation, and fault detection of an MST (Q498670): Difference between revisions

← Older edit

@@ aliases / en / 0 / aliases / en / 0 @@
+Fast and compact self stabilizing verification, computation, and fault detection of an MST
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6481672
@@ Property / title @@
+Fast and compact self stabilizing verification, computation, and fault detection of an MST (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68348
@@ Property / zbMATH Open document ID: 1321.68348 / rank @@
+Normal rank
@@ Property / DOI @@
+.1145/1993806.1993866
@@ Property / DOI: 10.1145/1993806.1993866 / rank @@
+Normal rank
@@ Property / published in @@
+Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
+Normal rank
@@ Property / publication date @@
+September 2015Timestamp +2015-09-11T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2015-09-11T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 11 September 2015 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+R10
@@ Property / Mathematics Subject Classification ID: 68R10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W01
@@ Property / Mathematics Subject Classification ID: 68W01 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6481672
@@ Property / zbMATH DE Number: 6481672 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\textsc{MST}
@@ Property / zbMATH Keywords: \textsc{MST} / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributed algorithms
@@ Property / zbMATH Keywords: distributed algorithms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributed verification
@@ Property / zbMATH Keywords: distributed verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fault detection
@@ Property / zbMATH Keywords: fault detection / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+local proof checking
@@ Property / zbMATH Keywords: local proof checking / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+self stabilization
@@ Property / zbMATH Keywords: self stabilization / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2019402200
@@ Property / OpenAlex ID: W2019402200 / rank @@
+Normal rank
@@ Property / cites work @@
+How to Explore a Fast-Changing World (Cover Time of a Simple Random Walk on Evolving Graphs)
+Normal rank
@@ Property / cites work @@
+Consensus algorithms with one-bit messages
@@ Property / cites work: Consensus algorithms with one-bit messages / rank @@
+Normal rank
@@ Property / cites work @@
+Parsimonious flooding in dynamic graphs
@@ Property / cites work: Parsimonious flooding in dynamic graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Flooding time in edge-Markovian dynamic graphs
@@ Property / cites work: Flooding time in edge-Markovian dynamic graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Broadcasting in dynamic radio networks
@@ Property / cites work: Broadcasting in dynamic radio networks / rank @@
+Normal rank
@@ Property / cites work @@
+Perfectly secure message transmission
@@ Property / cites work: Perfectly secure message transmission / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a Byzantine environment: Crash failures
+Normal rank
@@ Property / cites work @@
+Fault Tolerance in Networks of Bounded Degree
@@ Property / cites work: Fault Tolerance in Networks of Bounded Degree / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Opportunistic Information Dissemination in Mobile Ad-hoc Networks: The Profit of Global Synchrony
+Normal rank
@@ Property / cites work @@
+Almost-Everywhere Secure Computation
@@ Property / cites work: Almost-Everywhere Secure Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge and common knowledge in a distributed environment
+Normal rank
@@ Property / cites work @@
+Optimal gradient clock synchronization in dynamic networks
+Normal rank
@@ Property / cites work @@
+Gradient clock synchronization in dynamic networks
+Normal rank
@@ Property / cites work @@
+Distributed computation in dynamic networks
@@ Property / cites work: Distributed computation in dynamic networks / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous consensus via common knowledge
@@ Property / cites work: Continuous consensus via common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Programming simultaneous actions using common knowledge
+Normal rank
@@ Property / cites work @@
+Reaching Agreement in the Presence of Faults
@@ Property / cites work: Reaching Agreement in the Presence of Faults / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259994
@@ Property / cites work: Q4259994 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Path Compression on Balanced Trees
+Normal rank
@@ Property / cites work @@
+The local detection paradigm and its applications to self-stabilization
+Normal rank
@@ Property / cites work @@
+A Near-Tight Lower Bound on the Time Complexity of Distributed Minimum-Weight Spanning Tree Construction
+Normal rank
@@ Property / cites work @@
+Q4536977
@@ Property / cites work: Q4536977 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed reset
@@ Property / cites work: Distributed reset / rank @@
+Normal rank
@@ Property / cites work @@
+A new distributed depth-first-search algorithm
@@ Property / cites work: A new distributed depth-first-search algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed verification of minimum spanning trees
+Normal rank
@@ Property / cites work @@
+Time optimal self-stabilizing synchronization
@@ Property / cites work: Time optimal self-stabilizing synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Verification and Hardness of Distributed Approximation
+Normal rank
@@ Property / cites work @@
+Distributed error confinement
@@ Property / cites work: Distributed error confinement / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Self-stabilizing Minimum Spanning Tree Construction
+Normal rank
@@ Property / cites work @@
+A New Self-stabilizing Minimum Spanning Tree Construction with Loop-Free Property
+Normal rank
@@ Property / cites work @@
+When graph theory helps self-stabilization
@@ Property / cites work: When graph theory helps self-stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+Snap-stabilization and PIF in tree networks
@@ Property / cites work: Snap-stabilization and PIF in tree networks / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing depth-first search
@@ Property / cites work: Self-stabilizing depth-first search / rank @@
+Normal rank
@@ Property / cites work @@
+Memory requirements for silent stabilization
@@ Property / cites work: Memory requirements for silent stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing leader election in optimal space under an arbitrary scheduler
+Normal rank
@@ Property / cites work @@
+Self-stabilizing systems in spite of distributed control
+Normal rank
@@ Property / cites work @@
+Verification and Sensitivity Analysis of Minimum Spanning Trees in Linear Time
+Normal rank
@@ Property / cites work @@
+Optimal parallel verification of minimum spanning trees in logarithmic time
+Normal rank
@@ Property / cites work @@
+Q2782251
@@ Property / cites work: Q2782251 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilization of dynamic systems assuming only read/write atomicity
+Normal rank
@@ Property / cites work @@
+Q3883524
@@ Property / cites work: Q3883524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535803
@@ Property / cites work: Q4535803 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Distributed Decision
@@ Property / cites work: Local Distributed Decision / rank @@
+Normal rank
@@ Property / cites work @@
+Randomized distributed decision
@@ Property / cites work: Randomized distributed decision / rank @@
+Normal rank
@@ Property / cites work @@
+On the Impact of Identifiers on Local Decision
@@ Property / cites work: On the Impact of Identifiers on Local Decision / rank @@
+Normal rank
@@ Property / cites work @@
+A Distributed Algorithm for Minimum-Weight Spanning Trees
+Normal rank
@@ Property / cites work @@
+Distance labeling in graphs
@@ Property / cites work: Distance labeling in graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Fault-containing self-stabilizing algorithms
@@ Property / cites work: Fault-containing self-stabilizing algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Electing a leader in a ring with link failures
@@ Property / cites work: Electing a leader in a ring with link failures / rank @@
+Normal rank
@@ Property / cites work @@
+Locally checkable proofs
@@ Property / cites work: Locally checkable proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing multicast protocols for ad hoc networks.
+Normal rank
@@ Property / cites work @@
+Q4436052
@@ Property / cites work: Q4436052 / rank @@
+Normal rank
@@ Property / cites work @@
+The fault span of crash failures
@@ Property / cites work: The fault span of crash failures / rank @@
+Normal rank
@@ Property / cites work @@
+Labeling Schemes for Flow and Connectivity
@@ Property / cites work: Labeling Schemes for Flow and Connectivity / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing extensions for message-passing systems
+Normal rank
@@ Property / cites work @@
+Tight bounds for distributed minimum-weight spanning tree verification
+Normal rank
@@ Property / cites work @@
+Proof labeling schemes
@@ Property / cites work: Proof labeling schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Compact separator decompositions in dynamic trees and applications to labeling schemes
+Normal rank
@@ Property / cites work @@
+Fast distributed construction of <i>k</i>-dominating sets and applications
+Normal rank
@@ Property / cites work @@
+Distributed MST for constant diameter graphs
@@ Property / cites work: Distributed MST for constant diameter graphs / rank @@
+Normal rank
@@ Property / cites work @@
+What can be computed locally?
@@ Property / cites work: What can be computed locally? / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Computing: A Locality-Sensitive Approach
+Normal rank
@@ Property / cites work @@
+Distributed network protocols
@@ Property / cites work: Distributed network protocols / rank @@
+Normal rank

Latest revision as of 20:37, 10 July 2024

scientific article; zbMATH DE number 6481672

Fast and compact self stabilizing verification, computation, and fault detection of an MST

Language	Label	Description	Also known as
English	Fast and compact self-stabilizing verification, computation, and fault detection of an MST	scientific article; zbMATH DE number 6481672	Fast and compact self stabilizing verification, computation, and fault detection of an MST