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.
Un micron d’or pour la micro horloge atomique de FEMTO-ST
Rodolphe Boudot (département Temps-Fréquence) et Nicolas Passily (département Micro Nano Sciences et Systèmes) ont été récompensés du micron d’or pour leur démonstrateur d’horloge atomique MEMS présenté sur la 19ème édition du salon international des microtechniques MICRONORA.
Lire la suite
Baptiste Véron, Best Theoretical Research Paper Award
Baptiste Véron, doctorant de l'équipe MiNaRoB du département AS2M,
vient d'obtenir le Best Theoretical Research Paper Award à la
4th European Conference on Mechanism Science pour la communication
"Magnetic manipulation with several mobile coils towards
gastrointestinal capsular endoscopy"
B. Véron, J. Abadie, A. Hubert, N. Andreff
Lire la suite
Prix poster Eurosensors
L'équipe de Christophe Gorecki récompensé lors d'Eurosensors 2012
Lire la suite
Nicolas FRIOT, lauréat du concours national OSEO 2012
Nicolas Friot, doctorant au DISC, a obtenu un prix en tant que Lauréat au concours 2012
« Création d'Entreprise de Technologie Innovante », catégorie « Projet en Émergence »,
du Ministère de l' Enseignement Supérieur et de la Recherche en partenariat avec OSEO.
Lire la suite
Cos étendu
Mardi 4 et Mercredi 5 septembre 2012 s'est tenu le premier COS étendu du département.
Lire la suite
Christophe Gorecki mis à l'honneur par la société savante SPIE
Christophe Gorecki a été élu en ce mois d'Août dans le board des directeurs de la société savante SPIE
Lire la suite
Naissance de la Spin-off ExpertiSens
ExpertiSens est une spin-off de FEMTO-ST proposant un service d’expertise sensorielle.
Lire la suite
FEMTO-ST tient séminaire à Belfort les 2 et 3 juillet
FEMTO-ST organise les 2 et 3 juillet prochains à l'ATRIA de Belfort, ses premières journées de séminaire scientifique multi-disciplinaire depuis son renouvellement au rang A+ des meilleures unités de recherche françaises.
Lire la suite
Rayisa Moiseyenko, lauréate du Prix A'Doc 2012
Rayisa Moiseyenko Doctorante au département MN2S est lauréate du Prix A'Doc 2012 pour son article "DIFFRACTION DANS LES CRISTAUX PHONONIQUES"
Lire la suite
Lauréats du prix 2012 de l'EOS
Le groupe de Christophe Gorecki lauréat du prix 2012 de l'EOS pour ses travaux dans le domaine de la production d'hologrammes à bas coût.
Lire la suite
Pages