L'institut
Actualité de FEMTO-ST

Vous êtes ici

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.

  • Médailles de bronze du CNRS : un doublé historique pour FEMTO-ST

    Aude Bolopion (micro-nano robotique biomédicale) et Nadia Yousfi Steiner (diagnostic piles à combustible) sont récompensées de la médaille de bronze 2019 du CNRS pour leurs travaux de recherche prometteurs.

    Lire la suite
  • Best student paper award pour Rémi Meyer

    Rémi Meyer a obtenu le prix de la meilleure présentation étudiante lors de la dernière conférence SPIE-Photonics West pour ses travaux portant sur l’usinage laser avec une précision micrométrique appliqué à la découpe du verre de grande épaisseur.

    Lire la suite
  • Visite du président du CNRS à FEMTO-ST

    Antoine Petit, président-directeur général du CNRS a été accueilli le 11 février dernier à FEMTO-ST.

     

    Lire la suite
  • Visite du Préfet du Doubs à FEMTO-ST

    Joël MATHURIN, nouveau Préfet du Doubs, est venu découvrir les activités de recherche de FEMTO-ST vendredi 25 janvier dernier.

    Lire la suite
  • Photo John Dudley

    John Dudley récompensé par la Société Internationale d’Optique et Photonique (SPIE)

    Il obtient Le prix “SPIE Harold E. Edgerton » 2019 pour des applications pionnières basées sur les impulsions lumineuses ultra-brèves dans les fibres optiques.

    Lire la suite
  • Award "innovation in optomechatronic research"

    Plusieurs membres de différents départements scientifiques de FEMTO-ST ont été récompensés pour leur papier conjoint  "Photonic microsystem made by dynamic microassembly" lors de la conférence ISOT "19th International Symposium on Optomechatronic technology" qui s’est déroulée du 5 au 8 novembre

    Lire la suite
  • 2ème prix national du concours docteurs-entrepreneurs challenges pour Vladimir Gauthier

    Récompensé à Paris pour son projet « CellSelect » qui propose un robot capable d’améliorer la précision et la vitesse de tri de cellules dans le domaine des thérapies innovantes.

    Lire la suite
  • Jean-Antoine Seon : lauréat du 2eme prix national de thèse en robotique

    Ce prix lui a été remis le 22 novembre au siège du CNRS pour ses travaux pionniers à l’échelle internationale sur une micro main robotique dextre.

    Lire la suite
  • Elodie Pahon reçoit le prix «Hydrogen Europe Research Young Scientist Award»

    Ce prix vient récompenser ses travaux de haut niveau visant à développer un système de pronostic et de contrôle intelligent de systèmes pile à combustible.

    Lire la suite
  • Emmanuel RAMASSO, récompensé au travers d'un prix de groupe décerné par la NASA

    Pour une contribution remarquable à la réalisation et au partage d'ensembles de données expérimentales portant sur des défaillances de systèmes avec une valeur scientifique exceptionnelle...

    Lire la suite

Pages