This paper presents a dynamic semantics for the parallel language HARPO/L, based on Reynolds’s grainless approach [1]. It shows that the approach scales to somewhat more sophist...
In this paper we present algorithms for transmitter adaptation in downlink wireless systems based on maximization of the Signal-to-Interference plus Noise-Ratio (SINR). We investi...
Dimitrie C. Popescu, Shiny Abraham, Otilia Popescu
This paper presents an automata-based approach for analyzing traces generated by the kernel of an operating system. We identified a list of typical patterns of problematic behavi...