Sites Inria

Il y a 4 Résultats avec le mot clé : "Formal"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

23/02/2016

Lieu : Salle de réunion Jacques-Louis Lions 1, bâtiment C

Intervenant(s) : Chung-Kil Hur (Seoul National University)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

4/07/2016

Lieu : 2 rue Simone Iff, 75012 Paris - Salle Jacques-Louis Lions 1, bâtiment C - 10h30

Intervenant(s) : Arthur Charguéraud

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - A comme Algorithme

Séminaire des équipes de recherche

Séminaire Aost2

2/06/2017

This presentation introduces Chisel, a tool that synthesizes a program slicer directly from a given algebraic specification of a programming language operational semantics.

Lieu : Inria de Paris, BâtimentC, Salle C234 - 14h00

Intervenant(s) : Irina-Mariuca Asavoae

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Aost2

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

17/09/2018

Data layout transformations such as array-of-structures to structure-of-arrays, peeling and splitting of records, can lead to significant performance improvement.

Lieu : Inria de Paris, 2 rue Simone Iff (ou: 41 rue du Charolais) Salle A115, bâtiment A

Intervenant(s) : Ramon Fernandez I Mir (Inria)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Haut de page

Suivez Inria