Sites Inria

Il y a 2 Résultats avec le mot clé : "Spirals research team"

©Earl Barr

Conference

Discovering Program Invariants and Automatic Program Repair

8/11/2013

On Friday 8 November 2013, 14:00-15:00 Room B31 at Inria Lille - Nord Europe, Earl Barr (University College London) will give a talk on “Automatic Detection of Floating-Point Exceptions”.

Lieu : Room B31, Inria Lille - Nord Europe

Intervenant(s) : Earl Barr

Mots-clés :

Accueil > Centre > Lille > Agenda > Discovering Program Invariants and Automatic Program Repair

lire la suite

Logo Apisense © APISENSE

Données personnelles

Prêtez votre téléphone à la science

Philippe Fontaine - 14/01/2014

Les capteurs intégrés aux nombreux smartphones en circulation enregistrent en permanence une grande quantité de données que les scientifiques ont déjà commencé à exploiter. APISENSE est une plate-forme logicielle développée par l'équipe Spirals qui permet la récupération de données.

Mots-clés :

Accueil > Centre > Lille > Actualités > Prêtez votre téléphone à la science

Lire la suite

Haut de page

Suivez Inria