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.
Le département DISC récompensé lors de la conférence IEEE AINA 2016
Le DISC reçoit la SEULE récompense de la 30éme édition de l'IEEE AINA 2016, à Cran Montana...
Lire la suite
Forum international des microscopies à sonde locale
Organisé par des membres du département MN2S, ce forum aura lieu du 21 au 25 Mars 2016 au Musée de l’aventure Peugeot à Sochaux.
Lire la suite
Succès du projet I-SITE UBFC
le projet I-SITE BFC, dans lequel FEMTO-ST est très impliqué, figure parmi les 2 projets I-SITE retenus in fine par le jury d’experts internationaux dans le cadre du second programme Investissements d’Avenir (PIA2) mené par l’Etat
Lire la suite
Best Paper Award à la conférence ICRSE & PHM 2015
L'équipe PHM a été récompensée à Pékin pour son article « Component-Based Data-Driven Prognostics for Complex Systems: Methodology and Applications ».
Lire la suite
Grand Prix National de l'Ingénierie 2015
Grâce au partenariat avec les équipes de recherche belfortaine de l’institut FEMTO-ST (département Energie) le groupe Assystem s’est vu remettre le Prix National de l’Ingénierie 2015 pour le développement d’un moteur thermique de nouvelle génération à apport de chaleur externe baptisé Energine.
Lire la suite
Une jeune chercheuse récompensée par une bourse l’Oréal-UNESCO Pour les Femmes et la Science
Brillante doctorante au sein de l’institut FEMTO-ST, Pauline BUTAUD, 26 ans, fait partie des 20 jeunes chercheuses françaises récompensées hier à Paris par une bourse nationale l’Oréal-UNESCO pour l’excellence scientifique de ses travaux de recherche novateurs afin de lui permettre de poursuivre une carrière déjà très prometteuse, tout en valorisant son parcours et ses résultats.
Lire la suite
Vidéo sur Biom'@x
Découvrez la vidéo sur les activités de recherche de FEMTO-ST dans le domaine du biomédical
Lire la suite
LUX! Temps fort, c'est fini !
Ça y est, le temps fort LUX! est derrière nous et c’est en images que nous vous proposons de (re)-découvrir cet événement.
Lire la suite
LUX ! TEMPS FORT
Venez découvrir scientifiques et artistes à l'occasion de LUX! du 9 au 11 octobre...
Lire la suite
Une jeune chercheuse récompensée par une bourse l’Oréal-UNESCO Pour les Femmes et la Science
Brillante doctorante au sein de l’institut FEMTO-ST, Pauline BUTAUD, 26 ans, fait partie des 20 jeunes chercheuses françaises récompensées hier à Paris par une bourse nationale l’Oréal-UNESCO pour l’excellence scientifique de ses travaux de recherche novateurs afin de lui permettre de poursuivre une carrière déjà très prometteuse, tout en valorisant son parcours et ses résultats.
Lire la suite
Pages
