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.
-
-
Assemblage robotique de la plus petite maison du monde
les capacités de manipulation et d'assemblage de nanocomposants de la plateforme "µRobotex" fait le buzz sur le net et dans la presse internationale à travers la fabrication par origami d'une micro-maison au bout d’une fibre optique dont les dimensions sont inférieures au diamètre d’un cheveu.
Lire la suite
-
Journée de la Lumière 2018
Suite au succès de l’année internationale de la Lumière qui a mis en évidence l'importance des sciences et technologies à base de lumière et qui a généré plus de 13000 activités dans 147 pays, l’UNESCO a proclamé le 16 mai comme étant la Journée internationale de la lumière.
Lire la suite
Enrico Rubiola récompensé lors de l'IFCS 2018
Enrico Rubiola recevra le 24 mai lors de l’IFCS 2018 le prix W. G. Cady.
Lire la suite
Inauguration de la plateforme Oscillator IMP le 28 mars
Une nouvelle plateforme technologique dédiée à la caractérisation de la stabilité des oscillateurs est désormais mise à la disposition des acteurs de la recherche et de l’industrie et fera l’objet d’une inauguration le 28 mars prochain.
Lire la suite
OPTICS 2018 : Sheler Maktoobi, Best Paper Award !
Sheler Maktoobi (doctorante département d'optique) s'est vu remettre le Best Paper Award lors de la conférence OPTICS 2018 (SPIE)
Lire la suite
Visite ministérielle à FEMTO-ST
Vendredi 16 mars, La ministre de l'Enseignement supérieur, de la Recherche et de l'Innovation, Frédérique VIDAL, est venue à Besançon découvrir les activités de recherche de FEMTO-ST et échanger avec les membres de l’institut.
Lire la suite
Création de la start-up VERSO Optim
Fondée par trois membres de FEMTO-ST, la spin-off VERSO Optim propose des solutions logicielles d'optimisation efficaces dédiées aux problèmes de planification et d'optimisation dans les contextes industriels, notamment de logistique et de mobilité
Lire la suite
Pages
