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.
Vidéo sur Biom'@x
Découvrez la vidéo sur les activités de recherche de FEMTO-ST dans le domaine du biomédical
Lire la suite
LUX! Temps fort, c'est fini !
Ça y est, le temps fort LUX! est derrière nous et c’est en images que nous vous proposons de (re)-découvrir cet événement.
Lire la suite
LUX ! TEMPS FORT
Venez découvrir scientifiques et artistes à l'occasion de LUX! du 9 au 11 octobre...
Lire la suite
Une jeune chercheuse récompensée par une bourse l’Oréal-UNESCO Pour les Femmes et la Science
Brillante doctorante au sein de l’institut FEMTO-ST, Pauline BUTAUD, 26 ans, fait partie des 20 jeunes chercheuses françaises récompensées hier à Paris par une bourse nationale l’Oréal-UNESCO pour l’excellence scientifique de ses travaux de recherche novateurs afin de lui permettre de poursuivre une carrière déjà très prometteuse, tout en valorisant son parcours et ses résultats.
Lire la suite
Une jeune chercheuse récompensée par une bourse l’Oréal-UNESCO Pour les Femmes et la Science
Brillante doctorante au sein de l’institut FEMTO-ST, Pauline BUTAUD, 26 ans, fait partie des 20 jeunes chercheuses françaises récompensées hier à Paris par une bourse nationale l’Oréal-UNESCO pour l’excellence scientifique de ses travaux de recherche novateurs afin de lui permettre de poursuivre une carrière déjà très prometteuse, tout en valorisant son parcours et ses résultats.
Lire la suite
Venez découvrir le dispositif CIFRE
FEMTO-ST organise le mercredi 30 septembre, une demi-journée d’information sur le dispositif "Conventions Industrielles de Formation par la Recherche".
Lire la suite
Bilal KOMATI (AS2M) obtient le Prix de la meilleure thèse en robotique
Félicitations à Bilal KOMATI (AS2M) qui a obtenu ce prix pour sa thèse intitulée : « Micro-assemblage automatisé à l’aide d’une pince instrumentée en force et d’une commande hybride force/position ».
Lire la suite
Parution du livre "Phononic crystals"
Vincent Laude, Directeur de recherche CNRS à l'institut FEMTO-ST fait paraître un livre (éd. DE GRUYTER) intitulé: Phononic Crystals:
Artificial Crystals for Sonic, Acoustic, and Elastic Waves
Lire la suite
Inauguration du laboratoire commun PhASES
L’institut FEMTO-ST et l’entreprise SENSeOR inaugurent leur laboratoire commun PhASES « Physical Acoustics, Sensors and Embedded Systems »
Lire la suite
Frontiers in photonics
Venez assister aux conférences d'Alexander Gaeta, de Michal Lipson et de Jean-Pierre Wolf le 1er octobre...
Lire la suite
Pages
