One of the fundamental operations in wireless ad hoc networks is broadcasting. To successfully reducing the number of transmissions of broadcast that are required to achieve full delivery with energy consumption using local broadcast algorithm. This broadcast algorithm is proposed for guarantee with full delivery and successful approximation to the optimum solution without considering the node ...

Virial mass is used as an estimator for the mass of a dark matter halo. However, the commonly used constant overdensity criterion does not reflect the dynamical structure of haloes. Here we analyze dark matter cosmological simulations in order to obtain properties of haloes of different masses focusing on the size of the region with zero mean radial velocity. Dark matter inside this region is s...

We propose a pattern for designing algorithms that are in P by construction and under-approximate the winning regions of both players in parity games. This approximation is achieved by the interaction of finitely many aspects, each performing an efficient static analysis. We present several such aspects and illustrate their relative precision and interaction.

In the field of static analysis, abstract interpretation based techniques compute over approximations of the set of possible behaviors of programs. These over-approximations give properties on the program that can be used to prove the abscence of some bugs. In the case of control command programs, the behavior of the program depends on the physical environment with which it interacts. This envi...

This paper explores z-ranking, a technique to rank error reports emitted by static program checking analysis tools. Such tools often use approximate analysis schemes, leading to false error reports. These reports can easily render the error checker useless by hiding real errors amidst the false, and by potentially causing the tool to be discarded as irrelevant. Empirically, all tools that effec...