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.
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
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
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
Venez découvrir le dispositif CIFRE
FEMTO-ST organise le mercredi 30 septembre, une demi-journée d’information sur le dispositif "Conventions Industrielles de Formation par la Recherche".
Lire la suite
Bilal KOMATI (AS2M) obtient le Prix de la meilleure thèse en robotique
Félicitations à Bilal KOMATI (AS2M) qui a obtenu ce prix pour sa thèse intitulée : « Micro-assemblage automatisé à l’aide d’une pince instrumentée en force et d’une commande hybride force/position ».
Lire la suite
Inauguration du laboratoire commun PhASES
L’institut FEMTO-ST et l’entreprise SENSeOR inaugurent leur laboratoire commun PhASES « Physical Acoustics, Sensors and Embedded Systems »
Lire la suite
Pages
