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.
Inauguration plateforme industrielle de productique SISTRE
Cette manifestation, destinée aux industriels vous permettra de découvrir au sein d’un même système de production, une très grande diversité de matériels et de technologies innovantes.
Lire la suite
Omicron sélectionne des résultats du groupe Nanosciences pour son résultat du mois d'octobre
La société Omicron, qui fabrique des microscopes STM, a choisi de présenter un article du groupe Nanosciences de l'équipe MINANO paru dans Physical Review Letters comme résultat du mois d'octobre.
Lire la suite
Micronora 2008 : Micron d’or et micro-vache
Ce fut l’une des attractions au salon Micronora de Besançon : la plus petite vache du monde pèse 830 nanogrammes, soit 10 % du poids d’un grain de sable. Les 5 pièces de cette micro-vache en résine souple et transparente à la lumière ont été montées en moins d’une heure à l’aide de la station de micro assemblage Pronomia de FEMTO-ST qui a reçue un Micron d’Or 2008.
Lire la suite
Conférences Nanozoom - Micronora
En partenariat avec Micronora, notre institut de recherche organise les 24 et 25 septembre 2008 à Besançon, au cours du salon international des microtechniques, un cycle de conférences de haut niveau en langue française et anglaise dédié aux applications des micro et nanotechnologies.
Lire la suite
FEMTO-ST dans le classement des meilleurs laboratoires français de l’EXPRESS
Dans l'édition de l'hebdomadaire l'EXPRESS du 12 juin, FEMTO-ST figure dans la liste des unités de recherche d'excellence en France.
Lire la suite
Abdelkrim Khelif reçoit une médaille de bronze CNRS 2007
Abdelkrim Khelif est le lauréat 2007 de la section 8 du CNRS. Suivant la formule officielle, "La médaille de bronze récompense le premier travail d'un chercheur, qui fait de lui un spécialiste de talent dans son domaine. Cette récompense représente un encouragement du CNRS à poursuivre des recherches bien engagées et déjà fécondes."
Lire la suite
FEMTO-Innovation au Salon Européen de la Recherche et de l’Innovation
FEMTO-Innovation était présent au Salon Européen de la Recherche et de l’Innovation sur le stand de l'association des instituts Carnot les 5, 6 et 7 juin dernier à la Porte de Versailles à Paris (Stand B2 – Hall 5.1).
Lire la suite
FEMTO-Innovation au salon EPMT
FEMTO-Innovation était présent à la deuxième édition du salon EMPT qui s'est tenu à Lausanne du 3 au 6 juin 2008 dernier et qui a réuni plus d'une centaine d'acteurs impliqués dans les domaines d'application des micro et nanotechnologies.
Lire la suite
Clinical Proteomics in Oncology
Dear Colleague,
The French Institute of Cancer (Canceropole Grand-Est) and the CLIPP Proteomic Platform (Dijon, Besançon) organize the 2nd international conference entitled "Clinical Proteomics in Oncology" in Dijon (France) on July 3rd and 4th , 2008.
Lire la suite
Journée FEMTO-ST / Energie à Belfort le 15 mai
Les enjeux liés à l’énergie revêtent un caractère de plus en plus primordial. C’est pourquoi, avec nos partenaires industriels, nous avons organisé le jeudi 15 mai 2008 au Centre Atria de Belfort, une journée pour présenter les défis scientifiques et technologiques ainsi que nos activités de R&D dans le secteur de l’énergie.
Lire la suite
Pages
