Fast and compact self-stabilizing verification, computation, and fault detection of an MST (Q498670): Difference between revisions
From MaRDI portal
Created a new Item |
EloiFerrer (talk | contribs) Merged Item from Q2943408 |
||||||||||||||
(6 intermediate revisions by 5 users not shown) | |||||||||||||||
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) | |||||||||||||||
Property / title: Fast and compact self stabilizing verification, computation, and fault detection of an MST (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1321.68348 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.1145/1993806.1993866 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / published in | |||||||||||||||
Property / published in: Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
11 September 2015
| |||||||||||||||
Property / publication date: 11 September 2015 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68M14 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68M15 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Q25 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68T15 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68W15 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68Q60 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68R10 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / Mathematics Subject Classification ID | |||||||||||||||
Property / Mathematics Subject Classification ID: 68W01 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6486371 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6481672 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
distributed network algorithms | |||||||||||||||
Property / zbMATH Keywords: distributed network algorithms / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
locality | |||||||||||||||
Property / zbMATH Keywords: locality / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
proof labels | |||||||||||||||
Property / zbMATH Keywords: proof labels / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
minimum spanning tree | |||||||||||||||
Property / zbMATH Keywords: minimum spanning tree / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
distributed property verification | |||||||||||||||
Property / zbMATH Keywords: distributed property verification / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
self-stabilization | |||||||||||||||
Property / zbMATH Keywords: self-stabilization / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
fast fault detection | |||||||||||||||
Property / zbMATH Keywords: fast fault detection / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
local fault detection | |||||||||||||||
Property / zbMATH Keywords: local fault detection / 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 / MaRDI profile type | |||||||||||||||
Property / MaRDI profile type: MaRDI publication profile / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W3103786737 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W2019402200 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / arXiv ID | |||||||||||||||
Property / arXiv ID: 1512.07800 / rank | |||||||||||||||
Normal rank | |||||||||||||||
links / mardi / name | links / mardi / name | ||||||||||||||
Revision as of 13:54, 29 April 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 |
|
Statements
Fast and compact self-stabilizing verification, computation, and fault detection of an MST (English)
0 references
Fast and compact self stabilizing verification, computation, and fault detection of an MST (English)
0 references
29 September 2015
0 references
11 September 2015
0 references
distributed network algorithms
0 references
locality
0 references
proof labels
0 references
minimum spanning tree
0 references
distributed property verification
0 references
self-stabilization
0 references
fast fault detection
0 references
local fault detection
0 references
\textsc{MST}
0 references
distributed algorithms
0 references
distributed verification
0 references
fault detection
0 references
local proof checking
0 references
self stabilization
0 references