A source-channel matching space-time diversity technique is presented for reliable delivery of layer coded multimedia services through wireless channels. The transmission system i...
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
Next generation malware will by be characterized by the intense use of polymorphic and metamorphic techniques aimed at circumventing the current malware detectors, based on pattern...
In this article, a new method for performance evaluation of Turbo-like codes is presented. This is based on estimating the Probability Density Function (pdf) of the bit Log-Likelih...
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In the AspectJ language, the observations that an aspec...
Chris Allan, Pavel Avgustinov, Aske Simon Christen...