Soutenance de Thèse : Isaac Maia Pessoa : 15h30

Bonjour,

désolée pour les réceptions multiples

Je vous invite à ma soutenance de thèse:

Titre: Simulation Parallèle de Systèmes Multi-Processeurs Intégré sur
Puce Modélisé en SystemC au Niveau Transactionnel
Date: 25/10/2011 ( Mardi Prochain )
Lieu: salle 203-205 dans le bat. 41 (en face du gymnase de sport au
2ème étage)
heure: 15h30

Résumé

Le cerveau des dispositifs électroniques est construit à partir de
petits composants appelés circuits intégrés (microchip ou simplement
puce). L'avènement de l'intégration à très grande échelle (VLSI –
Very Large Scale Integration) dans l'industrie microélectronique a
permis l'assemblage de plusieurs composants dans une seule puce,
appelée système sur puce (SoC – System on a Chip).

Dans les applications multimédia, les systèmes sur puce contenant un
seul processeur deviennent obsolètes en raison de la puissance requise
: la puce contrôlant un téléphone intelligent peut contenir plusieurs
dizaines de processeurs fonctionnant en parallèle qui exécutent des
multitâches logicielles complexes, contrôlées par un O.S embarqué. Ces
systèmes sont appelés systèmes multiprocesseurs sur puce (MP-SoC).

SoCLib est un environnement de prototypage virtuel pour MP-SoC
contenant diverses bibliothèques de modèles de simulation SystemC pour
les composants matériels génériques (modèles de simulation IP-cores),
y compris les différents niveaux d'abstraction.

TLM-DT est une bibliothèque de composants MP-SOC inclus dans SoCLib.
TLM-DT essaie de mélanger les principes TLM (modélisation au niveau
transactionnel), et PDES (simulation parallèle à événements discrets).
L'idée de TLM-DT est donc de soutenir les principes de simulation
parallèle au niveau transactionnel.

Le sujet principal de cette thèse est la simulation parallèle de
prototypes MP-SoC modélisés avec la bibliothèque TLM-DT.

Jury:
Mme Florence MARANINCHI
M. Pascal SAINRAT
M. Jean Luc LAMOTTE
M. Etienne Lantreibecq

M. François PECHEUX co-directeur de Thèse
M. Alain GREINER Directeur de Thèse

Cordialement,

Isaac

Soutenance de Thèse : Isaac Maia Pessoa

Bonjour,

Je vous invite à ma soutenance de thèse:

Titre: Simulation Parallèle de Systèmes Multi-Processeurs Intégré sur
Puce Modélisé en SystemC au Niveau Transactionnel
Date: 25/10/2011 ( Mardi Prochain )
Lieu: salle 203-205 dans le bat. 41 (en face du gymnase de sport au
2ème étage)

Résumé

Le cerveau des dispositifs électroniques est construit à partir de
petits composants appelés circuits intégrés (microchip ou simplement
puce). L'avènement de l'intégration à très grande échelle (VLSI –
Very Large Scale Integration) dans l'industrie microélectronique a
permis l'assemblage de plusieurs composants dans une seule puce,
appelée système sur puce (SoC – System on a Chip).

Dans les applications multimédia, les systèmes sur puce contenant un
seul processeur deviennent obsolètes en raison de la puissance requise
: la puce contrôlant un téléphone intelligent peut contenir plusieurs
dizaines de processeurs fonctionnant en parallèle qui exécutent des
multitâches logicielles complexes, contrôlées par un O.S embarqué. Ces
systèmes sont appelés systèmes multiprocesseurs sur puce (MP-SoC).

SoCLib est un environnement de prototypage virtuel pour MP-SoC
contenant diverses bibliothèques de modèles de simulation SystemC pour
les composants matériels génériques (modèles de simulation IP-cores),
y compris les différents niveaux d'abstraction.

TLM-DT est une bibliothèque de composants MP-SOC inclus dans SoCLib.
TLM-DT essaie de mélanger les principes TLM (modélisation au niveau
transactionnel), et PDES (simulation parallèle à événements discrets).
L'idée de TLM-DT est donc de soutenir les principes de simulation
parallèle au niveau transactionnel.

Le sujet principal de cette thèse est la simulation parallèle de
prototypes MP-SoC modélisés avec la bibliothèque TLM-DT.

Jury:
Mme Florence MARANINCHI
M. Pascal SAINRAT
M. Jean Luc LAMOTTE
M. Etienne Lantreibecq

M. François PECHEUX co-directeur de Thèse
M. Alain GREINER Directeur de Thèse

Cordialement,

Isaac

Changement de salle : Soutenance de thèse de Charles Delort

Contrairement à ce qui était indiqué, la soutenance se déroulera en salle
101 - 1er étage du couloir 25/26

