Sites Inria

English version

A la une

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

29/11/2017

Usuba: An optimizing & trustworthy bitslicing compiler

Lieu : INRIA - Paris - 2 rue Simone Iff -Salle Lions 2, bâtiment C

Intervenant(s) : Darius Mercadier (LIP6)

Mots-clés :

lire la suite

© INRIA Sophie Auvin - G comme Grille

Sémnaire des équipes de Recherche

Séminaire Gallium

4/12/2017

Our work is at the frontier between real-time scheduling and compilation. Our objective is to build parallel software that respects hard real-time requirements.

Lieu : I N R I A Paris - 2 rue Simone Iff (ou: 41 rue du Charolais) - Salle Lions - bâtiment C

Intervenant(s) : Keryan Didier

Mots-clés :

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

12/12/2017

Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible

Lieu : INRIA - Paris - 2 rue Simone Iff - Salle Lions 2, bâtiment C

Intervenant(s) : William J. Bowman, Northeastern University

Mots-clés :

lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !