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.

  • Bilan de clôture du projet DATAZERO

    Un projet ANR visant à concevoir et administrer des data centers de moyenne puissance alimentés exclusivement par sources énergétiques renouvelables.

    Lire la suite
  • Vladimir GAUTHIER lauréat national du concours PEPITE des jeunes créateurs d’entreprises innovantes

    Docteur-entrepreneur à FEMTO-ST, Vladimir Gauthier développe un projet d’entreprise sur le tri microrobotique de cellules biologiques salué à l’échelle nationale !

    Lire la suite
  • Deux jeunes chercheuses franc-comtoises distinguées par des médailles de bronze du CNRS

    Aude Bolopion (microrobotique) et Nadia Yousfi-Steiner (génie électrique), deux jeunes chercheuses de l’institut FEMTO-ST, ont été récompensées chacune par une médaille de bronze CNRS pour leur contribution respective à l’avancée de la recherche française.

    Lire la suite
  • Sécuriser et certifier le temps

    Inauguration mardi 9 juillet d’un laboratoire commun entre FEMTO-ST et l’entreprise Gorgy Timing pour développer des systèmes de diffusion sécurisée et certifiée du temps et des fréquences au niveau des réseaux sans fil et informatiques.

    Lire la suite
  • Micro-soufflage de verre pour la réalisation de composants optiques miniatures

    Une équipe de chercheurs de FEMTO-ST a développé des lentilles miniatures coniques en revisitant des techniques de soufflage du verre pratiquées depuis l’époque romaine.

    Lire la suite
  • Détecter les problèmes de coagulation des patients en 60 minutes

    Des chercheurs de FEMTO-ST et de l’Université de Genève ont mis au point un appareil permettant d’investiguer en conditions réelles les capacités des plaquettes du patient à stopper les saignements.

    Lire la suite
  • Focus sur le projet européen MiMédi

    Mardi 11 juin, les équipes de l’Institut FEMTO-ST et de l’EFS Bourgogne-Franche-Comté ont présenté, en présence de représentants de la Région, un important projet de recherche européen de spécialisation intelligente régionale.

    Lire la suite
  • Réunion de clôture du projet S3-4AlpClusters

    Les 13 et 14 mars, la conférence finale du projet S3-4AlpClusters a eu lieu à Venise, en présence de tous les partenaires (dont FEMTO-ST), les observateurs, des décideurs politiques et de membres de la Commission européenn

    Lire la suite
  • Le Prix W. G. Cady décerné à Serge GALLIOU à l’IEEE IFCS 2019

    Ce prix récompense les contributions exceptionnelles et pionnières de Serge Galliou dans le développement de résonateurs acoustiques cryogéniques à extrêmement grand facteur de qualité (très faibles pertes mécaniques) pour des applications capteurs, oscillateurs ou de physique fondamentale.

    Lire la suite
  • FEMTO@SCHOOL : des chercheurs invitent la lumière dans les lycées

    Les opticiens de FEMTO-ST proposent un large éventail d'activités de vulgarisation autour de la lumière et de ses applications pour susciter l’intérêt des lycéens pour les sciences et les technologies. 

    Lire la suite

Pages