The main problem studied in this thesis is that of parallel machine scheduling with precedence constraints. The complexity depends on the shape that the precedence graph takes and the objective function. We prove that one minimum-open problem of scheduling equal-processing-time jobs which subject to in-tree precedence constrains is NP complete while minimizing the total competition time.Then, we prove that the open problem of scheduling level-order precedence constrains is NP-complete too. We adapted the second proof to other scheduling problems as well.On the other hand, we improved an exponential algorithm designed for a specific NP-hard problem. At the end, we propose a linear programming model for the general scheduling problem with arb...
Motivated by applications ranging from XML processing to runtime verificationof programs, many logic...
Distributed message passing applications are in the mainstream of information technology since they ...
Introduction Several scheduling algorithms have been developed for constraint satisfaction in real-...
Automated treatment surface facilities, which employ computer-controlled hoists for part transportat...
In this paper we study hard real-time systems composed of independent periodic preemptive tasks in t...
Constraint programming is an interesting approach to solve scheduling problems. In cumulative schedu...
Constraint programming is an approach regularly used to treat a variety of scheduling problems. Cumu...
As soon as a structure is organized, the ability to put the right people at the right time is critic...
Stage de DEA. Rapport de stage.Les travaux de recherche en ordonnancement, bien que très nombreux, t...
There is a long standing separation between the fields of compiler construction and real-time schedu...
Corresponding publication at IMPACT'16 (http://impact.gforge.inria.fr/impact2016)In this report, we ...
Avec l’émergence du calcul haute-performance (HPC) et des applications Big Data, de nouvelles problé...
We investigate multi-criteria optimization and Pareto front generation. Given an application modeled...
Les approches standard de la vérification de modèle se limitent à des spécifications concrètes, par ...
What will be tomorrow’s big cities objectives and challenges? Most of the operational problems from ...
Motivated by applications ranging from XML processing to runtime verificationof programs, many logic...
Distributed message passing applications are in the mainstream of information technology since they ...
Introduction Several scheduling algorithms have been developed for constraint satisfaction in real-...
Automated treatment surface facilities, which employ computer-controlled hoists for part transportat...
In this paper we study hard real-time systems composed of independent periodic preemptive tasks in t...
Constraint programming is an interesting approach to solve scheduling problems. In cumulative schedu...
Constraint programming is an approach regularly used to treat a variety of scheduling problems. Cumu...
As soon as a structure is organized, the ability to put the right people at the right time is critic...
Stage de DEA. Rapport de stage.Les travaux de recherche en ordonnancement, bien que très nombreux, t...
There is a long standing separation between the fields of compiler construction and real-time schedu...
Corresponding publication at IMPACT'16 (http://impact.gforge.inria.fr/impact2016)In this report, we ...
Avec l’émergence du calcul haute-performance (HPC) et des applications Big Data, de nouvelles problé...
We investigate multi-criteria optimization and Pareto front generation. Given an application modeled...
Les approches standard de la vérification de modèle se limitent à des spécifications concrètes, par ...
What will be tomorrow’s big cities objectives and challenges? Most of the operational problems from ...
Motivated by applications ranging from XML processing to runtime verificationof programs, many logic...
Distributed message passing applications are in the mainstream of information technology since they ...
Introduction Several scheduling algorithms have been developed for constraint satisfaction in real-...