Détails du projet
Description
L'objectif de ce projet est de construire un réseau composé de 8 noeuds
dans 4 pays de l'ancienne Union Soviétique et 11 noeuds dans 7 états membres de l'Union
Européenne. La recherche se focalise sur les exécutions symboliques efficaces, l'efficacité
étant entendue aux niveaux des implémentations, des algorithmes et du développement
de programmes.
dans 4 pays de l'ancienne Union Soviétique et 11 noeuds dans 7 états membres de l'Union
Européenne. La recherche se focalise sur les exécutions symboliques efficaces, l'efficacité
étant entendue aux niveaux des implémentations, des algorithmes et du développement
de programmes.
| Acronyme | ESC |
|---|---|
| statut | Fini |
| Les dates de début/date réelle | 1/12/94 → 1/04/99 |
mots-clés
- executions symboliques
- programmation logique
- exécutions symboliques
Empreinte digitale
Explorez les thèmes de recherche abordés par ce projet. Ces libellés sont générés sur la base des prix/subventions sous-jacents. Ensemble, ils forment une empreinte digitale unique.