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.
Journées GdR DYCOEC 2010
Les prochaines journées GdR DYCOEC auront lieu du 8 au 10 Novembre 2010 à Besançon.
Lire la suite
Le soliton Peregrine : enfin l’explication des vagues scélérates !
Une équipe de recherche internationale (France, Irlande, Australie et Finlande), à laquelle ont participé l’institut FEMTO-ST et le laboratoire interdisciplinaire Carnot de Bourgogne a enfin observé un type de vague géante qui avait échappé aux scientifiques depuis plus de 25 ans : le soliton Peregrine. Leurs résultats scientifiques viennent d’être publiés en ligne sur Nature Physics.
Lire la suite
FEMTO-ST s’implique sur Micronora 2010
FEMTO-ST participe à la 18ème édition du salon international des microtechniques qui ouvre ses portes du 28 septembre au 1er octobre 2010 à Besançon
Lire la suite
Atelier LEA à Arc-et-Senans - 16 et 17 septembre 2010
Le Laboratoire Européen Associé en microtechnique organise la 9ème édition de son Atelier "Arc-et-Senans", les 16 et 17 septembre 2010 : Les microtechniques dans le quotidien et Gestion de projet.
Lire la suite
Percipio Robotics lauréat du Concours OSEO 2010
Le projet Percipio Robotics, projet de création d'entreprise relatif aux systèmes robotiques pour le micro-assemblage est lauréat 2010 du concours national du MESR.
Lire la suite
Serge Grop récompensé par le prix IEEE et UFFC Best Student Paper Award
Serge Grop (doctorant Temps-Fréquence) a reçu le prix du « meilleur papier Etudiant 2010 » remis par IEEE et l’UFFC lors de l’IFCS 2010 qui s’est déroulé à Newport Beach du 2 au 4 juin.
Lire la suite
JFPDA’10 à Besançon
Après Toulouse, Grenoble, Metz et Paris, Besançon accueille les 1er et 2 juin les Journées Francophones de Planification, Décision et Apprentissage pour la conduite des systèmes (JFPDA).
Lire la suite
Partenariat pour l’instrumentation en diagnostic
Au travers de la plateforme protéomique CLIPP, L’institut FEMTO-ST, l’IFR100 (Dijon) et la société Horiba Jobin Yvon (membre du groupe HORIBA Scientific) ont engagé depuis le 1er mars 2010 un partenariat de recherche et développement.
Lire la suite
Conférence sur le laser et ses applications : 31 mai à Lons le saunier
Il y a 50 ans, à quelques jours près, Theodore MAIMAN faisait fonctionner le premier laser dans un laboratoire scientifique californien.
Lire la suite
Un microrobot FEMTO-ST champion du monde de sprint
Face aux plus grandes universités du monde, le microrobot réalisé à l’institut FEMTO-ST de Besançon a remporté le 5 mai 2010 l’épreuve reine du sprint lors du championnat du monde de microrobotique en Alaska organisé dans le cadre du congrès ICRA.
Lire la suite
Pages
