Goldfish
Réseaux de robots, réseaux P2P
RO, Optimisation combinatoire, gestion production éléctrique
thématiques de réseaux sans fil
large graphs and networks
Markov chains
information theory and control
distributed systems and control
dynamical systems, decidability and Turing universality
RSR
Projet CosyVerif avec le LSV ENS-Cachan et le LIPN Paris 1
Outils pour l'aide à l'enseignement de l'informatique
arithmétique des ordinateurs
Operating systems, Internet security, distributed and parallel systems, programming language systems
Modélisation du trafic routier et SMA
RO
Collaboration sur l'ONS (Object Name serveur), la gestion des objets et des RFID dans le monde émergent de l'Internet des objets.
La fiabilité des réseaux informatiques
L'intérêt de donner des connaissances déclaratives à un système est bien connu, mais il est difficile d'utiliser efficacement de telles connaissances. La solution de MACISTE est de se servir de metaconnaissances déclaratives pour utiliser efficacement de telles connaissances. Pour éviter de déplacer simplement le probleme au niveau meta, les metaconnaissances sont utilisées à l'aide d'elles-mêmes. Cet amorcage est un des buts de MACISTE. Comme les années précédentes, le langage dans lequel MACISTE est exprimé a été encore amélioré pour en diminuer les aspects procéduraux afin de permettre à l'utilisateur d'exprimer plus facilement ses (meta)connaissances. Celles-ci sont donc constamment changées pour tenir compte de ces dernières possibilités.
Par ailleurs, les expertises qui compilent les (meta)connaissances ont été reprises pour mieux optimiser les procédures qu'elles produisent. En effet, plus on donne des expertises complexes, plus il devient nécessaire que cette optimisation soit performante sous peine d'avoir des temps d'exécution prohibitifs. [...]
collaboration avec le JFLI et l'université de Tokyo
