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 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
  • FEMTO-ST sur C8

    FEMTO-ST sur C8

    Lire la suite
  • Métamatériau en torsion…en couverture de Science !

    Muamer Kadic, enseignant-chercheur d'UBFC au sein du l’institut FEMTO-ST, est co-auteur d’un article dans la prestigieuse revue "Science" en collaboration avec des partenaires du Karlsruhe Institute of Technology (KIT) en Allemagne.
    Leur découverte sur des métamatériaux mécaniques permettant de convertir une simple pression linéaire en un mouvement de torsion pure fait même l’objet de la couverture du journal.

    Lire la suite
  • Concours de photo national #MoiChercheur

    Daniel Guneysu, doctorant au sein de l’équipe BioMicrodevices de FEMTO-ST participe au prochain concours photo national #MoiChercheur soumis au vote du public…Soutenez le !

    Lire la suite
  • Solveig Perret (Optique) remporte le prix du meilleur Poster à Tampere

    Solveig Perret (département Optique) a été récompensée par le jury du "Symposium on Future Prospects for Photonics on Mid-Infrared Light Sources and Applications" qui a eu lieu à Tampere (Finlande) les 13 et 14 décembre 2017.

    Lire la suite
  • Sabina Kuprenaite reçoit le Best Presentation Award à ISIF 2017

    Sabina Kuprenaite (département TF) vient d'être récompensée par l'award de la meilleure présentation lors d'International Symposium on Integrated Functionalities.

    Lire la suite
  • Des chercheurs de FEMTO-ST ont fabriqué un vrai sabre laser

    A l'occasion de la sortie du 8ème épisode de STAR WARS, France Bleu Besançon diffuse une interview insolite sur les Skywalker et Kenobi de FEMTO-ST !

    Lire la suite
  • Les experts mondiaux du domaine de l’électrification des véhicules sont réunis à Belfort

    Après Séoul, Pékin, Chicago ou encore Montréal,c’est Belfort qui accueille cette année du 11 au 14 décembre quelques 350 chercheurs & ingénieurs,experts mondiaux qui sont venus traiter des sujets liés au développement des véhicules hybrides, électriques, à hydrogène, mais aussi des questions liées à l’infrastructure de recharge de ces véhicules, et plus généralement, des questions de mobilité électrique.

    Lire la suite
  • Daniel Hissel (Département Energie) à la UNE de CNRS Le Journal

    A l'occasion du congrès VPPC qui débute le lundi 11 décembre 2017, Daniel Hissel évoque dans CNRS Le Journal les atouts de l'hydrogène...

    Lire la suite
  • Industriels, augmentez votre compétitivité via l'innovation !

    Une journée interactive sur la thématique de l'aéronautique pour découvrir les possibilités de collaboration avec l'institut de recherche FEMTO-ST et son centre de R&D FEMTO Engineering.

    Lire la suite

Pages