« Réduction d'ordre partiel » : différence entre les versions
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
[[Category:Intelligence artificielle]] | [[Category:Intelligence artificielle]] | ||
[[Category:Coulombe2]] | [[Category:Coulombe2]] | ||
[[Catégorie:Scotty2]] | [[Catégorie:Scotty2]] | ||
| Ligne 15 : | Ligne 13 : | ||
==Anglais== | ==Anglais== | ||
'''Partial order reduction ''' | '''Partial order reduction ''' | ||
<small> | |||
[https://tel.archives-ouvertes.fr/tel-00011939/ source : tel.archives-ouvertes.fr] | [https://tel.archives-ouvertes.fr/tel-00011939/ source : tel.archives-ouvertes.fr] | ||
Version du 19 juin 2019 à 21:45
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 loc. nom. fém.
Anglais
Partial order reduction
Contributeurs: Claude Coulombe, Jacques Barolet, wiki
