Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
On définit un modèle qui permet la représentation et l'analyse des programmes parallèles exécutés par des machines à contrôles dirigés par les données (Data Flow Machines). Ce modèle est fondé sur l'utilisation des Réseaux de Petri (RdP) et appelé Réseaux de Petri à Flux de Données (RPFDP). De nombreuses définitions et extensions mathématiques ont été développées autour de ce modèle. Ceci afin d'obtenir une modélisation générale capable d'exprimer les principaux éléments intervenant dans le traitement parallèle, notamment les contraintes matérielles et temporelles de l'architecture considérée, ainsi que les relations d'interdépendance spatio-temporelles entre les différentes tâches exécutées qui dépendent de l'algorithme …
