Sites Inria

There are 2 Results with the keyword : "Framework"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

10/09/2018

A number of tools have been developed for carrying out separation-logic proofs mechanically using an interactive proof assistant.

Place : Inria de Paris, 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Jacques-Louis Lions 1, bâtiment C

Guest(s) : Robbert Krebbers (Delft University of Technology)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA / Sophie Chauvin - Equation

Research Teams Seminar

Performance and Genericity Seminar (Research and Development Lab, EPITA)

1/10/2019

The Loci Auto-Parallelizing framework provides a Domain Specific Language (DSL) for the creation of high performance numerical models.

Place : 11am - Amphi 4, LRDE, EPITA (14-16, rue Voltaire 94276 Le Kremlin-Bicêtre)

Guest(s) : Edward A. Luke, Professor (Department of Computer Science and Engineering, Mississippi State University)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Performance et Généricité du LRDE

lire la suite

Top