Description et synthèse automatique de réseaux de machines algorithmiques évoluées dynamiquement reconfigurables

点击翻译按钮获取中文摘要

Le génie logiciel est arrivé à un niveau de développement tel que certaines applications se modifient elles-mêmes pour être exécutées plus rapidement par le processeur dans un contexte donné. On appelle cela la compilation JIT (Just In Time). Le génie électrique développe actuellement des circuits qui ont aussi, théoriquement, la possibilité de se modifier en temps réel : les FPGA (Field Programmable Gate Array). Mais, le plus souvent, ceux-ci sont configurés au démarrage et ne sont plus jamais modifiés par la suite. Outre le défi technique que cela suppose et le fait que les circuits actuels sont encore très immatures pour faire de la configuration dynamique, un problème encore plus fondamental est celui du langage à utiliser pour décrire des circuits capables de s'auto-modifier à un niveau d'abstraction suffisamment élevé pour qu'il soit fiable et efficace.