The candidate will study some special cases of preemptive open shop problems with multiprocessors. He will in particular concentrate on the situation when the processor set is partitioned into 2 multiprocessors. The two cases of preemptions (at integral times only or at arbitrary times) will be considered and the formulation as a linear programming problem will be exploited to get bounds on the minumum completion time. Interpretations in terms of graph colouring (generaling the edge colouring formulation of the open shop model) will be studied as well. Solvable cases wil be described (obtained by restricting for instance the various types of jobs characterized by their individual operations (on single processors) and their group operations ...
It is appealing to implement publish/subscribe systems in a peer to peer (P2P) manner to circumvent ...
This paper discusses the uses of context in knowledge representation and reasoning (KRR). We propose...
We investigate the applicability and effectiveness of the Z method for specification and verificatio...
Air pollution forecasting puts a high demand on the memory and the floating point performance of mod...
We give a new simpler proof along with a generalization for the inequality of Yao and Iyer \cite{yao...
Colloque avec actes et comité de lecture.Most models concerned with real-world applications can be i...
In this paper we show how to use the detection method for multiple singular points, including multip...
The 1992 EU Common Agricultural Policy (CAP) MacSharry reforms reduced intervention prices for cerea...
In this paper a collection of Initial Value test Problems for systems of Ordinary Differential Equat...
Let G be a finite group and let F be a splitting field of characteristic p > 0. We show that I2 = E...
Two of the most commonly used benchmark suites for Java Programs are the SPEC98 and Grande Forum ben...
Kernel models can be expensive to compute and in a non-stationary environment can become unmanageabl...
For 2D objects in R2 or 3D objects in R3 with (smooth) boundaries B, the Blum medial axis M [BN], or...
This paper discusses the uses of context in knowledge representation and reasoning (KRR). We propose...
Rapport interne.From intuitionistic proof nets of linear logic, we abstract an order between axiom l...
It is appealing to implement publish/subscribe systems in a peer to peer (P2P) manner to circumvent ...
This paper discusses the uses of context in knowledge representation and reasoning (KRR). We propose...
We investigate the applicability and effectiveness of the Z method for specification and verificatio...
Air pollution forecasting puts a high demand on the memory and the floating point performance of mod...
We give a new simpler proof along with a generalization for the inequality of Yao and Iyer \cite{yao...
Colloque avec actes et comité de lecture.Most models concerned with real-world applications can be i...
In this paper we show how to use the detection method for multiple singular points, including multip...
The 1992 EU Common Agricultural Policy (CAP) MacSharry reforms reduced intervention prices for cerea...
In this paper a collection of Initial Value test Problems for systems of Ordinary Differential Equat...
Let G be a finite group and let F be a splitting field of characteristic p > 0. We show that I2 = E...
Two of the most commonly used benchmark suites for Java Programs are the SPEC98 and Grande Forum ben...
Kernel models can be expensive to compute and in a non-stationary environment can become unmanageabl...
For 2D objects in R2 or 3D objects in R3 with (smooth) boundaries B, the Blum medial axis M [BN], or...
This paper discusses the uses of context in knowledge representation and reasoning (KRR). We propose...
Rapport interne.From intuitionistic proof nets of linear logic, we abstract an order between axiom l...
It is appealing to implement publish/subscribe systems in a peer to peer (P2P) manner to circumvent ...
This paper discusses the uses of context in knowledge representation and reasoning (KRR). We propose...
We investigate the applicability and effectiveness of the Z method for specification and verificatio...