-
Low complexity decoding schemes for MIMO systems
The use of MIMO antennas is a technique that allows to exploit in a very effective way the spatial and temporal diversity in certain systems of communication, of which... -
Une analyse syntaxique d'ASN.1 : 1990 en Caml Light
ASN.1 est un langage de spécification de protocoles normalisé par l'ISO et utilisé fréquemment dans les télécommunications. Il permet de décrire et de regrouper en... -
Acute: High-level programming language design for distributed computation : D...
This paper studies key issues for distributed programming in high-level languages. We discuss the design space and describe an experimental language, Acute, which we... -
Specifying Imperative ML-Like Programs Using Dynamic Logic
International audience -
Transmitter and receiver design for inherent interference cancellation in MIM...
Multicarrier (MC) Modulation attracts a lot of attention for high speed wireless transmissions because of its capability to cope with frequency selective fading... -
The Size-Change Termination Principle for Constructor Based Languages
24 pages + 6 pages d'appendice -
an intuitionistic lambda calculus with exceptions
We introduce a typed lambda-calculus which allows the use of exceptions in the ML style. It is an extension of the system AF2 of Krivine & Leivant (Krivine, 1990;...
