previous up next contents                                RA 1996
Suivant : Table des matières

Projet EP-ATR

Environnement de programmation d'applications temps réel

Rapport d'activité 1995

Page WWW du projet

Localisation : Rennes  

Mots clefs : EP-ATR, temps réel, langage synchrone, parallélisme, programmation par contraintes, Signal, environnement de programmation, interface graphique, système dynamique, calcul formel, preuve de programme, synthèse de programme, graphe conditionnel hiérarchisé, analyse de dépendances, automate, architecture multiprocesseur, VHDL, synthèse d'architecture