Soutenance de Thèse de Hayder MRABET

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse qui s'intitule
« Conception Et Optimisation D'Architectures Reconfigurables De Type FPGA »
Et qui aura lieu le Vendredi 25 Septembre à 10h30 dans l'Amphithéâtre
J.MONOD, Tour 42, RDC
Université Pierre Et Marie Curie (UPMC) – Paris 6
4 place Jussieu
75252 PARIS cedex 05

Vous êtes par ailleurs très chaleureusement conviés au pot qui suivra.

Plan d'accès:
http://www.upmc.fr/fr/vie_des_campus/handicap/plan_d_acces.html

Jury :

M. Régis Leveugle, (TIMA) Rapporteur
M. Yves Mathieu, (ENST) Rapporteur
M. François Anceau, (Paris 6) Examinateur
M. Marc Belleville, (CEA-LETI) Examinateur
M. André Tissot, (CEA-DAM) Examinateur
M. Olivier Lepape, (Abound Logic) Examinateur
M. Jean-Arnaud François, (STMicroelectronics) Examinateur
M. Habib Mehrez, (Paris 6) Directeur de thèse

Résumé :

La question du choix d'implémentations FPGA ou ASIC se pose dès les
premiers stades de conception des circuits intégrés. De telles décisions
sont basées sur les différences en termes de performances, consommation
électrique et du coût lié à la surface de silicium et au volume de
production. Un FPGA est 3 à 4 fois plus lent et consomme environ 12 fois
plus qu'un ASIC. Cet écart est dû au réseau d'interconnexion programmable
qui représente le facteur dominant du FPGA en terme de surface (90%) et en
terme de consommation électrique (65%). Les circuits FPGAs doivent fournir
un bon compromis entre flexibilité, performances et coût pour rester dans
la course du marché des semi-conducteurs. Ces facteurs sont fortement
liées à la qualité de l'architecture du FPGA, la qualité des outils de CAO
et la qualité de la conception physique. L'objet de cette thèse est
d'explorer les méthodes et les techniques pour trouver le meilleur
compromis.
La première partie traite la conception automatisée de cicuits
reconfigurables spécifiques à un domaine d'application. Nous essayons de
baisser les coûts de conception en automatisant le processus de
développement des dessins des masques. Le générateur développé est
indépendant de la technologie cible et peut être adaptés à n'importe
quelle bibliothèque de cellules précaractérisées. Ce générateur a permis
la création d'une matrice FPGA à base de cellules SRAMs. Cette matrice est
équipée d'un système de détection d'erreur pour l'atténuation des effets
SEU et offre un accès aléatoire à la mémoire de configuration. Un
prototype a été fabriqué avec succès en technologie CMOS 0.12µ de
STMicroelectronics.
La deuxième partie décrit le développement d'un FPGA avec une architecture
arborescente nommée MFPGA. Nous avons exploré l'effet des différents
paramètres de cette architecture (capacité des clusters, paramètre de Rent
etc.) sur la densité logique du FPGA. Grâce à un bon équilibrage entre les
ressources logiques et les ressources d'interconnexion, MFPGA réalise un
gain de 54% en terme de surface par rapport à une architecture matricielle
de référence. Finalement, vu la complexité de conception physique des
structures arborescentes, nous avons proposé une technique de mise à plat
et de construction physique pour MFPGA pour illustrer la faisabilité, la
généricité et la densité de cette architecture.

Cordialement
Hayder MRABET

Soutenance de thèse de Charles Clément

Bonjour,

j'ai le plaisir de vous inviter à ma soutenance de thèse, intitulée :

"Isolation des extensions de systèmes d'exploitation dans une machine virtuelle"

qui sera présentée le jeudi 24 Septembre 2009 à 09h30 au Laboratoire
d'Informatique de Paris 6 (LIP6), situé au 104 avenue du Président
Kennedy, 75016 Paris, salle 847, ainsi qu'au pot qui suivra.

Plan d'accès : http://www.lip6.fr/informations/comment.php

Composition du jury :

M. Didier Donsez, Professeur à l'Université Joseph Fourier, Grenoble 1 (Rapporteur)
M. Gilles Grimaud, Professeur à l'Université des Sciences et Technologies de Lille (Rapporteur)
M. Bertil Folliot, Professeur à l'Université Pierre & Marie Curie (Directeur)
M. Pierre-Guillaume Raverdy, Ingénieur de Recherche à l'I.N.R.I.A. (Examinateur)
M. Pierre Sens, Professeur à l'Université Pierre & Marie Curie (Examinateur)
M. Gaël Thomas, Maître de Conférences à l'Université Pierre & Marie Curie (Encadrant)

