type:REPORT - Groups

In this work we consider the numerical solution of large nonlinear eigenvalue problems that arise in thermoacoustic simulations involved in the stability analysis of...

HTML

Modélisation de la régulation de l'épissage alternatif au site A7 de HIV-1

Stage de DESS. Rapport de stage.

HTML

Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive In...

In this article we show that hybrid type-logical grammars are a fragment of first-order linear logic. This embedding result has several important consequences: it not...

HTML

Downlink Cellular Interference Alignment

Cellular networks have been notoriously interference-limited systems in dense urban areas, where base stations are deployed in close proximity to one-another....

HTML

Vérification de propriétés temporelles complexes

Stage de DEA. Rapport de stage.

HTML

Description of existing solutions - Deliverable 2.2

Rapport de contrat.

HTML

Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use

ISBN 978-2-87971-131-7

HTML

Optimizing IGP Link Weights for Energy-efficiency in a Changing World

Recently, saving energy for backbone networks has raised an increasing concern for network operators. Since traffic load has a small influence on power consumption,...

HTML

Optimizing Rule Placement in Software-Defined Networks for Energy-aware Routing

Software-defined Networks (SDN), in particular OpenFlow, is a new networking paradigm enabling innovation through network programmability. Over past few years, many...