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.
Recrutement 2012 - Département AS2M
Le département AS2M recrute 1 poste de maître de conférence (61ème section) en 2013, sur les thématiques de la commande des systèmes complexes.
Lire la suite
FEMTO-ST élargit ses compétences et s’agrandit
Un nouveau département de recherche consacré à l’Informatique des Systèmes Complexes (DISC) vient d’être créé au sein de l’institut FEMTO-ST grâce à l’intégration en janvier 2012 des équipes de l’ex laboratoire d’Informatique de Franche-Comté.
Lire la suite
Deux projets FEMTO-ST distingués par l’ERC
Deux projets de recherche d’envergure, portés respectivement par Yanne Chembo et John Dudley du département d’Optique de FEMTO-ST, viennent de bénéficier chacun d’eux d’un financement substantiel du Conseil Européen de la Recherche compte tenu de leur excellence scientifique
Lire la suite
FEMTO-ST : Lauréat des lauréats des trophées de l’INPI
A l’occasion de ses 60 ans et des 20 ans de ses trophées de l’Innovation, l’INPI a mis en avant ses 6 lauréats les plus talentueux des 20 dernières éditions et a décerné à FEMTO-ST le prix spécial 2011 dans la catégorie « centres de recherche »
Lire la suite
FEMTO-ST : Résultat du Mois Omicron
Un article sélectionné par la société Omicron en tant que résultat du mois.
Lire la suite
journée d'information : appels à proposition ERC 2012
Une demi‐journée d’information consacrée aux appels à proposition ERC 2012 aura lieu le vendredi 16 Septembre 2011 de 13h45 à 17h
Lire la suite
Michaël Gauthier reçoit une médaille de Bronze du CNRS 2011
Michaël Gauthier est lauréat 2011 de l’Institut des sciences de l'ingénierie et des systèmes (INSIS)du CNRS.
Lire la suite
CFM 2011 à Besançon
La 20ème édition du Congrès Français de Mécanique se tiendra à Besançon du 29 août au 2 septembre 2011. Il est organisé par le département Mécanique Appliquée de l’institut FEMTO-ST.
Lire la suite
Workshop Arc-et-Senans - 14 septembre 2011
Cet atelier est couplé cette année avec le workshop NAMIS. Les thèmes traités par les conférenciers seront les Enjeux sociaux et économiques des applications sans fil (Wireless) dans les domaines de l’environnement, de la santé et de la sécurité ainsi que le Management multiculturel et l’Emergence d’une société globale
Lire la suite
Birgit STILLER, lauréate du Prix A'Doc 2011
Birgit STILLER, Doctorante au Département Optique, est lauréate du Prix A'Doc 2011 pour son article « Son et Lumière dans les fibres optiques microstructurées »
Lire la suite
Pages