> Bonjour,
> J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Algorithmes d'énumération implicite pour l'optimisation multi-objectifs
exacte : exploitation d'ensembles bornant et application aux problèmes
de
> sac à dos et d'affectation"
> La soutenance se déroulera le :
> ==========
> Mercredi 19 Octobre à 14h00 au LIP6, salle 101 - 1er étage du couloir
26/00 (site Jussieu)
> ==========
> Vous êtes également invités au pot qui suivra.
> =========
> Résumé
> =========
> Dans cette thèse, nous nous intéressons à des méthodes permettant de
> calculer le front de Pareto dans des problèmes d'optimisation
> combinatoire multi-objectifs. Ce genre de problème se pose
> quotidiennement, par exemple lorsque l'on souhaite trouver un itinéraire
minimisant à la fois le temps de parcours et le prix de cet itinéraire.
L'objectif de nos travaux est double. Dans un premier temps, nous
développons des algorithmes d'énumération implicite (branch and bound,
programmation dynamique, ...) adaptés au cadre multi-objectifs, pour
résoudre efficacement certains problèmes d'optimisation combinatoire
multi-objectifs, à savoir le problème du sac à dos bi-objectifs et le
problème d'affectation bi-objectifs.
> Dans un second temps, nous élargissons le champ d'application de ces
méthodes à un problème d'optimisation combinatoire ordinale : le
problème
> de sélection de comité avec contrainte de budget. Pour résoudre ce
problème nous le réduisons à un problème multi-objectifs, ce qui nous
permet d'exploiter les travaux conduits sur le sac à dos
multi-objectifs.
> En outre, nous proposons également un algorithme dédié pour ce problème
de
> sélection de comité.
> =========
> Abstract
> =========
> In this thesis, we are interested in methods computing the Pareto front
of
> multiobjective combinatorial optimization problems. This kind of problem
arises everyday, for instance, when one wants to find a route minimizing
both the time taken and the price of this route. The goal of this thesis
is twofold. First, we develop new implicit enumeration algorithms
(branch
> and bound, dynamic programming, ...) adapted to the multiobjective case,
in order to solve efficiently some multiobjective combinatorial
optimization problems, namely the biobjective knapsack problem and the
biobjective assignment problem.
> The second goal of our thesis is to enlarge the scope of these methods
to
> a ordinal optimization problem : the committee selection with a weight
constraint problem. We give a reduction from this problem to a
> multiobjective problem, enabling us to use the previous methods to solve
it. Besides, we also propose a dedicated solution algorithm for this
committee selection problem.
> ========
> Jury
> ========
> - Patrice PERNY, Professeur à l'Université Pierre et Marie Curie (Paris VI)
> (directeur de thèse)
> - Olivier SPANJAARD, Maître de Conférence à l'Université Pierre et Marie
Curie (Paris VI) (co-encadrant de thèse)
> - Xavier GANDIBLEUX, Professeur à l'Université de Nantes (rapporteur) -
Daniel VANDERPOOTEN, Professeur à l'Université Paris-Dauphine (Paris
IX)
> (rapporteur)
> - Christian ARTIGUES, Chargé de recherche HDR, LAAS CNRS (examinateur) -
Evripidis BAMPIS, Professeur à l'Université Pierre et Marie Curie
(Paris
> VI) (examinateur)
> ========
> Accès
> ========
> LIP6 : 4 Place Jussieu 75005 Paris
> Plan d'accès : http://www.lip6.fr/informations/comment.php

Soutenance de thèse de Charles Delort

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Algorithmes d'énumération implicite pour l'optimisation multi-objectifs
exacte : exploitation d'ensembles bornant et application aux problèmes de
sac à dos et d'affectation"

La soutenance se déroulera le :

==========
Mercredi 19 Octobre à 14h00 au LIP6, salle 101 - 1er étage du couloir
26/00 (site Jussieu)
==========

Vous êtes également invités au pot qui suivra.

=========
Résumé
=========
Dans cette thèse, nous nous intéressons à des méthodes permettant de
calculer le front de Pareto dans des problèmes d'optimisation
combinatoire multi-objectifs. Ce genre de problème se pose
quotidiennement, par exemple lorsque l'on souhaite trouver un itinéraire
minimisant à la fois le temps de parcours et le prix de cet itinéraire.
L'objectif de nos travaux est double. Dans un premier temps, nous
développons des algorithmes d'énumération implicite (branch and bound,
programmation dynamique, ...) adaptés au cadre multi-objectifs, pour
résoudre efficacement certains problèmes d'optimisation combinatoire
multi-objectifs, à savoir le problème du sac à dos bi-objectifs et le
problème d'affectation bi-objectifs.
Dans un second temps, nous élargissons le champ d'application de ces
méthodes à un problème d'optimisation combinatoire ordinale : le problème
de sélection de comité avec contrainte de budget. Pour résoudre ce
problème nous le réduisons à un problème multi-objectifs, ce qui nous
permet d'exploiter les travaux conduits sur le sac à dos multi-objectifs.
En outre, nous proposons également un algorithme dédié pour ce problème de
sélection de comité.

=========
Abstract
=========

In this thesis, we are interested in methods computing the Pareto front of
multiobjective combinatorial optimization problems. This kind of problem
arises everyday, for instance, when one wants to find a route minimizing
both the time taken and the price of this route. The goal of this thesis
is twofold. First, we develop new implicit enumeration algorithms (branch
and bound, dynamic programming, ...) adapted to the multiobjective case,
in order to solve efficiently some multiobjective combinatorial
optimization problems, namely the biobjective knapsack problem and the
biobjective assignment problem.
The second goal of our thesis is to enlarge the scope of these methods to
a ordinal optimization problem : the committee selection with a weight
constraint problem. We give a reduction from this problem to a
multiobjective problem, enabling us to use the previous methods to solve
it. Besides, we also propose a dedicated solution algorithm for this
committee selection problem.

========
Jury
========
- Patrice PERNY, Professeur à l'Université Pierre et Marie Curie (Paris VI)
(directeur de thèse)
- Olivier SPANJAARD, Maître de Conférence à l'Université Pierre et Marie
Curie (Paris VI) (co-encadrant de thèse)
- Xavier GANDIBLEUX, Professeur à l'Université de Nantes (rapporteur)
- Daniel VANDERPOOTEN, Professeur à l'Université Paris-Dauphine (Paris IX)
(rapporteur)
- Christian ARTIGUES, Chargé de recherche HDR, LAAS CNRS (examinateur)
- Evripidis BAMPIS, Professeur à l'Université Pierre et Marie Curie (Paris
VI) (examinateur)

========
Accès
========
LIP6 : 4 Place Jussieu 75005 Paris
Plan d'accès : http://www.lip6.fr/informations/comment.php