132,908 research outputs found
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
The paper overviews recent developments in platform-dependent explicit-state
LTL model checking.Comment: In Proceedings PDMC 2011, arXiv:1111.006
Heterogeneous Congestion Control: Efficiency, Fairness and Design
When heterogeneous congestion control protocols that react to different pricing signals (e.g. packet loss, queueing delay, ECN marking etc.) share the same network, the current theory based on utility maximization fails to predict the network behavior. Unlike in a homogeneous network, the bandwidth allocation now depends on router parameters and flow arrival patterns. It can be non-unique, inefficient and unfair. This paper has two objectives. First, we demonstrate the intricate behaviors of a heterogeneous network through simulations and present a rigorous framework to help understand its equilibrium efficiency and fairness properties. By identifying an optimization problem associated with every equilibrium, we show that every equilibrium is Pareto efficient and provide an upper bound on efficiency loss due to pricing heterogeneity. On fairness, we show that intra-protocol fairness is still decided by a utility maximization problem while inter-protocol fairness is the part over which we don¿t have control. However it is shown that we can achieve any desirable inter-protocol fairness by properly choosing protocol parameters. Second, we propose a simple slow timescale source-based algorithm to decouple bandwidth allocation from router parameters and flow arrival patterns and prove its feasibility. The scheme needs only local information
Information Super-Diffusion on Structured Networks
We study diffusion of information packets on several classes of structured
networks. Packets diffuse from a randomly chosen node to a specified
destination in the network. As local transport rules we consider random
diffusion and an improved local search method. Numerical simulations are
performed in the regime of stationary workloads away from the jamming
transition. We find that graph topology determines the properties of diffusion
in a universal way, which is reflected by power-laws in the transit-time and
velocity distributions of packets. With the use of multifractal scaling
analysis and arguments of non-extensive statistics we find that these
power-laws are compatible with super-diffusive traffic for random diffusion and
for improved local search. We are able to quantify the role of network topology
on overall transport efficiency. Further, we demonstrate the implications of
improved transport rules and discuss the importance of matching (global)
topology with (local) transport rules for the optimal function of networks. The
presented model should be applicable to a wide range of phenomena ranging from
Internet traffic to protein transport along the cytoskeleton in biological
cells.Comment: 27 pages 7 figure
- …