« Réduction d'ordre partiel » : différence entre les versions
m (Remplacement de texte — « Catégorie:Scotty2 » par « <!-- Scotty2 --> ») |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (5 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==Définition== | ||
La réduction d'ordre partiel a pour but de réduire la taille de l’espace des états parcourus par un algorithme de vérification de modèle, un algorithme de planification ou d'ordonnancement automatique. La réduction d'ordre partiel exploite la commutativité des transitions concurrentes qui découle de la visite d'un même état mais dans un ordre différent. | La réduction d'ordre partiel a pour but de réduire la taille de l’espace des états parcourus par un algorithme de vérification de modèle, un algorithme de planification ou d'ordonnancement automatique. La réduction d'ordre partiel exploite la commutativité des transitions concurrentes qui découle de la visite d'un même état mais dans un ordre différent. | ||
==Français== | ==Français== | ||
'''réduction d'ordre partiel''' | '''réduction d'ordre partiel''' | ||
==Anglais== | ==Anglais== | ||
'''Partial order reduction ''' | '''Partial order reduction ''' | ||
==Sources== | |||
[https://tel.archives-ouvertes.fr/tel-00011939/ source : tel.archives-ouvertes.fr] | [https://tel.archives-ouvertes.fr/tel-00011939/ source : tel.archives-ouvertes.fr] | ||
[[Category:Intelligence artificielle]] | |||
[[Category:GRAND LEXIQUE FRANÇAIS]] | |||
Dernière version du 28 janvier 2024 à 12:13
Définition
La réduction d'ordre partiel a pour but de réduire la taille de l’espace des états parcourus par un algorithme de vérification de modèle, un algorithme de planification ou d'ordonnancement automatique. La réduction d'ordre partiel exploite la commutativité des transitions concurrentes qui découle de la visite d'un même état mais dans un ordre différent.
Français
réduction d'ordre partiel
Anglais
Partial order reduction
Sources
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
