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.

  • AFULudine récompensée au concours I-LAB 2017

    AFULudine (start-up issue entre autres des recherches de FEMTO-ST) est lauréate du concours I-LAB 2017, dans la catégorie « Chimie & environnement ».

    Lire la suite
  • [FOCUS LAB'] Peut-on fabriquer un violon avec des céréales ?

    Découvrez la réponse en images...

    Lire la suite
  • Best Presentation Award à ICEMS'17

    Frédéric Dubas, équipe SHARPAC/FEMTO-ST, s'est vu décerner le prix "Best Presentation Award" lors de la 19ème International Conference on Electrical Machines and Systems qui s'est tenue les 7 et 8 juin à San Francisco

    Lire la suite
  • FEMTO-ST remporte deux prix au salon Economia

    Youssef Tejda et Aliyasin El Ayouch remportent deux prix lors du salon Economia pour leurs travaux sur les métamatériaux acoustiques.

    Lire la suite
  • WOMBAT 2017

    Après une première édition à Sydney en 2015,le second Workshop on Optomechanics and Brillouin Scattering: Fundamentals, Applications and Technologies aura lieu à Besançon.

    Lire la suite
  • FEMTO-ST présent à la 4eme édition des 24h du temps

    Des chercheurs et doctorants de FEMTO-ST participent aux 24h du temps. Une manifestation destinée à promouvoir le savoir-faire technique et scientifique régional dans le domaine du temps et de l’horlogerie qui se déroulera les 3 et 4 juin place Granvelle à Besançon

    Lire la suite
  • Yann Le Gorrec lauréat du prix du service 2017 de l'IFAC France

    Le prix du service 2017 de l'"International Federation of Automatic Control" sera remis en juillet prochain à Yann Le Gorrec, enseignant chercheur au sein de l'institut FEMTO-ST

    Lire la suite
  • Un capteur de rayons X miniature pour une médecine de haute précision

    Détecter les rayons X à une très petite échelle spatiale ouvre la voie à des images médicales et des thérapies de haute précision. C'est ce qu'a réalisé une équipe d'opticiens de FEMTO-ST en intégrant un détecteur à l'extrémité d'une fibre optique. Ces travaux viennent d'être publiés dans la revue Optics Letters et font les "highlights" de l'OSA (Optical Society)

    Lire la suite
  • Nesrine BELKADI, Rania MEZZI et Bogdan PENKOVSKI finalistes de Ma thèse en 180 secondes

    Nesrine BELKADI, Rania MEZZI et Bogdan PENKOVSKI, Doctorants à FEMTO-ST, font partie des 10 finalistes de « Ma thèse en 180 secondes ».
    Venez les encourager le mardi 4 avril à 18 heures à l'amphithéâtre Chosson AgroSup Dijon !

    Lire la suite
  • Prix EEA pour Marine Jouin

    Marine Jouin est lauréate du prix de thèse du Club EEA - section automatique, session 2017.

    Lire la suite

Pages