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.

  • Journée technique : Microélectronique et MEMS

    Organisée par FEMTO-ST, le Pôle des Microtechniques et Cap'Tronic, cette journée aura lieu le 5 juillet prochain et sera l'opportunité de rencontres et d'échanges entre académiques, industriels fabricants de produits micro-assemblés et offreurs de solutions de micro-assemblage.

    Lire la suite
  • Le microrobot FEMTO-ST double champion du monde de vitesse

    Après avoir décroché leur premier titre de champion du monde l’année dernière en Alaska, nos chercheurs franc-comtois sont venus hier à Shanghai réitérer leur performance pour s’illustrer à nouveau dans la coupe internationale de microrobotique.

    Lire la suite
  • FEMTO-ST publie dans Angewandte chemie international edition

    Un consortium de chercheurs issus de l’Institut FEMTO-ST et l’Institut de Sciences et Matériaux de Mulhouse vient de publier un article dans Angewandte chemie international edition exposant leur capacité à organiser des molécules sur une surface semiconductrice avec une précision atomique.

    Lire la suite
  • FEMTO-ST sera présent à Munich sur LASER WORLD OF PHOTONICS 2011

    C'est au côté de Crystal Device Technology, une des start-ups issues de son Département d'Optique que FEMTO-ST participera du 23 au 26 mai sur le pavillon France au plus important salon international du domaine de la photonique

    Lire la suite
  • FEMTO-ST expose sur MEDTEC les 13 et 14 avril 2011

    FEMTO-ST sera présent les 13 et 14 avril prochain sur le stand 525 au salon de l'instrumentation médicale "MEDTEC France" qui se tient à Besançon (Parc des expositions de Micropolis)

    Lire la suite
  • Un LABEX pour le projet FIRST-TF

    FEMTO-ST et UTINAM font partie des cents projets de LABoratoires d’Excellence (LABEX)retenus dans le cadre du grand emprunt. Ce projet de réseau thématique pour la recherche,l’innovation, la formation, les services et le transfert en Temps-Fréquence (FIRST-TF) est porté par le
    SYRTE (SYstème de Références Temps-Espace) de l'Observatoire de Paris. Il implique également le Laboratoire de Physique des Lasers (Paris 13) et GEOAZUR à l’Observatoire de la Côte d’Azur.

    Lire la suite
  • Un article de Michel planat sélectionné par le Journal of Physics A: Mathematical and Theoretical

    Les travaux de Michel Planat sur le "calcul quantique par l'hypothèse de Riemann" ont été sélectionnés pour affichage sur le site du Journal of Physics A: Mathematical and Theoretical accessible à l'adresse http://iopscience.iop.org/1751-8121/labtalk-article/45421. Cette brève est fondée sur un article récent de Michel paru dans ce journal.

    Lire la suite
  • FEMTO-Innovation présent sur la foire de Hanovre

    Au côté de 5 autres instituts Carnot, FEMTO-Innovation représentera la recherche partenariale française à l'occasion de la foire de Hanovre qui se déroule du 4 au 8 avril 2011.

    Lire la suite
  • Olympiades des sciences de l'ingénieur

    FEMTO-ST s'associe à l'ENSMM pour accueillir le 18 mars 2011 les équipes de lycéens finalistes académiques 2011 des olympiades des sciences de l'ingénieur.

    Lire la suite
  • FEMTO-ST lauréat national des trophées INPI de l'innovation

    C’est mardi 25 janvier, lors d’une cérémonie qui s’est déroulée à Paris que le jury a décerné à notre institut un trophée national pour récompenser la qualité scientifique de nos recherches ainsi que notre politique de valorisation fortement orientée vers les PME et basée sur une véritable culture de la propriété industrielle.

    Lire la suite

Pages