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.
FACS 2016 - The 13th International Conference on Formal Aspects of Component Software
Le département du DISC, organisateur de la 13ème Conférence Internationale FACS.
Lire la suite
Colloque "Fatigue et durabilité des composites biosourcés"
Le département Mécanique Appliquée organise le colloque intitulé Fatigue et durabilité des composites biosourcés. Il se tiendra à Besançon du 25 au 27 mai 2016.
Lire la suite
Student Poster Award à la conférence IEEE International Frequency Control Symposium,
Etienne Vaillant, Doctorant au département Temps-Fréquence de FEMTO-ST a obtenu un Student Poster Award à la conférence IEEE International Frequency Control Symposium, qui s'est tenue à New-Orleans, Louisiana (USA) du 9 au 12 mai.
Lire la suite
Nicolas Chaillet élu président de la COMUE Université Bourgogne Franche-Comté
Le conseil d’administration de la COMUE Bourgogne Franche-Comté, réuni le 25 avril, a élu à sa présidence Nicolas Chaillet pour un mandat de 4 ans. Actuellement professeur à l’Université de Franche-Comté et directeur du laboratoire FEMTO-ST, Nicolas Chaillet démissionne donc de ses fonctions à FEMTO-ST.
Le directeur adjoint, Laurent Larger, reprend la direction par intérim.
Lire la suite
Numéro spécial des Comptes Rendus Physique sur les cristaux phononiques
À lire : numéro spécial des Comptes Rendus Physique (revue internationale de l'Académie des Sciences) consacré aux cristaux phononiques et coordonné par Vincent Laude.
Lire la suite
Un poster Award obtenu à l'EFTF 2016
Souleymane Diallo (Doctorant au département Optique) a obtenu un Student Poster Award à la conférence EFTF...
Lire la suite
Conférence-ateliers "Le Temps et les horloges atomiques"
Le étudiants du CMI de physique et de mécanique de l’UFC organisent une conférence-ateliers le mercredi 27 avril sur la thématique du temps et des micro-horloges atomiques animée par des chercheurs de l’institut FEMTO-ST.
Lire la suite
1er prototype de groupe électrogène hybride à hydrogène
Dans le cadre d’un projet de maturation visant à promouvoir l’hydrogène -énergie, une équipe de recherche de la fédération de recherche FCLAB, associant FEMTO-ST, a développé son premier prototype de groupe électrogène à hydrogène qui a été présenté en avant-première à Belfort le 7 avril
Lire la suite
François Courvoisier, lauréat d'une bourse ERC Consolidator Grants, reçoit le prix Aimé Cotton
La société française de physique a décerné le prix Aimé Cotton à François Courvoisier, également lauréat d’une bourse ERC Consolidator Grants 2015.
Lire la suite
Les « nano voitures » font leur avant-première au Musée de l’Aventure Peugeot
C’est à l’occasion du Forum microscopie à sonde locale, organisé par FEMTO-ST que le groupe PSA Peugeot-Citroën a officiellement annoncé son parrainage de l’équipe de chercheurs français impliqués dans la première course internationale de "molécules-voitures".
Lire la suite
Pages
