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.

  • Prix du meilleur poster lors d'une conférence internationale en Inde

    A. Singh a reçu le prix du meilleur poster lors la conférence internationale sur les sciences et nanotechnologies qui s'est déroulée à Gurgaon en Inde, du 17 au 21 Décembre 2007. Ce prix vient récompenser un travail résultant de la collaboration franco-indienne financée par le programme CEFIPRA entre FEMTO-ST et l'Université de Pune.

    Lire la suite
  • Naissance du département FEMTO-ST/MN2S

    MN2S est né officiellement le premier janvier 2008 ! La vocation de ce département pluridisciplinaire est fédérer les recherches en micro et nano sciences au sein de FEMTO-ST.

    Lire la suite
  • Abdelkrim Khelif reçoit une médaille de bronze CNRS 2007

    Abdelkrim Khelif est le lauréat 2007 de la section 8 du CNRS. Suivant la formule officielle, "La médaille de bronze récompense le premier travail d'un chercheur, qui fait de lui un spécialiste de talent dans son domaine. Cette récompense représente un encouragement du CNRS à poursuivre des recherches bien engagées et déjà fécondes."

    Lire la suite
  • Bilan de la journée FEMTO-Innovation - 4 octobre 2007

    L’institut Carnot « FEMTO-Innovation » a ouvert ses portes à ses partenaires socio-économiques lors d’une journée découverte qui a eu lieu le 4 octobre 2007 à Besançon.

    Lire la suite
  • L'Equipe OPTO a fait la couverture de IEEE Journal of Quantum Electronics

    couverture

    couverture

    couverture

    Lire la suite
  • International Symposium on Flow Visualization and Image Processing

    Congrès international consacré à la visualisation d'écoulements et au traitement des images revient en France !

    Il se déroulera à Nice du 1 au 4 juillet 2008.

    Lire la suite
  • Recrutement d'un maître de conférences en dynamique des structures non linéaires

    Un poste de maître de conférences en dynamique des structures non linéaires est à pourvoir dans l'équipe dynamique des structures de FEMTO-ST.

    Lire la suite
  • Micron d'or 2006 au salon Micronora

    L'équipe Biophotonique s'est vue décerner le micron d'or lors du salon Micronora 2006.

    Lire la suite

Pages