adfg

ADFG est un outil d'analyse et de synthèse d'ordonnancement dédié aux graphes de flux de données affines (UCSDF). Il permet de vérifier la faisabilité d'ordonnancement de systèmes représentés par des acteurs et leurs dépendances, en calculant les propriétés des canaux (nombre initial de jetons et taille maximale). Il propose plusieurs politiques d'ordonnancement et peut identifier les systèmes non ordonnançables.
Description générée le vendredi 13 novembre 2026 à 00:03:57