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.

  • FEMTO-ST s'implique du 22 au 24 mai à PINT OF SCIENCE FESTIVAL

    De nombreux chercheurs de l’institut se mobilisent à Besançon à l’occasion de la 10ème édition du festival international de vulgarisation scientifique sur des thématiques variées : optique, robotique, microtechniques pour les médicaments innovants.

    Lire la suite
  • Prix DESCROIX-VERNIER ETHICSCIENCE pour Agathe FIGAROL

    Un modèle innovant de tumeur sur micropuce au laboratoire pour combattre le cancer du cerveau

    Lire la suite
  • Une approche innovante pour le remplissage de cellules d’horloges atomiques miniatures

    Cette nouvelle méthode, qui gagne en flexibilité, ouvre la voie à la production à grande échelle de capteurs atomiques.

    Lire la suite
  • Cérémonie médaille des talents du CNRS : Daniel Brunner récompensé

    Chercheur CNRS en optique à FEMTO-ST et spécialiste des réseaux de neurones photoniques, Daniel Brunner est lauréat d’une médaille de Bronze 2022.

    Lire la suite
  • Journées nationales sur les Technologies Emergentes en Micro-Nanofabrication

    Ces journées scientifiques qui ont lieu du 30 novembre au 2 décembre à Besançon rassemblent les acteurs majeurs français en micro-nanotechnologies, génie des procédés, physique et modélisation des processus de fabrication.

    Lire la suite
  • 16ème Symposium international sur les Systèmes robotiques autonomes distribués

    Près d’une centaine de scientifiques en provenance du monde entier se donnent rendez-vous, sous l’égide de FEMTO-ST, à Montbéliard du 28 au 30 novembre pour échanger sur un domaine interdisciplinaire en pleine expansion.

    Lire la suite
  • Clôture du projet, MiMédI, Microtechniques pour les Médicaments Innovants

    Les 9 partenaires du projet européen de stratégie régionale d’innovation par la spécialisation intelligente MiMédI présentent les résultats portant sur l'amélioration des méthodes de production de biomédicaments et la réduction de leur coût de fabrication.

    Lire la suite
  • Bruno Bonnell en visite à FEMTO-ST

    Le Secrétaire Général Pour l’Investissement (SGPI) Bruno Bonnell, en charge du déploiement du programme interministériel France 2030 sous l’autorité directe de la Première Ministre, a rencontré les chercheurs de l’institut mardi 4 octobre.

    Lire la suite
  • Fei Gao lauréat du prix "Sustainable Future Visionary Award"

    Professeur à l’UTBM et chercheur à FEMTO-ST, Fei Gao est aujourd’hui un des spécialistes mondiaux de la pile à combustible et des jumeaux numériques.

    Lire la suite
  • Micron d’or sur le salon MICRONORA 2022

    FEMTO-ST est récompensé d’un micron d’or pour sa structure nanorobotique tridimensionnelle actionnée de manière précise et continue en fonction de la puissance de la lumière pour la préhension de nano objets.

    Lire la suite

Pages