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.

  • Focus sur les innovations de la filière "systèmes hydrogène-énergie"

    Quelques jours après l’annonce par le gouvernement du lancement d’un grand plan national hydrogène, l’institut Femto-ST organise le 20 juin 2018 au FCLAB à Belfort, un focus sur les innovations de la filière « systèmes hydrogène énergie ».

    Lire la suite
  • Assemblage robotique de la plus petite maison du monde

    les capacités de manipulation et d'assemblage de nanocomposants de la plateforme "µRobotex" fait le buzz sur le net et dans la presse internationale à travers la fabrication par origami d'une micro-maison au bout d’une fibre optique dont les dimensions sont inférieures au diamètre d’un cheveu.

    Lire la suite
  • Nicolas Andreff, reçoit Le Grand Prix Scientifique 2018 de la Fondation Charles Defforey-Institut de France

    Remis le 30 mai sous la Coupole de l'Institut de France des mains de M. Jean-Paul Laumond, membre de l'Académie des Sciences, ce Grand Prix vient couronner ses travaux et ceux de son équipe dans le domaine de la microrobotique médicale

    Lire la suite
  • Journée de la Lumière 2018

    Suite au succès de l’année internationale de la Lumière qui a mis en évidence l'importance des sciences et technologies à base de lumière et qui a généré plus de 13000 activités dans 147 pays, l’UNESCO a proclamé le 16 mai comme étant la Journée internationale de la lumière.

    Lire la suite
  • Enrico Rubiola récompensé lors de l'IFCS 2018

    Enrico Rubiola recevra le 24 mai lors de l’IFCS 2018 le prix W. G. Cady.

    Lire la suite
  • Inauguration de la plateforme Oscillator IMP le 28 mars

    Une nouvelle plateforme technologique dédiée à la caractérisation de la stabilité des oscillateurs est désormais mise à la disposition des acteurs de la recherche et de l’industrie et fera l’objet d’une inauguration le 28 mars prochain.

    Lire la suite
  • OPTICS 2018 : Sheler Maktoobi, Best Paper Award !

    Sheler Maktoobi (doctorante département d'optique) s'est vu remettre le Best Paper Award lors de la conférence OPTICS 2018 (SPIE)

    Lire la suite
  • Visite ministérielle à FEMTO-ST

    Vendredi 16 mars, La ministre de l'Enseignement supérieur, de la Recherche et de l'Innovation, Frédérique VIDAL, est venue à Besançon découvrir les activités de recherche de FEMTO-ST et échanger avec les membres de l’institut.

    Lire la suite
  • Création de la start-up VERSO Optim

    Fondée par trois membres de FEMTO-ST, la spin-off VERSO Optim propose des solutions logicielles d'optimisation efficaces dédiées aux problèmes de planification et d'optimisation dans les contextes industriels, notamment de logistique et de mobilité

    Lire la suite
  • FEMTO-ST sur C8

    Les métamatériaux développés par FEMTO-ST pour limiter les nuisances sonores mis en avant dans l'émission "william à midi" sur C8 !!

    Lire la suite

Pages