862 research outputs found
Matching Theory for Future Wireless Networks: Fundamentals and Applications
The emergence of novel wireless networking paradigms such as small cell and
cognitive radio networks has forever transformed the way in which wireless
systems are operated. In particular, the need for self-organizing solutions to
manage the scarce spectral resources has become a prevalent theme in many
emerging wireless systems. In this paper, the first comprehensive tutorial on
the use of matching theory, a Nobelprize winning framework, for resource
management in wireless networks is developed. To cater for the unique features
of emerging wireless networks, a novel, wireless-oriented classification of
matching theory is proposed. Then, the key solution concepts and algorithmic
implementations of this framework are exposed. Then, the developed concepts are
applied in three important wireless networking areas in order to demonstrate
the usefulness of this analytical tool. Results show how matching theory can
effectively improve the performance of resource allocation in all three
applications discussed
Formal analysis techniques for gossiping protocols
We give a survey of formal verification techniques that can be used to corroborate existing experimental results for gossiping protocols in a rigorous manner. We present properties of interest for gossiping protocols and discuss how various formal evaluation techniques can be employed to predict them
Throughput-Optimal Broadcast on Directed Acyclic Graphs
We study the problem of broadcasting packets in wireless networks. At each
time slot, a network controller activates non-interfering links and forwards
packets to all nodes at a common rate; the maximum rate is referred to as the
broadcast capacity of the wireless network. Existing policies achieve the
broadcast capacity by balancing traffic over a set of spanning trees, which are
difficult to maintain in a large and time-varying wireless network. We propose
a new dynamic algorithm that achieves the broadcast capacity when the
underlying network topology is a directed acyclic graph (DAG). This algorithm
utilizes local queue-length information, does not use any global topological
structures such as spanning trees, and uses the idea of in-order packet
delivery to all network nodes. Although the in-order packet delivery constraint
leads to degraded throughput in cyclic graphs, we show that it is throughput
optimal in DAGs and can be exploited to simplify the design and analysis of
optimal algorithms. Our simulation results show that the proposed algorithm has
superior delay performance as compared to tree-based approaches.Comment: To appear in the proceedings of INFOCOM, 201
- ā¦