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.
GDR Hydrogène et Piles à Combustible
Les GDR dédiés à l’Hydrogène (GDR ACTHYF) et aux Piles à Combustible (GDR PACS) tiendront conjointement leurs réunions plénières annuelles à Belfort, au Palais des Congrès, du 11 au 14 juin 2012.
Lire la suite
Percipio Robotics - grand prix EPHJ-EPMT
Percipio Robotics, start-up de FEMTO-ST a reçu le grand prix des exposants du salon international 2012 des microtechniques EPHJ-EPMT de Genève, Suisse.
Lire la suite
Sébastien WASTERLAIN lauréat du prix de thèse du Club EEA / GDR SEEDS
Sébastien WASTERLAIN du département ENERGIE est lauréat du prix de thèse du Club EEA/GDR SEEDS au titre de la section Électrotechnique.
Lire la suite
Le micro-robot MAGPIER double champion du monde conserve son titre !
Le microrobot MAGPIER est premier dans l'épreuve de vitesse, du Mobile Microrobotics Challenge, qui a eu lieu du 15 au 17 mai 2012 à Saint Paul, Minnesota, USA.
Lire la suite
Sylvain Ballandras, lauréat OSEO 2012
Sylvain Ballandras, lauréat OSEO 2012 pour son projet "POW-WOW"
Lire la suite
Javier Solano-Martinez, lauréat du prix A'DOC 2012
Javier Solano-Martinez, qui a soutenu sa thèse le 8 février 2012 au département ENERGIE est lauréat du prix A'DOC 2012.
Lire la suite
Temis Sciences : Pose de la première pierre
Les travaux de terrassement pour la construction du bâtiment Temis Sciences destinés à accueillir une partie des équipes de recherche bisontines de FEMTO-ST ont débuté en ce début d'année et la pose symbolique de la première pierre a eu lieu lundi 19 mars 2012 sur la technopole TEMIS à Besançon.
La durée prévisionnelle des travaux de construction est de 16 mois pour l’extension salle blanche et de 27 mois pour le bâtiment recherche.
Lire la suite
Recrutement d'enseignants-chercheurs
En 2012, l'Université de Franche-Comté et l'ENSMM recrutent des enseignants-chercheurs en sections 27, 60, 61 et 63 du CNU, dont les recherches seront menées au sein de FEMTO-ST.
Lire la suite
Investissements d’avenir : Un nouveau LABEX et 2 nouveaux EQUIPEX pour FEMTO-ST
Dans le cadre de la deuxième vague des investissements d’Avenir, FEMTO-ST a décroché un LABEX (laboratoire d’excellence) pour son projet « ACTION » fondé sur des systèmes intelligents intégrés dans la matière, 1 EQUIPEX (équipement d’excellence) dans le domaine temps-fréquence pour son projet « Oscillator-IMP », et est en plus un partenaire incontournable de l’EQUIPEX « Refimeve + » dans cette même thématique.
Lire la suite
L'odyssée des chercheurs de FEMTO-ST à travers l'Europe
Le projet ULISS qui fait suite à la mise au point d'une horloge ultra-stable, va entrainer des chercheurs de l'institut FEMTO-ST de Besançon dans une odyssée autour de toute l'Europe, avec un premier départ le 15 février en direction de Neuchâtel puis de Toulouse (CNES), de Göteborg...
Lire la suite
Pages
