Sites Inria

Il y a 2 Résultats avec le mot clé : "TASC"

© INRIA Sophie Auvin - T comme Temps

Recherche - Prix

L'équipe de recherche TASC se distingue

Nathalie Lacaux - 8/10/2013

TASC est une des équipes de recherche du centre Inria Rennes-Bretagne Atlantique située à Nantes. Elle se distingue en obtenant, en septembre, prix et médailles, qui viennent récompenser ses travaux de recherche et ses développements logiciels de bibliothèque de contraintes.

Mots-clés :

Accueil > Centre > Rennes > Actualités > L'équipe de recherche TASC se distingue

Lire la suite

Gilles Chabert, Maître Assistant à l'École des Mines de Nantes (EMN), est membre de TASC, une équipe-projet Inria, EMN et Université de Nantes, commune au Laboratoire d'Informatique de Nantes Atlantique.

Recherche

Garantir la fiabilité de calculs numériques

Jean-Michel Prima - 30/11/2015

Développée par des chercheurs académiques, Ibex est une bibliothèque C++ basée sur la programmation par contracteurs, un formalisme qui facilite la résolution efficace et garantie de problèmes non-linéaires. Cette spécificité permet d'envisager des applications en automatique et en robotique, comme l'explique Gilles Chabert, coordinateur du projet et membre de Tasc, une équipe-projet Inria, École des Mines de Nantes et Université de Nantes, commune au Laboratoire d'Informatique de Nantes Atlantique (Lina).

Mots-clés :

Accueil > Recherches > Actualités > Garantir la fiabilité de calculs numériques

Lire la suite

Haut de page

Suivez Inria