8,519 research outputs found
Dagstuhl Reports : Volume 1, Issue 2, February 2011
Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061) : Simone Fischer-Hübner, Chris Hoofnagle, Kai Rannenberg, Michael Waidner, Ioannis Krontiris and Michael Marhöfer Self-Repairing Programs (Dagstuhl Seminar 11062) : Mauro Pezzé, Martin C. Rinard, Westley Weimer and Andreas Zeller Theory and Applications of Graph Searching Problems (Dagstuhl Seminar 11071) : Fedor V. Fomin, Pierre Fraigniaud, Stephan Kreutzer and Dimitrios M. Thilikos Combinatorial and Algorithmic Aspects of Sequence Processing (Dagstuhl Seminar 11081) : Maxime Crochemore, Lila Kari, Mehryar Mohri and Dirk Nowotka Packing and Scheduling Algorithms for Information and Communication Services (Dagstuhl Seminar 11091) Klaus Jansen, Claire Mathieu, Hadas Shachnai and Neal E. Youn
Dynamic Control of Tunable Sub-optimal Algorithms for Scheduling of Time-varying Wireless Networks
It is well known that for ergodic channel processes the Generalized
Max-Weight Matching (GMWM) scheduling policy stabilizes the network for any
supportable arrival rate vector within the network capacity region. This
policy, however, often requires the solution of an NP-hard optimization
problem. This has motivated many researchers to develop sub-optimal algorithms
that approximate the GMWM policy in selecting schedule vectors. One implicit
assumption commonly shared in this context is that during the algorithm
runtime, the channel states remain effectively unchanged. This assumption may
not hold as the time needed to select near-optimal schedule vectors usually
increases quickly with the network size. In this paper, we incorporate channel
variations and the time-efficiency of sub-optimal algorithms into the scheduler
design, to dynamically tune the algorithm runtime considering the tradeoff
between algorithm efficiency and its robustness to changing channel states.
Specifically, we propose a Dynamic Control Policy (DCP) that operates on top of
a given sub-optimal algorithm, and dynamically but in a large time-scale
adjusts the time given to the algorithm according to queue backlog and channel
correlations. This policy does not require knowledge of the structure of the
given sub-optimal algorithm, and with low overhead can be implemented in a
distributed manner. Using a novel Lyapunov analysis, we characterize the
throughput stability region induced by DCP and show that our characterization
can be tight. We also show that the throughput stability region of DCP is at
least as large as that of any other static policy. Finally, we provide two case
studies to gain further intuition into the performance of DCP.Comment: Submitted for journal consideration. A shorter version was presented
in IEEE IWQoS 200
Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems
This paper is concerned with the development of reliable real-time systems for use in high integrity applications. It advocates the use of diverse replicated channels, but does not require the dependencies between the channels to be evaluated. Rather it develops and extends the approach of Little wood and Rush by (for general systems) by investigating a two channel system in which one channel, A, is produced to a high level of reliability (i.e. has a very low failure rate), while the other, B, employs various forms of static analysis to sustain an argument that it is perfect (i.e. it will never miss a deadline). The first channel is fully functional, the second contains a more restricted computational model and contains only the critical computations. Potential dependencies between the channels (and their verification) are evaluated in terms of aleatory and epistemic uncertainty. At the aleatory level the events ''A fails" and ''B is imperfect" are independent. Moreover, unlike the general case, independence at the epistemic level is also proposed for common forms of implementation and analysis for real-time systems and their temporal requirements (deadlines). As a result, a systematic approach is advocated that can be applied in a real engineering context to produce highly reliable real-time systems, and to support numerical claims about the level of reliability achieved
Dynamic Packet Scheduling in Wireless Networks
We consider protocols that serve communication requests arising over time in
a wireless network that is subject to interference. Unlike previous approaches,
we take the geometry of the network and power control into account, both
allowing to increase the network's performance significantly. We introduce a
stochastic and an adversarial model to bound the packet injection. Although
taken as the primary motivation, this approach is not only suitable for models
based on the signal-to-interference-plus-noise ratio (SINR). It also covers
virtually all other common interference models, for example the multiple-access
channel, the radio-network model, the protocol model, and distance-2 matching.
Packet-routing networks allowing each edge or each node to transmit or receive
one packet at a time can be modeled as well.
Starting from algorithms for the respective scheduling problem with static
transmission requests, we build distributed stable protocols. This is more
involved than in previous, similar approaches because the algorithms we
consider do not necessarily scale linearly when scaling the input instance. We
can guarantee a throughput that is as large as the one of the original static
algorithm. In particular, for SINR models the competitive ratios of the
protocol in comparison to optimal ones in the respective model are between
constant and O(log^2 m) for a network of size m.Comment: 23 page
- …