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 conjointe GDR Robotique – GDR MECANO

    Les 15 et 16 juin prochain, auront lieu à Paris, les journées conjointes GDR Robotique – GDR MECANO. Les Thématiques abordées durant ces deux journées sont : la fonctionnalisation de surface, la modélisation et la caractérisation du contact, et la micro-nanomanipulation robotique.

    Lire la suite
  • John Dudley reçoit le Grand Prix de l'Electronique - Général Ferrié

    John Dudley reçoit le Grand Prix de l'Électronique - Général Ferrié.
    Cette distinction récompense chaque année un ingénieur, un chercheur ou une équipe d'ingénieurs et de chercheurs ayant réalisé des travaux contribuant d'une importante manière aux progrès de la radioélectricité, de l'électronique et de ses applications.

    Lire la suite
  • Article paru dans la revue IET

    10 GHz cryocooled sapphire oscillator with extremely low phase noise

    Lire la suite
  • Summer school in microrobotics and Self-assembly for Hybrid Mems

    Cette école d'été s'adresse aux chercheurs, ingénieurs, doctorants qui souhaitent acquérir ou améliorer leurs connaissances et compétences
    dans les domaines de la manipulation et de l'assemblage de microsystèmes complexes.

    Lire la suite
  • Mini-colloque Cristaux phononiques, nanophononique et nanothermie des matériaux (JMC12, Troyes)

    Les 12ièmes Journées de la Matière Condensée (JMC12) se tiendront du 23 au 27 août 2010 à l'Université de Technologie de Troyes. Nous avons le plaisir d'organiser durant ces journées un mini-colloque sur les Cristaux phononiques, la nanophononique et la nanothermie des matériaux.

    Lire la suite
  • Test du nouveau microscope confocal laser

    OLYMPUS en collaboration avec FEMTO-ST vous convie les 25 et 26 mars
    à venir tester par vous-même une nouvelle solution de microscopie confocale.

    Lire la suite
  • Une alliance franco-américaine dans les nanosciences

    L’agence nationale de la recherche (ANR) vient de labelliser un projet de recherche qui est retenu conjointement par l’ANR et par son homologue américaine, la National Science Foundation (NSF).Le consortium est constitué autour de trois laboratoires : le CEMES (Toulouse), FEMTO-ST (Besançon/Montbéliard) et l’Université de l’Ohio (Etats-Unis).

    Lire la suite
  • 4M conference 2010

    Co-organisée par FEMTO-ST, la conférence 4 M 2010 sera organisée à Oyonnax du 17 au 19 novembre prochain.

    Lire la suite
  • 4èmes journées scientifiques : Codes de calcul en radioprotection, radiophysique et dosimétrie

    Organisées les 28 et 29 avril prochain au Musée de l’aventure Peugeot à Sochaux, ces journées francophones ont pour objectif de dresser un état de l’art des codes de calcul de transport des rayonnements, d’estimation de sources et de gestion des doses et de dégager les perspectives d’avenir.

    Lire la suite
  • FEMTO-Innovation aux rendez-vous CARNOT 2010

    Lyon accueillera les 5 et 6 mai 2010 la 3ème édition des rendez-vous CARNOT, un des plus grands rassemblements de laboratoires de recherche partenariale en Europe.

    Lire la suite

Pages