Browsing by Subject raisonnement énergétique

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • Mangoua_Sofack_William.pdf.jpg
  • Thesis


  • Authors: ARTIGUES, Christian; LOPEZ, Pierre; MANGOUA SOFACK, William (2009)

  • Le raisonnement énergétique est une technique particulière de propagation de contraintes. Celui-ci s’appuie sur les concepts d’intervalle tempsressource et d’énergie pour raisonner simultanément sur les contraintes de temps et de ressources. Il est basé sur l’évaluation de l’énergie réellement disponible pour l’exécution d’une tâche sur un intervalle de temps, compte tenu de la consommation des autres tâches. Grâce à cette évaluation, des bilans énergétiques peuvent mettre en évidence un manque d’énergie sur cet intervalle, ce qui amène à produire des conditions de séquencement entre tâches ou interdire la localisation d’une tâche sur certains intervalles de temps. La littéra...

Browsing by Subject raisonnement énergétique

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 1 of 1
  • Mangoua_Sofack_William.pdf.jpg
  • Thesis


  • Authors: ARTIGUES, Christian; LOPEZ, Pierre; MANGOUA SOFACK, William (2009)

  • Le raisonnement énergétique est une technique particulière de propagation de contraintes. Celui-ci s’appuie sur les concepts d’intervalle tempsressource et d’énergie pour raisonner simultanément sur les contraintes de temps et de ressources. Il est basé sur l’évaluation de l’énergie réellement disponible pour l’exécution d’une tâche sur un intervalle de temps, compte tenu de la consommation des autres tâches. Grâce à cette évaluation, des bilans énergétiques peuvent mettre en évidence un manque d’énergie sur cet intervalle, ce qui amène à produire des conditions de séquencement entre tâches ou interdire la localisation d’une tâche sur certains intervalles de temps. La littéra...