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.
Prix de l'innovation au salon Medtec
Le projet de création de la start-up Amarob Robotics Systems a reçu le prix de l'innovation lors du salon industriel Medtec France, saluant l'originalité de l'approche et le potentiel applicatif de la technologie développée au sein de l'institut FEMTO-ST portant sur la chirurgie laser endoluminale des cordes vocales.
Lire la suite
Coup de projecteur sur le Président de l'année internationale de la lumière
Le service sciences, arts et culture de l’Université de Franche-Comté a décidé de mettre un coup de projecteur sur John Dudley, chercheur à l'institut FEMTO-ST et Président de l'année internationale de la lumière 2015
Lire la suite
Conférence « Un Tsunami numérique sur l’éducation, vraiment ?
Mercredi 3 juin à partir de 13h30, dans le cadre d'une conférence qui se déroulera dans le locaux de l'ENSMM et en interactivité, Emmanuel Davidenkoff,Spécialiste de l’éducation et de son évolution interpelle sur l’émergence d’une véritable société numérique.
Lire la suite
Best Paper Award à ICRA 2015
L'équipe CODE (département AS2M) vient de remporter le Best Automation Paper Award à ICRA 2015 pour un nouveau concept de manipulation et de transport sans contact de wafers et de cellules solaires.
Lire la suite
Auréa Technology récompensée !
Auréa Technology, Spin-off de FEMTO-ST, gagnante du prix international de l'innovation 2015 CLEO-Laser Focus world
Lire la suite
La lumière s’invite à l’hôpital d’enfants de Brabois CHRU de Nancy
Le temps d’une émission télévisée sur télé 8, Luc Froehly, chargé de recherche CNRS au département d’optique de FEMTO-ST explorera la thématique de la LUMIÈRE avec les enfants hospitalisés de CHRU de Nancy, mardi 12 mai 2015, de 14h à 16h.
Lire la suite
Le projet I-SITE UBFC pré-sélectionné
Le projet I-SITE de l'Université Bourgogne-Franche-Comté (UBFC) pré-sélectionné...
Lire la suite
FEMTO-ST remet un prix spécial au concours C.Génial 2015
Nicolas Chaillet, Directeur de FEMTO-ST a remis aux collégiens du collège Collucci le Prix spécial « Année de la lumière en France » pour le projet « Image JAILLISSANTE pas si LED »
Lire la suite
Un prix au forum des microscopies à sonde locale 2015
Gaolei Zhan a obtenu le second prix du meilleur poster lors forum des microscopies à sonde locale 2015.
Lire la suite
Observation de l'éclipse solaire - 20 Mars 2015
À l'occasion de l'éclipse partielle du Soleil, l'observatoire de Besançon et l'Association astronomique de Franche-Comté proposent une matinée d'observations pour profiter au mieux du spectacle.
Lire la suite
Pages
