Proceedings of the 6th International Workshop on Foundations of Mobile Computing 2010
DOI: 10.1145/1860684.1860690
|View full text |Cite
|
Sign up to set email alerts
|

Decomposing broadcast algorithms using abstract MAC layers

Abstract: In much of the theoretical literature on wireless algorithms, issues of message dissemination are considered together with issues of contention management. This combination leads to complicated algorithms and analysis, and makes it difficult to extend the work to harder communication problems. In this paper, we present results of a current project aimed at simplifying such algorithms and analysis by decomposing the treatment into two levels, using abstract "MAC layer" specifications to encapsulate the contenti… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
38
0

Year Published

2011
2011
2017
2017

Publication Types

Select...
4
3

Relationship

2
5

Authors

Journals

citations
Cited by 23 publications
(39 citation statements)
references
References 21 publications
(25 reference statements)
1
38
0
Order By: Relevance
“…The algorithms mentioned above are all for global broadcast of one message from a known source. For multiple messages, a deterministic algorithm for k messages with complexity O(k log 3 n + n log 4 n) appears in [7], while randomized global broadcast of multiple messages was studied in [5,22,23]. We refer the reader to an excellent survey on broadcasting in radio networks in [37].…”
Section: Related Workmentioning
confidence: 99%
“…The algorithms mentioned above are all for global broadcast of one message from a known source. For multiple messages, a deterministic algorithm for k messages with complexity O(k log 3 n + n log 4 n) appears in [7], while randomized global broadcast of multiple messages was studied in [5,22,23]. We refer the reader to an excellent survey on broadcasting in radio networks in [37].…”
Section: Related Workmentioning
confidence: 99%
“…We say an algorithm solves the multihop broadcast problem in r rounds if and only if every process outputs m by round r, w.h.p. The Local Broadcast Problem.In this paper, following the approach of [17], we decompose multihop broadcast into first solving local broadcast, and then using the construction presented in [17] to transform this local solution into a global one.…”
Section: Modelmentioning
confidence: 99%
“…However, it is possible to provide similar guarantees with a high probability (cf. [12]). The MAC layer assumes well-formedness conditions for upper layers.…”
Section: The Abstract Mac Layermentioning
confidence: 99%
“…We follow the specification of an abstract MAC layer presented in [13] (with implementation details provided in [12]). This modular approach makes the algorithm easier to design, understand and verify.…”
Section: Introductionmentioning
confidence: 99%