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.
FEMTO-Innovation aux rendez-vous CARNOT 2010
Lyon accueillera les 5 et 6 mai 2010 la 3ème édition des rendez-vous CARNOT, un des plus grands rassemblements de laboratoires de recherche partenariale en Europe.
Lire la suite
Journées Codes de calcul en radioprotection, radiophysique et dosimétrie
Organisées les 28 et 29 avril prochain au Musée de l’aventure Peugeot à Sochaux, ces journées francophones ont pour objectif de dresser un état de l’art des codes de calcul de transport des rayonnements, d’estimation de sources et de gestion des doses et de dégager les perspectives d’avenir.
Lire la suite
4èmes journées scientifiques : Codes de calcul en radioprotection, radiophysique et dosimétrie
Organisées les 28 et 29 avril prochain au Musée de l’aventure Peugeot à Sochaux, ces journées francophones ont pour objectif de dresser un état de l’art des codes de calcul de transport des rayonnements, d’estimation de sources et de gestion des doses et de dégager les perspectives d’avenir.
Lire la suite
FEMTO-ST/AS2M dans la revue « Chemical and Engineering News »
Le 21 septembre 2009 est paru un article dans la revue « Chemical and Engineering News » consacré aux travaux du département AS2M.
Lire la suite
Journées GDR MNS 2009
Du 18 au 20 novembre, le Département Micro Nano Sciences et Systèmes (MN2S) de l’Institut FEMTO-ST a organisé à Besançon les Journées Nationales du GdR « Micro et Nano Systèmes (MNS) ».
Lire la suite
d-MEMS 2010 – Besançon 28 et 29 juin
FEMTO-ST et le LIFC organisent le 1er atelier consacré à la conception, la commande et le logiciel pour les MEMS distribués.
Lire la suite
-
Inauguration de la nouvelle salle blanche FEMTO-ST
Le 2 octobre prochain aura lieu l’inauguration de la nouvelle salle blanche de FEMTO-ST situé à TEMIS Innovation – Maison des Microtechniques.
Lire la suite
FEMTO-ST/Mécanique Appliquée, organisateur du CFM 2011
C’est à Marseille, où s’est déroulé le CFM 2009 que la nouvelle est tombée. Le XXe Congrès Français de Mécanique aura donc lieu à Besançon du 29 août au 2 septembre 2011. Face aux candidatures des villes de Lyon et Bordeaux, celle du département de Mécanique Appliquée de FEMTO-ST, soutenue par l’UFC et l’ENSMM a été retenue pour organiser cet évènement en 2011.
Lire la suite
Atelier LEA à Arc-et-Senans
Le Laboratoire Européen Associé en microtechnique organise la 8ème édition de son Atelier "Arc-et-Senans" les 8 et 9 septembre 2009 à la Saline Royale d'Arc-et-Senans.
Le but des ateliers LEA “Arc-et-Senans” est de rassembler la communauté microtechnique autour d'une thématique, pour mieux se connaître, nouer des contacts, et s’intégrer dans une communauté professionnelle déployée des deux côtés de l’arc jurassien.
Lire la suite
Pages
