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.
A vos objectifs...
LUX ! vous propose jusqu'au 10 septembre de participer à un concours photo à contre-jour...
Lire la suite
LUX ! À L’HEURE D’ÉTÉ
LUX ! C’est tout l’été en Franche-Comté avec :
Des ateliers, des rencontres, des expositions et des animations grand public, mais aussi des intervenants spécialisés chercheurs, artistes, médiateurs...
Lire la suite
AFULUB lauréat i-LAB 2015
AFULub est lauréat régional de la catégorie "en émergence" de la 17ème édition du Concours national d’aide à la création d’entreprises de technologies innovantes
Lire la suite
EFTS - Séminaire européen temps-fréquence
Du 29 juin au 3 juillet se déroule l'école thématique EFTS organisée par le département Temps-Fréquence...
Lire la suite
Mieux connaître l’impact des particules de suie sur le climat
En appliquant un modèle basé sur une nouvelle approche théorique dite PDI (Point Dipole Interaction) à des particules de suie simulées sur ordinateur, une équipe de chercheurs bisontins vient de montrer que les caractéristiques atomiques de ces particules, émises par les processus de combustion, peuvent avoir une grande influence sur leurs propriétés d’absorption du rayonnement solaire.
Lire la suite
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
Pages
