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.
« Robotex » : un des projets retenu au grand emprunt
Le projet de réseau national de plateformes robotiques d’excellence « Robotex » dans lequel FEMTO-ST est impliqué fait partie des 52 lauréats de la première vague de l’appel à projet « équipements d’excellence » prévu dans le cadre du Grand Emprunt.
Lire la suite
Un interrupteur moléculaire sur silicium
FEMTO-ST a démontré qu’une molécule unique pouvait être manipulée sur une surface semiconductrice par un saut de tension contrôlé par une pointe STM.
Lire la suite
Parution ouvrage
Parution de l'ouvrage "Mécanique Générale"
Lire la suite
MEDICALIP : Vers un dépistage rapide et aisé du cytomégalovirus
Présentation mardi 7 décembre 2010 à 14h30 à la Maison des Microtechniques, 18 rue Alain Savary à Besançon du projet médical innovant de dépistage du cytomégalovirus, cause la plus fréquente d'infection congénitale chez le nouveau né.
Lire la suite
Journée thématique "Machines thermoacoustiques"
FEMTO-ST participe à l'organisation d'une journée thématique consacrée aux machines thermoacoustiques qui se tiendra à Paris le vendredi 10 décembre à 9h30
Lire la suite
Réunion ANR sur futurs programmes STIC et nanotechnologies
Présentation par l'ANR le 2 décembre 2010 à Besançon des appels à projets 2011-2013 sur les programmes STIC, Nanotechnologies et programme "blanc"
Lire la suite
Le plan de relance économique européen s' invite à Besançon...
Dans le cadre du premier séminaire de travail d' un projet financé par le plan de relance économique européen, FEMTO-ST ainsi que 4 autres instituts de recherche européens et 3 partenaires industriels se réunissent les 17, 18 et 19 Novembre à Besançon.
Lire la suite
Temps-Fréquence : Record mondial de stabilité pour un oscillateur quartz : 2,5.10-14
Pour la première fois depuis une quinzaine d'années, le plancher de bruit d'un oscillateur à quartz a été amélioré significativement.
Lire la suite
Besançon accueille les Journées Nationales d’Optique Guidée
Ce n'est pas par hasard si les Journées Nationales d'Optique Guidée (JNOG) ont choisi Besançon pour accueillir leur 29ème édition, mais bien parce que l'optique est l'une des disciplines scientifiques phares de l'Institut FEMTO-ST, organisateur de l'événement en partenariat avec la Société Française d’Optique.
Lire la suite
MICRONORA : Un micron d’or et un prix spécial du jury pour FEMTO-ST
Deux réalisations microtechniques innovantes présentées par FEMTO-ST ont été récompensées lors de cette 18ème édition du salon Micronora en présence de Christian Estrosi, Ministre de l’industrie.
Lire la suite
Pages
