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.
"Nonlinear Dynamics Summer School in Peyresq, 2013"
L'école thématique internationale et pluridisciplinaire du CNRS (INSIS INSMI) "Nonlinear Dynamics Summer School in Peyresq, 2013" a lieu du du 23 au 30 Août 2013, à Peyresq, France
Lire la suite
Rodolphe Boudot et Enrico Rubiola récompensés à l'EFTF 2013
Rodolphe Boudot et Enrico Rubiola ont reçu l’Outstanding Paper Award 2012 de l'IEEE UFFC Society.
Lire la suite
-
Erik Vargas Rojas obtient un prix dans la catégorie "doctorants" à la conférence ASME 2013
Erik Vargas Rojas a obtenu un prix catégorie "doctorants" au 21ème Rudy Scavuzzo Student Paper symposium and Competition à la conférence ASME 2013 Pressure Vessels & Piping Division Conference 2013 qui s'est tenu à Paris du 14 au 18 juillet dernier.
Lire la suite
Thibaut Sylvestre reçoit le prix Fabry de Gramont 2012
23 ans après le dernier lauréat franc-comtois, Thibaud Sylvestre, responsable de l'équipe Optique Non Linéaire du Département d'Optique de FEMTO-ST,vient de se voir décerner le Prix Fabry De Gramont 2012 de la Société Française d'Optique pour ses nombreux travaux et résultats marquants en optique non linéaire sur fibre.
Lire la suite
La spin-off frec|n|sys lauréat CNCE 2013
Sylvain Ballandras,ancien chercheur au département temps-fréquence de l’institut FEMTO-ST est l’un des lauréats du 15ème concours national d’aide à la création d’entreprises de technologies innovantes du ministère de l'Enseignement supérieur et de la Recherche, en catégorie création-développement.
Lire la suite
FEMTO-ST anime les nanosciences
Le groupe NanoSciences a réalisé un film d’animation 3D illustrant sa thématique de recherche au sein du département MN2S.
Lire la suite
FEMTO-ST lance un nouveau centre de développement technologique
En lien direct avec l’industrie, FEMTO Engineering se propose d’être en Franche-Comté un nouveau centre de développement technologique issu de la recherche de l’Institut FEMTO-ST dans les domaines de la microfabrication et du micro-usinage, du temps-fréquence, de l’énergie et
des « Smart Systems".
Lire la suite
FEMTO-ST en séminaire scientifique à Besançon
Ce mercredi 26 juin FEMTO-ST organise à Besançon, dans les locaux de la Maison de l’Economie, son deuxième séminaire scientifique.
Cette manifestation a notamment l'objectif de cultiver l'interdisciplinarité, la richesse scientifique et les missions de valorisation et de transfert propres à un institut de recherche en ingénierie.
Lire la suite
Huihui LU récompensé par le gouvernement chinois pour sa thèse à FEMTO-ST
Huihui LU a reçu le prix d’excellence académique du gouvernement chinois pour sa thèse menée entre 2009 et 2012 au sein du département d’Optique de FEMTO-ST dans le cadre d'une bourse accordée par le conseil régional de Franche-Comté.
Lire la suite
Pages