In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
In order to achieve fault tolerance, highly reliable system often require the ability to detect errors as soon as they occur and prevent the speared of erroneous information throu...
Abstract— In this paper, we propose a new MIMO-HSDPA transmission scheme with two transmit and two receive antennas, using an optimal Space-Time block code: the Golden code [1]. ...
Rym Ouertani, Ahmed Saadani, Ghaya Rekaya-Ben Othm...
Theories of shaping for lattice codes have been developed for systems (optical or non-optical) using coherent detection with additive white Gaussian noise (AWGN) and for direct-det...
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...