Scheduling by Timed Automata under Resource Conflicts - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Scheduling by Timed Automata under Resource Conflicts

Résumé

Considering time and resource limitations in different industries, increases importance and complexity of task scheduling problems where all tasks should be executed in the minimum time. Moreover, integrating uncontrollable tasks in the procedure makes more complexity in this problems. The main objective of our work is to propose a formal model and a tool for automatic scheduling of a system with a specific kind of resource conflict in order to minimize system's makespan as much as possible.
poster40.pdf (174.75 Ko) Télécharger le fichier
Format : Papier court
Origine : Fichiers produits par l'(les) auteur(s)
Commentaire : Résumé du poster

Dates et versions

hal-01224494 , version 1 (12-11-2015)

Identifiants

  • HAL Id : hal-01224494 , version 1

Citer

Mahya Rahimi, Eric Niel, Emil Dumitrescu. Scheduling by Timed Automata under Resource Conflicts. MSR 2015, Nov 2015, Nancy, France. ⟨hal-01224494⟩
103 Consultations
34 Téléchargements

Partager

Gmail Facebook X LinkedIn More