Départements de recherche

Accueil > L'institut > Actualité > actualité RSS

Actualité de FEMTO-ST


Un problème ouvert résolu en informatique : une réduction efficace de la taille de systèmes

Gérard Cécé du département DISC/FEMTO-ST a présenté lors de la conférence LICS'17, les fondations d'une série d'algorithmes efficaces du calcul de la plus grande relation de simulation d'un système.

La notion de simulation permet de comparer les comportements de systèmes informatiques mais aussi de réduire la taille de ces systèmes afin d'en faciliter l'analyse. On peut prendre en exemple le cas d'un système évoluant au travers de  près de 150 000 configurations différentes et qui a pu être réduit, grace à cette notion de simulation, à un système évoluant dans moins de 1 000 configurations. Il est dès lors bien plus facile d'analyser ce système réduit pour en valider le bon comportement ou y détecter des erreurs.

La difficulté est que les algorithmes calculant la plus grande simulation d'un système étaient soit économes en mémoire mais pas bien rapides, soit rapides mais utilisant beaucoup de mémoire et donc inapplicables sur de grands systèmes. Depuis 2007 se posait le problème de l'existence d'un algorithme à la fois rapide et économe en mémoire. L'article présenté à LICS répond positivement à cette question et surtout met en évidences les fondations qui permettront de proposer de nouveaux compromis, tant théorique que pratique, entre temps de calcul et mémoire nécessaire à ce type d'algorithmes.

Toute l'actu de 2017

1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9

Solveig Perret (Optique) remporte le prix du meilleur Poster à Tampere
Solveig Perret (département Optique) a été récompensée par le jury du "Symposium on Future Prospects for Photonics on Mid-Infrared Light Sources and Applications" qui a eu lieu à Tampere (Finlande) les 13 et 14 décembre 2017.
Sabina Kuprenaite reçoit le Best Presentation Award à ISIF 2017
Sabina Kuprenaite (département TF) vient d'être récompensée par l'award de la meilleure présentation lors d'International Symposium on Integrated Functionalities.
Des chercheurs de FEMTO-ST ont fabriqué un vrai sabre laser
A l'occasion de la sortie du 8ème épisode de STAR WARS, France Bleu Besançon diffuse une interview insolite sur les Skywalker et Kenobi de FEMTO-ST !
Les experts mondiaux du domaine de l’électrification des véhicules sont réunis à Belfort
Après Séoul, Pékin, Chicago ou encore Montréal,c’est Belfort qui accueille cette année du 11 au 14 décembre quelques 350 chercheurs & ingénieurs,experts mondiaux qui sont venus traiter des sujets liés au développement des véhicules hybrides, électriques, à hydrogène, mais aussi des questions liées à l’infrastructure de recharge de ces véhicules, et plus généralement, des questions de mobilité électrique.
Daniel Hissel (Département Energie) à la UNE de CNRS Le Journal
A l'occasion du congrès VPPC qui débute le lundi 11 décembre 2017, Daniel Hissel évoque dans CNRS Le Journal les atouts de l'hydrogène...

1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9


Toute l'actu de 2017

Toutes les années : 2007 - 2008 - 2009 - 2010 - 2011 - 2012 - 2013 - 2014 - 2015 - 2016 - 2017 - 2018