Résumé :

Cette thèse présente une nouvelle architecture de système, µvm-OS qui assure
l'isolation mémoire des extensions de noyau de système d'exploitation en
s'appuyant sur une machine virtuelle. Cette architecture repose sur
l'utilisation de la sûreté de typage et la portée des langages de programmation
pour assurer le cloisonnement de la mémoire entre le système et les différents
pilotes de périphériques. µvm-OS possède aussi une hiérarchie de privilège
logicielle dont le but est d'autoriser l'accès aux ressources aux seuls
composants authentifiés de la plate-forme. Deux prototypes sont présentés : le
premier, fonctionnant sur une machine nue, est un système à part entière tirant
partie de cette architecture. Le second prototype est inclus dans un noyau
existant, ce qui permet d'utiliser notre système tout en bénéficiant d'un
environnement complet.

--
Charles Clément
http://lip6.fr/Charles.Clement
UPMC - LIP6
Bureau 821
Tél : 01 44 27 87 68
104, avenue du Président Kennedy, 75016 Paris

Soutenance de thèse de Jason Forest

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Caractérisation de classes par la découverte automatique de sous-classes"

qui sera présentée le mercredi 23 Septembre 2009 à 14h30 au Laboratoire
d'Informatique de Paris 6, situé au 104 avenue du Président Kennedy,
75016 Paris, salle 847, ainsi qu'au pot qui suivra.
(Plan d'accès : http://www.lip6.fr/informations/comment.php )

Cette thèse sera présentée devant le Jury composé de :
Mr Carl Frélicot, Professeur à l'université de La Rochelle (rapporteur),
Mr Mohammed Ramdani, Professeur à l'université de Mohammedia (rapporteur),
Mr Matthieu Cord, Professeur à l'université Paris 6 (examinateur),
Mr Julien Velcin, Maître de conférence à l'université Lyon 2 (examinateur),
Mme Bernadette Bouchon-Meunier, Directrice de recherche CNRS (directrice
de thèse),
Mme Maria Rifqi, Maître de conférence à l'université Paris 2 (encadrante).

Résumé :
La fouille de données a pour objectif l'extraction de connaissances à
partir de grandes bases de données. La caractérisation de données
s'inscrit de ce domaine et regroupe les méthodes qui mettent en avant
les caractéristiques et les tendances des données. Nos travaux se
placent dans le cadre de la caractérisation de données supervisées et se
focalisent sur la caractérisation de classe.
Dans les jeux de données réelles, il arrive qu'une classe regroupe en
son sein plusieurs comportements distincts. On parle alors de classe
non-homogène. Ce type de classes pose des problèmes aux méthodes de
caractérisation usuelles, comme la construction de prototypes ou de
résumés, qui ne sont pas en mesure de détecter les différentes
tendances. Pour être correctement prises en compte, les classes
non-homogènes nécessitent d'être segmentées en sous-classes pertinentes.
Nous proposons, dans notre thèse, une approche novatrice de segmentation
automatique de classes en sous-classes qui détecte et isole les
différents comportements. Nous proposons également une nouvelle
définition du calcul des scores de typicalité qui se base sur ce
découpage. Contrairement aux méthodes existantes, qui utilisent un
algorithme de clustering, notre approche s'appuie sur l'organisation des
classes dans le jeu de données et détecte automatiquement le bon nombre
de sous-classes.
Notre algorithme permet une amélioration des méthodes de construction de
prototypes flous et donne des résultats de caractérisation plus riches.
Notre approche a été testée et validée aussi bien sur des jeux de
données artificielles que sur des jeux de données réelles issus, par
exemple, du marketing pharmaceutique ou encore des bases d'images.

Cordialement,
Jason Forest.

--

Jason Forest
Laboratoire d'Informatique de Paris 6
104 avenue du Président Kennedy 75016 Paris
Bureau 616 bis
Tel : 01 44 27 87 51 Fax : 01 44 27 70 00
Jason.Forest@lip6.fr

Soutenance de thèse de Lom Hillah

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :

«Intégration des méthodes formelles au développement dirigé par les
modèles pour
la conception et la vérification de systèmes et applications répartis»

ainsi qu'au pot qui suivra. La soutenance aura lieu le
mercredi 23 septembre à 14h au LIP6 (Site Passy-Kennedy), en salle 549.
Comment aller au LIP6 ? http://www.lip6.fr/informations/comment.php

La thèse sera soutenue devant le jury composé de :

Mme Isabel Demongodin (Université de Aix-Marseille) - Rapporteur
M. Michel Lemoine (ONERA) - Rapporteur
M. Claude Girault (Université Pierre et Marie Curie)- Examinateur
Mme Marie-Pierre Gervais (Université Paris Ouest Nanterre La Défense)
- Examinateur
M. Fabrice Kordon (Université Pierre et Marie Curie) - Directeur
Mme Laure Petrucci (Université Paris 13) - Examinateur
M. Ekkart Kindler (Technical University of Denmark) - Examinateur

=========
Résumé
=========
Nous intégrons à la démarche de développement dirigé par les modèles
(MDD),
une approche mettant fortement en oeuvre les méthodes formelles pour
la vérification de systèmes complexes. Le MDD, largement répandu dans
l'industrie, est
notamment mis en oeuvre pour le développement des systèmes de
transport intelligents (ITS).
Notre approche est motivée par le besoin de maîtriser les
spécifications comportementales
de tels systèmes et ainsi garantir leur sûreté. Elle s'articule selon
trois aspects.

Le premier aspect concerne la recherche de stratégies de contrôle pour
la supervision de systèmes
devant satisfaire une spécification donnée. Il s'agit de restreindre
leur comportement
par un contrôleur (s'il existe et peut être synthétisé) afin d'éviter
les états dangereux.
Le problème de l'explosion combinatoire de l'espace d'état nous oblige
à mettre en oeuvre
une structure de données performante comme les diagrammes de décisions
hiérarchiques.
Nous appliquons la recherche de stratégies de contrôle à l'évitement
de collisions sur
route automatisée.

Le deuxième aspect porte sur la vérification formelle de
spécifications comportementales
d'applications ITS en diagrammes d'activité UML. Les réseaux de Petri
constituant le
modèle formel le plus proche de ces diagrammes, nous les avons adaptés
aux
concepts orientés objet d'UML via la définition des Instantiable Petri
Net (IPN).
Les IPN intègrent la notion de type et d'instance de type, gèrent la
modularité et la hiérarchie.
Nous appliquons cette démarche à une application du projet européen
SAFESPOT.

Enfin, le troisième aspect concerne l'interopérabilité des outils de
réseaux de Petri
pour l'échange de modèles. Cette interopérabilité doit aider les
démarches de vérification comme
celle proposée plus haut, à élargir à faible coût la portée de la
vérification sur différents
aspects comportementaux d'un même système. Le problème de
compatibilité sémantique au niveau des différents
types de réseaux de Petri et des formats propriétaires supportés par
ces outils nous incite à
élaborer un cadre normalisé pour l'échange. C'est ainsi que nous
définissons, au sein de la norme
ISO/IEC 15909, le format d'échange Petri Net Markup Language, (PNML),
dans un cadre sémantique
unifiant les définitions des réseaux de Petri place/transition et
colorés.

==========
Abstract
==========
We integrate into the framework of Model-Driven Development, widely
adopted in the industry,
a formal methods approach for the verification of complex systems,
like intelligent
transport systems. This approach is driven by the need to control the
behavioral
specification of such systems. It is structured in three parts.

The first part is about searching for control strategies to supervise
systems that must
stay within the set of their admissible behaviors. To tackle the state
space explosion problem,
we use set decision diagrams, very compact and performant data
structures.
In this approach we look for collision avoidance strategies on an
automated highway.

The second part is about formal verification of behavioral
specifications of ITS applications
in UML activity diagrams. Petri nets being the closest formal models
to these diagrams, we
have tailored them to meet UML object-oriented concepts by defining
Instantiable Petri Nets (IPN).
IPNs encompass the notions of type, instance and they handle
modularity and hierarchy.
In this approach we verify the design of a software of the european
project SAFESPOT.

The last part is about Petri nets tools interoperability over Petri
net models.
This long-sought interoperability is meant to help easily extend the
verification
range of interesting behavioral characteristics of a system, using
different specialized tools.
The semantic compatibility issue over different Petri nets types and
proprietary supporting
formats between the tools made us set up a standardized framework for
models interchange. We thus
define the interchange format Petri Net Markup Language (PNML), second
part of the
international standard ISO/IEC 15909. It relies upon the explicit
semantic unification
of place/transition and colored Petri nets definitions.

Meilleures salutations,

Lom Messan Hillah
--------°°°----------------°°°---------------------------------------
Université Pierre et Marie Curie - UMR CNRS 7606
Laboratoire d'Informatique de Paris 6 / MoVe
tél: + 33 1 44 27 87 71 - Bureau 816
104 Avenue du Président Kennedy
75016 Paris - France
http://lip6.fr/Lom-Messan.Hillah/
--------°°°----------------°°°---------------------------------------

Soutenance de thèse de Vincent Labbé

Bonjour,
j'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Modélisation et apprentissage des préférences appliqués à la
recommandation dans les systèmes d'impression"
qui sera présentée le mardi 22 Septembre 2009 à 10h00 au Laboratoire
d'Informatique de Paris 6 (LIP6), situé au 104 avenue du Président
Kennedy, 75016 Paris, salle 549, ainsi qu'au pot qui suivra.
(Plan d'accès disponible à : http://www.lip6.fr/informations/comment.php),

Cette thèse sera présentée devant le Jury composé de :

Mr Jérôme Lang, Directeur de recherche CNRS à l'Institut de Recherche
en Informatique de Toulouse (Rapporteur)
Mr Gilles Coppin, professeur à Telecom Bretagne (Rapporteur)
Mr Thierry Artières, Professeur à l'Université Pierre et Marie Curie -
Paris 6 (Examinateur)
Mme Brigitte Trousse, Responsable scientifique (Examinateur)
Mme Bernadette Bouchon-Meunier, Directeur de recherche CNRS à
l'Université Pierre et Marie Curie - Paris 6 (Directeur)
Mr Nicolas Labroche, Maître de conférence à l'Université Pierre et
Marie Curie - Paris 6 (Encadrant)
Mr Stéphane Berche, Responsable industriel (Encadrant)

Cordialement

Vincent Labbé

Résumé :
Cette thèse porte sur la modélisation et l'apprentissage automatique des
préférences, dans le contexte industriel de l'impression en grand format. En
particulier, nous nous intéressons à l'automatisation de la
configuration d'impression.
De par la palette des comportements possibles, cette fonctionnalité n'est
triviale, ni à concevoir, ni à utiliser. Nous proposons une
nouvelle approche pour en améliorer les deux aspect complémentaires :
évolutivité et utilisabilité.
Notre réalisation principale est un système de recommandation
adaptatif, basé sur trois contributions originales :
* une modélisation de la configuration d'impression grand format à partir
d'un modèle de préférence, sous la forme de problèmes d'optimisation sous
contraintes,
* un modèle des préférences de l'imprimeur, sous la forme de fonctions
d'utilité additive linéaires par morceaux, basée sur une famille
d'attributs adaptée,
* un algorithme d'apprentissage automatique d'ordonnancements à partir
de données comparatives.
Basé sur l'algorithme rankSVM (noyau linéaire), notre méthode
d'apprentissage permet d'adapter la complexité de l'espace de
description des données, tout en conservant la linéarité.

soutenance de thèse de Thomas Silverston

begin:vcard
fn:Thomas SILVERSTON
n:SILVERSTON;Thomas
org;quoted-printable:Universit=C3=A9 Pierre et Marie Curie - Paris 6
adr;quoted-printable:;;104 Avenue du Pr=C3=A9sident Kennedy;Paris;;75016;France
email;internet:thomas.silverston@lip6.fr
title:Ph.D student
tel;work:+33 1 44 27 88 77
tel;fax:+33 1 44 27 53 53
url:http://rp.lip6.fr/~silverst
version:2.1
end:vcard

Bonjour,

j'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Peer-to-Peer Video Live Streaming: Measurement Experiments and Traffic
Analysis"
qui sera présentée le mercredi 16 septembre 2009 à 11h00 au Laboratoire
d'Informatique de Paris 6 (LIP6), situé au
104 avenue du Président Kennedy, 75016 Paris
salle 549, ainsi qu'au pot qui suivra.
(Plan d'accès disponible à : http://www.lip6.fr/informations/comment.php),

Cette thèse sera présentée devant le Jury composé de :

M. Laurent MASSOULIÉ, Chercheur à Thomson Technology Paris Laboratory
(Rapporteur)
M. Thierry TURLETTI, Chercheur à l'INRIA Sophia Antipolis (Rapporteur)
M. Kenjiro CHO, IIJ Research Laboratory (Examinateur)
M. Pierre SENS, Professeur à l'Université Pierre et Marie Curie - Paris
6 (Examinateur)
M. Ioannis STAVRAKAKIS, Professeur à la National and Kapodistrian
University of Athens (Examinateur)
M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie - Paris
6 (Directeur)
M. Olivier FOURMAUX, Maître de conférence à l'Université Pierre et Marie
Curie - Paris 6 (Encadrant)

Cordialement

Thomas Silverston

Abstract:
The Internet is currently experiencing one of the most important
challenges in terms of content distribution
since its first uses as a medium for content delivery: users from
passive downloaders and browsers are moving towards content producers
and publishers.
Following this change, the content delivery architecture of the Internet
is also evolving from the classical client/server model to the
peer-to-peer model (P2P).
For new content delivery services that target a large number of
receivers on the Internet, there are scalability issues
to deliver the content to potentially millions of users at the same time.
This is clearly the case for television service on the Internet.

The television broadcast service with a peer-to-peer architecture
(P2P-TV) has became an important research topic
since it is expected that P2P-TV applications will become massively used
on the Internet.
There has been a lot of P2P-TV architecture proposals but, none of these
proposals has been really implemented or deployed.
At the same time, many commercial applications appeared on the Internet
(PPLive, SOPCast) and their popularity is increasing.
Even tough these applications are freely available, their source code is
not open and
their exact implementation details and protocols are still widely unknown.
There is a lack of knowledge with these applications, with regards to
their architectures, mechanisms or traffic.

In this thesis, in order to fill the gap between the architecture
proposals and the commercial applications,
we study the P2P-TV applications by performing extensive measurement
experiments.
We passively measured the network traffic generated by popular P2P-TV
applications.

We present a detailed study of the P2P-TV traffic, providing useful
insights on both transport and packet-level properties
as well as on the behavior of the peers inside the network.
The knowledge gained thanks to this traffic measurement and analysis is
useful for several tasks as traffic identification,
understanding the performance of different P2P-TV technologies,
the impact of such traffic on the network and building more realistic
models for simulations.

In order to extend the scope of our study,
we performed another measurement campaign at larger scale between Japan
and France
to better characterize the P2P network.
From these experiments,
we study the global organization of peers in the network,
the amount of traffic they exchange and
the overall collaboration of peers.
We will also focus on the distance between peers and
the geographic location of the users.

--
*********************************************
Thomas Silverston - Ph.D student
thomas.silverston@lip6.fr
http://rp.lip6.fr/~silverst

Université Pierre et Marie Curie - LIP6/CNRS
104 avenue du Président Kennedy
75016 Paris, France
+33 1 44 27 88 77
*********************************************

Soutenance de thèse de Raimana Teina

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée
"Caractérisation de la cocoteraie des Tuamotu à partir d'images
satellites à très haute résolution spatiale" qui sera présentée le
mardi 15 Septembre 2009 à 10h00 en salle 847 ainsi qu'au pot qui
suivra, au Laboratoire d'Informatique de Paris 6, 104 avenue du
Président Kennedy, 75016.

Résumé:

Les travaux effectués pendant cette thèse portent sur la
caractérisation de la cocoteraie de l'archipel des Tuamotu en
Polynésie Française à partir d'images satellites Ikonos
multispectrales à très haute résolution spatiale. La première partie
de ce travail concerne la segmentation individuelle des cocotiers. Un
procédé de classification bayésienne permet d'éliminer les zones non
végétales. Puis, un algorithme de segmentation par ligne de partage
des eaux est initié à partir de marqueurs judicieusement
choisis. Enfin, en complètement d'une validation photo, une validation
sur le terrain a été réalisée pour estimer les erreurs de
détections. Cette validation a permis un passage à l'échelle avec
l'application de la méthode sur une grande quantité de données. Le
second volet concerne la caractérisation des plantations. Tout
d'abord, les performances de quelques classifieurs de l'état de l'art
sont comparées pour un problème d'occupation des sols. L'ajout des
informations de texture permet de caractériser les types de
plantations avec des méthodes de classification et nous montrons que
les SVM obtiennent une meilleure performance en terme de qualité de la
classification. Nous proposons une approche duale qui classifie les
types de cocoteraies à partir de la répartition spatiale des
coordonnées de chaque cocotier. Cette méthode repose sur une
modélisation de type processus ponctuel de Poisson caractérisant bien
les plantations naturelles.

Cordialement

Raimana Teina

--
Dominique Béréziat
Maître de Conférences / Associate Professor
Université Pierre et Marie Curie
Laboratoire d'Informatique Paris 6
tel : +33 1 44 27 47 71
fax : +33 1 44 27 75 41