« Réduction d'ordre partiel » : différence entre les versions

Dernière version du 28 janvier 2024 à 13: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

source : tel.archives-ouvertes.fr

@@ Ligne 1 : / Ligne 1 : @@
+==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.
-== Domaine ==
+==Français==
-[[Category:Vocabulary]]<br>
+'''réduction d'ordre partiel'''
-[[Category:Intelligence artificielle]]Intelligence artificielle<br>
-[[Category:Coulombe]]Coulombe<br>
+==Anglais==
-[[Catégorie:Scotty]]<br>
+'''Partial order reduction '''
-== 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 ==
+==Sources==
-réduction d'ordre partiel
-Source:
-https://tel.archives-ouvertes.fr/tel-00011939/
+[https://tel.archives-ouvertes.fr/tel-00011939/ source : tel.archives-ouvertes.fr]
-== Anglais ==
-===Partial order reduction  ===
+[[Category:Intelligence artificielle]]
-In computer science, partial order reduction is a technique for reducing the size of the state-space to be searched by a model checking or Automated planning and scheduling algorithm. It exploits the commutativity of concurrently executed transitions, which result in the same state when executed in different orders.
-In explicit state space exploration, partial order reduction usually refers to the specific technique of expanding a representative subset of all enabled transitions. This technique has also been described as model checking with representatives (Peled 1993). There are various versions of the method, the so-called stubborn set method (Valmari 1990), ample set method (Peled 1993), and persistent set method (Godefroid 1994).
-<br/>
+[[Category:GRAND LEXIQUE FRANÇAIS]]
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>