Précédent : Preuves interactives Remonter : Actions de recherche Suivant : Nouvelles fonctionnalités et distribution de
Précédent : Preuves interactives Remonter : Actions de
recherche Suivant : Nouvelles fonctionnalités et
distribution de
Mots-clés : graphe de dépendance, parallélisme, ordonnancement, synthèse d'architecture