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.

  • Hommage à notre collègue Philippe LUTZ

    La communauté universitaire de Bourgogne Franche-Comté vient de perdre soudainement Philippe LUTZ, un collègue et ami de grande valeur, professeur à l’Université de Franche-Comté et chercheur de renom en microrobotique au laboratoire FEMTO-ST.

    Lire la suite
  • Best student paper Award pour Clément Carlé à la conférence IFCS-EFTF2022

    Ce prix a été obtenu dans la catégorie « Microwave Frequency Standards »de cette conférence internationale majeure du domaine de la métrologie temps-fréquence qui s’est déroulée à Paris, du 24 au 28 avril 2022.

    Lire la suite
  • Daniel BRUNNER lauréat d’une bourse ERC Consolidator 2021

    Chargé de recherche CNRS à l’Institut FEMTO-ST, Daniel est lauréat d’une prestigieuse bourse du Conseil européen de recherche (ERC) d’un montant de 2 M€ pour son projet INSPIRE

    Lire la suite
  • La formation CMI H3E mise à l’honneur

    Porté par Nadia Yousfi Steiner, le CMI H3E vient d’être récompensé par le trophée Hydrogénies pour la catégorie "Prix de la sensibilisation, de l’Education et de la Formation"

    Lire la suite
  • Daniel HISSEL nommé « Fellow » IEEE

    Professeur en Génie Electrique à l’Université de Franche-Comté et chercheur à FEMTO-ST, Daniel Hissel a été récompensé pour ses travaux sur les systèmes intégrant l’hydrogène.

    Lire la suite
  • 8 mars, Journée Internationale du droit des femmes

    "La Liberté, comme la Science, et le droit des Femmes, sont des enjeux fondamentaux de l'Humanité.
    Lire la suite
  • Première observation de l'effet roton dans des métamatériaux

    Des travaux expérimentaux menés par FEMTO-ST et le KIT ont montré la possibilité de « piloter » la propagation de l’onde vers l’avant ou vers l’arrière en faisant varier sa fréquence.

    Lire la suite
  • FEMTO-ST partenaire de l'unité Mixte technologique "CAPPLAI"

    Des CApteurs pour piloter et optimiser la Performance des Process LAItiers

    Lire la suite
  • Les vésicules extracellulaires (EVs) : des médiateurs intercellulaires aux multiples facettes

    La plateforme NanoBioAnalytique (NBA) de FEMTO-ST au service de la qualification des EVs, dans des fluides biologiques complexes, pour des applications diagnostiques ou thérapeutiques.

    Lire la suite
  • Bonne année 2022 !

    La Direction et l'ensemble des membres de FEMTO-ST vous souhaitent une année 2022 pleine de satisfactions personnelles et professionnelles

    Lire la suite

Pages