Soutenance de thèse de Jean-Pierre Lozi

[English Text Below]

Bonjour,

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

"Vers des mécanismes d'exclusion mutuelle plus efficaces pour les architectures multi-cœur" et au pot qui suivra.

La soutenance se déroulera le mercredi 16 juillet 2014 à 13h30, tour 25-26, 1er étage, salle 105 du Laboratoire d'Informatique de Paris 6 (LIP6) situé à:
4, Place Jussieu, 75005 Paris, France (accès par métro M7 ou M10, station Jussieu).

Membres du jury :

M. Bouganim Luc (INRIA Paris-Rocquencourt), Examinateur

M. Herlihy Maurice (Brown University), Examinateur

M. Harris Tim (Oracle Labs), Examinateur

M. Muller Gilles (UPMC/INRIA/LIP6), Directeur de thèse

M. Quéma Vivien (INP/ENSIMAG/LIG), Rapporteur

M. Schröder-Preikschat Wolfgang (Friedrich-Alexander-Universität), Rapporteur

M. Thomas Gaël (UPMC/INRIA/LIP6), Directeur de thèse

Résumé :

Le passage à l'échelle des applications multi-fil sur les systèmes multi-cœur actuels est limité par la performance des algorithmes de verrou, à cause des coûts d'accès à la mémoire sous forte congestion et des défauts de cache. La contribution principale présentée dans cette thèse est un nouvel algorithme, Remote Core Locking (RCL), qui a pour objectif d'améliorer la vitesse d'exécution des sections critiques des applications patrimoniales sur les architectures multi-cœur. L'idée de RCL est de remplacer les acquisitions de verrou par des appels de fonction distants (RPC) optimisés vers un fil d'exécution matériel dédié appelé serveur. RCL réduit l'effondrement des performances observé avec d'autres algorithmes de verrou lorsque de nombreux fils d'exécution essaient d'obtenir un verrou de façon concurrente, et supprime le besoin de transférer les données partagées protégées par le verrou vers le fil d'exécution matériel qui l'acquiert car ces données peuvent souvent demeurer dans les caches du serveur.

 

D'autres contributions sont présentées dans cette thèse, notamment un profiler qui identifie les verrous qui sont des goulots d'étranglement dans les applications multi-fil et qui peuvent par conséquent être remplacés par RCL afin d'améliorer les performances, ainsi qu'un outil de réécriture de code développé avec l'aide de Julia Lawall. Cet outil transforme les acquisitions de verrou POSIX en acquisitions RCL. L'évaluation de RCL a porté sur dix-huit applications: les neuf applications des benchmarks SPLASH-2, les sept applications des benchmarks Phoenix 2, Memcached, ainsi que Berkeley DB avec un client TPC-C. Huit de ces applications sont incapables de passer à l'échelle à cause de leurs verrous et leur performance est améliorée par RCL sur une machine x86 avec quatre processeurs AMD Opteron et 48 fils d'exécution matériels. Utiliser RCL permet de multiplier les performances par 2.5 par rapport aux verrous POSIX sur Memcached, et par 11.6 fois sur Berkeley DB avec le client TPC-C. Sur une machine SPARC avec deux processeurs Sun Ultrasparc T2+ et 128 fils d'exécution matériels, les performances de trois applications sont améliorées par RCL: les performances sont multipliées par 1.3 par rapport aux verrous POSIX sur Memcached et par 7.9 fois sur Berkeley DB avec le client TPC-C.

=== English ===

Dear all,

It is with great pleasure that I am inviting you to attend my PhD defense, entitled: "Towards More Scalable Mutual Exclusion for Multicore Architectures".

The PhD defense will be held on Wednesday the 16th of July 2014 at 1:30pm, tower 25-26, first floor, room 105 of the "Laboratoire d'Informatique de Paris 6" (LIP6) which is located at the following address:

4, Place Jussieu, 75005 Paris, France (access via the M7 or M10 metro lines, Jussieu station).

Jury members:

M. Bouganim Luc (INRIA Paris-Rocquencourt), Examiner

M. Herlihy Maurice (Brown University), Examiner

M. Harris Tim (Oracle Labs), Examiner

M. Muller Gilles (UPMC/INRIA/LIP6), Advisor

M. Quéma Vivien (INP/ENSIMAG/LIG), Reviewer

M. Schröder-Preikschat Wolfgang (Friedrich-Alexander-Universität), Reviewer

M. Thomas Gaël (UPMC/INRIA/LIP6), Advisor

Abstract:

The scalability of multithreaded applications on current multicore systems is hampered by the performance of lock algorithms, due to the costs of access contention and cache misses. The main contribution presented in this thesis is a new lock algorithm, Remote Core Locking (RCL), that aims to improve the performance of critical sections in legacy applications on multicore architectures. The idea of RCL is to replace lock acquisitions by optimized remote procedure calls to a dedicated hardware thread, which is referred to as the server. RCL limits the performance collapse observed with other lock algorithms when many threads try to acquire a lock concurrently and removes the need to transfer lock-protected shared data to the hardware thread acquiring the lock because such data can typically remain in the server's cache.

Other contributions presented in this thesis include a profiler that identifies the locks that are the bottlenecks in multithreaded applications and that can thus benefit from RCL, and a reengineering tool developed with Julia Lawall that transforms POSIX locks into RCL locks. Eighteen applications were used to evaluate RCL: the nine applications of the SPLASH-2 benchmark suite, the seven applications of the Phoenix 2 benchmark suite, Memcached, and Berkeley DB with a TPC-C client. Eight of these applications are unable to scale because of locks and benefit from RCL on an x86 machine with four AMD Opteron processors and 48 hardware threads. Using RCL locks, performance is improved by up to 2.5 times with respect to POSIX locks on Memcached, and up to 11.6 times with respect to Berkeley DB with the TPC-C client. On an SPARC machine with two Sun Ultrasparc T2+ processors and 128 hardware threads, three applications benefit from RCL. In particular, performance is improved by up to 1.3 times with respect to POSIX locks on Memcached, and up to 7.9 times with respect to Berkeley DB with the TPC-C client.

-- 

Jean-Pierre Lozi

PhD student, REGAL Team, LIP6/UPMC

http://lip6.fr/Jean-Pierre.Lozi/

[invitation] Soutenance de thèse de Patrick Simo Kanmeugne

##########################################################################

Bonjour à tous.

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

<< simulation crédible des déplacements de piétons en temps réel :
modèle microscopique à influence macroscopique >>


La soutenance se déroulera le Vendredi 11 Juillet 2014 à 10h30,
Tour 25-26, 1er étage, salle 101 du Laboratoire d'Informatique de
Paris 6 (LIP6) situé à :

4, Place Jussieu, 75005 Paris, France.
Accès par métro M7 ou M10, station Jussieu.

Elle sera suivie d'un pot qui aura lieu dans la même salle.

##########################################################################

Le jury sera composé de :

[Rapporteur] René Mandiau, Professeur des universités (Université de
Valenciennes)
[Rapporteur] Olivier Simonin, Professeur des Universités (INSA Lyon)
[Examinatrice] Salima Hassas, Professeur des Universités (Université
de Lyon 1)
[Examinateur] Nicolas Bredèche, Professeur des Universités
(Université Pierre et Marie Curie)
[Examinateur] Jean-Daniel Zucker, Directeur de Recherche (IRD)
[Directrice de thèse] Amal El Fallah Seghrouchni, Professeur des
Universités (Université Pierre et Marie Curie)
[Encadrante] Aurélie Beynier, Maître de conférences (Université
Pierre et Marie Curie)
[Encadrant] Jean-Yves Donnart, Responsable études avancées (Thales Group)

##########################################################################

Résumé de la thèse :

Cette thèse s'inscrit dans le cadre d'un projet de recherche et de
développement qui vise à mettre en place des technologies de
simulation permettant de reproduire des comportements humains dans une
ville. L'objectif de nos travaux est de définir des algorithmes
permettant de simuler les déplacements d'une grande quantité de
piétons dans un environnement urbain, en temps réel, et de manière
crédible. Pour ce type d'exercice, plusieurs solutions existent. Ces
solutions sont principalement développées à partir de deux types
d'approches : les approches microscopiques, où les piétons sont
modélisés comme des agents autonomes, et les approches macroscopiques,
où les piétons sont considérés comme soumis à des lois d'écoulement
continues ou discrètes. Notre position est que ces deux approches ne
s'opposent pas, contrairement à ce qui ressort de la pratique
courante, mais se complètent mutuellement. Privilégier l'une au
détriment de l'autre fait courir le risque de produire des solutions
partiellement satisfaisantes. Aussi nous sommes nous proposés de
clarifier le cadre formel permettant d'appréhender la complexité des
déplacements.

En ligne avec plusieurs études statistiques et psychologiques sur
le déplacement des piétons, nous explicitons un déplacement crédible
comme un déplacement économe en énergie métabolique. Nous nous
inspirons des jeux de congestion et du paradigme multi-agent pour
proposer une formulation générique du problème de déplacement des
piétons : nous introduisons la notion de ressources de navigation, que
nous décrivons comme des régions de l'espace que les agents utilisent
pour atteindre leurs destinations, et via lesquelles les agents
interagissent pour estimer leurs dépenses énergétiques de manière
robuste. Nous proposons une stratégie de déplacement basée sur les
heuristiques taboues et nous considérons le principe influence et
réaction pour implémenter les actions de déplacements.

Le concept d'environnement issu du paradigme multi-agent s'avère
particulièrement utile pour appréhender la complexité de la
simulation. L'environnement est considéré comme un composant
indépendant et ontologiquement différent des agents qui est pris en
compte à tous les niveaux de décisions. Une importante partie de la
dynamique de la simulation peut ainsi être déléguée à l'environnement
sans altérer l'autonomie des agents. Cette séparation favorise à la
fois la crédibilité des résultats et le passage à l'échelle.

Nous avons choisi de comparer notre proposition avec un modèle
microscopique standard à travers plusieurs scénarios de simulation. Il
ressort de notre comparaison que notre modèle permet de reproduire des
résultats plus crédibles du point de vue d'un observateur extérieur et
plus proches des études empiriques connues sur les déplacements des
piétons.

##########################################################################

Cordialement,
Patrick SIMO KANMEUGNE

[Invitation] Soutenance de thèse de Koutheir Attouchi

[English Text Below]

Bonjour,

J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée:
"Managing Resource Sharing Conflicts in an Open Embedded Software Environment".

La soutenance se déroulera le Vendredi 11 Juillet 2014 à 10h30, Tour
25-26, 1er étage, salle 105 du Laboratoire d'Informatique de Paris 6
(LIP6) situé à:
4, Place Jussieu, 75005 Paris, France.
Accès par métro M7 ou M10, station Jussieu.

Membres de Jury:

- [Rapporteur] Didier Donsez: Professeur (HDR) de l'Université de Grenoble 1.
- [Rapporteur] Laurence Duchien: Professeur (HDR) de l'Université de Lille 1.
- [Examinateur] Béatrice Berard: Professeur (HDR) de l'Université de
Pierre et Marie Curie, Paris 6.
- [Examinateur] Jean-Philippe Fassino: Architecte en Cyber-Securité,
Schneider Electric.
- [Examinateur] Johann Bourcier: Maitre de Conférences de l'Université
de Rennes 1.
- [Directeur de thèse] Gilles Muller: Scientifique Chercheur Senior
(HDR), Inria.
- [Encadrant académique] Gaël Thomas: Professeur (HDR) de l'Université
de Pierre et Marie Curie, Paris 6.
- [Encadrant industriel] André Bottaro: Directeur de Programme de
Recherche, Orange Labs.

Résumé:

Nos maisons deviennent de plus en plus intelligentes grâce aux
nombreux appareils, capteurs,
et actionneurs disponibles, et fournissant des services, tels que le
divertissement, la sécurité,
l'efficacité énergétique et le maintien à domicile. Divers
fournisseurs de services veulent
profiter de l'opportunité de la maison intelligente en développant
rapidement des services
à héberger dans une passerelle domotique embarquée. La passerelle est
ouverte à des
applications développées par des fournisseurs de services non fiables,
contrôlant de nombreux
appareils, et pouvant contenir des bugs ou des codes malicieux. Par
conséquent, la passerelle
doit maintenir une haute disponibilité et suffisamment de robustesse
pour tolérer les
problèmes logiciels sans avoir à redémarrer brutalement. Partager les
ressources, même
restreintes, de la passerelle entre les fournisseurs de services leur
permet de fournir des
services plus riches. Cependant, des conflits de partage des
ressources se produisent quand
une application utilise les ressources «déraisonnablement» ou
abusivement. Cette thèse
aborde le problème des conflits de partage des ressources dans la
passerelle domotique,
investiguant des approches de prévention autant que possible, et
envisageant des approches
de détection et de résolution quand la prévention est hors de portée.
Notre première contribution «Jasmin» vise à prévenir les conflits de
partage des ressources
en isolant les applications. Jasmin est un intergiciel pour le
développement, le déploiement
et l'isolation des applications natives, à base de composants et
orientées services prévues
pour des systèmes embarqués. Jasmin permet une communication rapide et
facile entre
applications, et utilise les conteneurs Linux pour une isolation à
faible coût. Notre seconde
contribution «Incinerator» est un système dans la machine virtuelle
Java (JVM) qui résout
le problème des références obsolètes en Java, c.-à-d., des références
à des objets à ne plus
utiliser. Les références obsolètes peuvent causer des fuites mémoire
importantes dans une
passerelle domotique basée sur OSGi, diminuant ainsi la quantité de
mémoire disponible,
ce qui augmente les risques de conflits de partage de mémoire. Avec un
coût inférieur à
4%, Incinerator non seulement détecte les références obsolètes, les
rendant visibles aux
développeurs, mais aussi les élimine, diminuant ainsi les risques de
conflits de partage
de ressources. Même en Java, les conflits de partage de mémoire se
produisent. Afin de
les détecter, nous présentons notre troisième contribution : un
système de surveillance de
mémoire intégré à la JVM. Notre système est pratiquement transparent
aux développeurs
d'applications et conscient du modèle à composants formant les
applications domotiques.
Le système compte précisément les ressources consommées pendant les
interactions entre
applications, et fournit, à la demande, des statistiques instantanées
d'utilisation de mémoire
pour les différents fournisseurs de services partageant la passerelle.

Au plaisir de vous voir.
Amicalement.

Koutheir Attouchi.

==== ENGLISH ====

Hello,

I'm glad to invite you to my PhD defense, about the subject:
"Managing Resource Sharing Conflicts in an Open Embedded Software Environment".

The PhD defense is going to be held on Friday the 11th of July 2014 at
10h30, Tour 25-26, First floor, room 105 of the "Laboratoire
d'Informatique de Paris 6" (LIP6) at the address:
4, Place Jussieu, 75005 Paris, France.
Access via the metro M7 or M10, station Jussieu.

Jury members:

- [Reviewer] Didier Donsez: Professor (HDR) of the University of Grenoble 1.
- [Reviewer] Laurence Duchien: Professor (HDR) of the University of Lille 1.
- [Examiner] Béatrice Berard: Professor (HDR) of the University of
Pierre et Marie Curie, Paris 6.
- [Examiner] Jean-Philippe Fassino: Cyber-Security Architect,
Schneider Electric.
- [Examiner] Johann Bourcier: Lecturer of the University of Rennes 1.
- [PhD director] Gilles Muller: Senior Research Scientist (HDR), Inria.
- [Academic supervisor] Gaël Thomas: Professor (HDR) of the University
of Pierre et Marie Curie, Paris 6.
- [Industrial supervisor] André Bottaro: Research Program Director, Orange Labs.

Abstract:

Our homes are becoming smart thanks to the numerous devices, sensors
and actuators
available in it, providing services, e.g., entertainment, home
security, energy efficiency and
health care. Various service providers want to take advantage of the
smart home opportunity by
rapidly developing services to be hosted by an embedded smart home
gateway. The gateway is
open to applications developed by untrusted service providers,
controlling numerous devices,
and possibly containing bugs or malicious code. Thus, the gateway
should be highly-available
and robust enough to handle software problems without restarting
abruptly. Sharing the
constrained resources of the gateway between service providers allows
them to provide richer
services. However, resource sharing conflicts happen when an
application uses resources
"unreasonably" or abusively. This thesis addresses the problem of
resource sharing conflicts in
the smart home gateway, investigating prevention approaches when
possible, and considering
detection and resolving approaches when prevention is out of reach.
Our first contribution, called Jasmin, aims at preventing resource
sharing conflicts by
isolating applications. Jasmin is a middleware for development,
deployment and isolation of
native, component-based and service-oriented applications targeted at
embedded systems.
Jasmin enables fast and easy cross-application communication, and uses
Linux containers for
lightweight isolation. Our second contribution, called Incinerator, is
a subsystem in the Java
Virtual Machine (JVM) aiming to resolve the problem of Java stale
references, i.e., references
to objects that should no more be used. Stale references can cause
significant memory
leaks in an OSGi-based smart home gateway, hence decreasing the amount
of available
memory, which increases the risks of memory sharing conflicts. With
less than 4% overhead,
Incinerator not only detects stale references, making them visible to
developers, but also
eliminates them, hence lowering the risks of resource sharing
conflicts. Even in Java, memory
sharing conflicts happen. Thus, in order to detect them, we propose
our third contribution: a
memory monitoring subsystem integrated into the JVM. Our subsystem is
mostly transparent
to application developers and also aware of the component model
composing smart home
applications. The system accurately accounts for resources consumed
during cross-application
interactions, and provides on-demand snapshots of memory usage
statistics for the different
service providers sharing the gateway.

I will be pleased to meet you then.
Kind Regards.

Koutheir Attouchi.

[Invitation] Soutenance de thèse de Rima Hatoum

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée:
"Algorithmes d'Ordonnancement Inter-Couches avec Adaptation de
Modulation et de Codage dans les Réseaux Hétérogènes LTE" et au pot
qui suivra.

La soutenance se déroulera le jeudi 26 juin à 15h, Tour 25-26, 1er
étage, salle 105 du Laboratoire d'Informatique de Paris 6 (LIP6) situé
au:

4, Place Jussieu
75005 Paris (station Jussieu métro 7 et 10)


Membres de Jury:

- ACHIR Nadjib: Maître de conférence-HDR, Université Paris Nord (rapporteur)
- AL-AGHA Khaldoun: Professeur, Université Paris Sud (examinateur)
- ELAYOUBI Salah Eddine: Ingénieur de recherche-HDR, Orange Labs (rapporteur)
- FLADENMULLER Anne: Maître de conférence-HDR, Université Pierre et
Marie Curie (examinatrice)
- GHAITH Alaa: Maître de Conférence, Université Libanaise
(encadrant de thèse)
- NGUYEN Thi-Mai-Trang: Maître de Conférence-HDR, Université Pierre
et Marie Curie (examinatrice)
- PUJOLLE Guy: Professeur, Université Pierre et Marie Curie
(directeur de thèse)


Abstract:

Responding to the huge demand for high data rates and satisfying
Quality of Service (QoS) requirements are the main objectives of the
wireless mobile operators. LTE-based small cell system is a promising
technology offering the required services, enhanced indoor coverage
and increased system capacity. However, many challenges face the
constructors and the operators for an effective deployment of these
systems. In this thesis, in order to evolve such systems and adduce
significant enhancement in terms of QoS and throughput, we adopt a
complementary strategy based on both data link layer and physical layer.
First, we propose, on the link layer level, two scheduling and joint
resource allocation algorithm based on the Adaptive Modulation and
Coding (AMC) and the power control mechanism for OFDMA-Downlink and
SC-FDMA-Uplink connections respectively. Namely, they refer to:
"Downlink AMC-QRAP" and "Uplink AMC-QRAP". The joint adaptation of the
transmission power and the Modulation and Coding Scheme reliably
interacts with the link quality on each allocated sub-channel. Two
distinct user categories are considered to differentiate between
different QoS levels required. Accordingly, a linear optimization
model is performed for the problem resolution. A clustering approach
proposed in the literature has been used as a tradeoff between
centralized and distributed schemes. Particularly, we used the
spectrum sensing technique as proposed on the physical layer to detect
surrounding transmissions.
After that, we tackle the physical layer "signal processing"
techniques as an LTE enhancement approach. Thus, two contributions
based on the "wavelet transform" (WT) are proposed.
The "wavelet-based OFDM" technique is firstly proposed as an
alternative transmission mode for both downlink and uplink of the LTE
and beyond wireless systems. In fact, the
OFDM suffers from several limitations in terms of PAPR, spectral
efficiency, synchronization cost and the inter-carrier interference.
We proved that with substituting the Fourier transform by the wavelet
transform in the OFDM technique, the different OFDM limitations can be
significantly overcame. Second, we proposed an enhanced spectrum
sensing approach based on WT tool that accurately delimits the
occupied resource blocks in the whole spectrum. These physical layer
enhancements help improving the scheduling algorithm for the uplink
proposed in our second contribution.
Extensive network simulations with different network densities have
been conducted, using several metrics such as spectral efficiency,
throughput satisfaction rate, user outage and transmission power. We
have compared our methods to several existing works in the literature
and proved the outperformance for the different considered metrics.

Soutenance de thèse de Selma Kchir

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Faciliter le développement des applications de robotique" ainsi qu'au
pot qui suivra.

Le jury est composé de:
M.Xavier Blanc, Professeur à l'Université Bordeaux 1, Examinateur
M.Noury Bouraqadi, Maître de conférences HDR à l'Ecole des mînes de
Douai, Rapporteur
M.Jacques Malenfant, Professeur à l'Université Pierre et Marie Curie,
Examinateur
M.Bernard Pottier, Professeur à l'Université de Bretagne Occidentale,
Examinateur
M.Amar Ramdane-Chérif, Professeur à l'Université de Versailles Saint
Quentin en Yvelines, Rapporteur
M.Serge Stinckwich, Maître de conférences à l'Université Caen,
Co-Encadrant
M.Tewfik Ziadi, Maître de conférences à l'Université Pierre et Marie
Curie, Co-Encadrant
M.Mikal Ziane, Maître de conférences HDR à l'Université Paris
Descartes, Directeur

La soutenance aura lieu le jeudi 26 juin à 14h à l'Université Pierre et
Marie Curie:

Laboratoire d'Informatique de Paris 6, Salle Laurière 25/26 - 101.

Accès en Métro par la station Jussieu, lignes 7 et 10.

*******************
Résumé de la thèse
*******************
L'un des challenges des roboticiens consiste à gérer un grand nombre de
variabilités. Ces dernières concernent les concepts liés au matériel et
aux logiciels du domaine de la robotique. Par conséquent, le
développement des applications de robotique est une tâche complexe. Non
seulement, elle requiert la maîtrise des
détails de bas niveau du matériel et du logiciel mais aussi le
changement du matériel utilisé dans une application entraînerait la
réécriture du code de
celle-ci. L'utilisation de l'ingénierie dirigée par les modèles dans ce
contexte est une voie prometteuse pour (1) gérer les problèmes de
dépendance des applications des détails de bas niveau à travers des
modèles stables et (2) faciliter le développement des applications à
travers une génération automatique de code vers des plateformes cibles.
Les langages de modélisation spécifiques aux domaines mettent en oeuvre
les techniques de l'ingénierie dirigée par les modèles afin de
représenter les concepts du domaine et permettre aux experts de celui-ci
de manipuler des concepts qu'ils ont l'habitude d'utiliser. Cependant,
ces concepts ne sont pas suffisants pour représenter tous les aspects
d'une application car ils sont très généraux. Il faudrait alors
s'appuyer sur une démarche pour extraire des abstractions à partir de
cas d'utilisations concrets et ainsi définir des abstractions ayant une
sémantique opérationnelle.
Le travail de cette thèse s'articule autour de deux axes principaux. Le
premier axe concerne la contribution à la conception d'un langage de
modélisation spécifique au domaine de la robotique mobile (RobotML).
Nous extrayons à partir d'une ontologie du domaine les concepts que les
roboticiens ont l'habitude d'utiliser pour la définition de leurs
applications. Ces concepts sont ensuite représentés à travers une
interface graphique permettant la représentation de modèles afin
d'assurer une facilité d'utilisation pour les utilisateurs de RobotML.
On offre ainsi la possibilité aux roboticiens de représenter leurs
scénarios dans des modèles stables et indépendants des plateformes
cibles à travers des concepts qu'ils ont l'habitude de manipuler. Une
génération de code automatique à partir de ces modèles est ensuite
possible vers une ou plusieurs plateformes cibles. Cette contribution
est validée par la mise en oeuvre d'un scénario aérien dans un
environnement inconnu proposé par l'ONERA. Le deuxième axe de cette
thèse tente de définir une approche pour rendre les algorithmes
résistants aux changements des détails de bas niveau. Notre approche
prend en entrée la description d'une tâche de robotique et produit :
– un ensemble d'abstractions non algorithmiques représentant des
requêtes sur l'environnment y compris le robot ou des actions de haut
niveau ;
– un ensemble d'abstractions algorithmiques encapsulant un ensemble
d'instructions permettant de réaliser une sous-tâche de la tâche étudiée
;
– un algorithme générique configurable défini en fonction de ces
abstractions.
Ainsi, l'impact du changement du matériel et des stratégies définies
dans les sous-tâches n'est pas très important. Il suffit d'adapter
l'implantation de ces abstractions sans avoir à modifier l'algorithme
générique. Cette approche est validée sur six variantes d'une famille
d'algorithmes de navigation appelée Bug.

Cordialement,
Selma Kchir

Soutenance de thèse de Bertrand Marne

Bonjour à tous,


J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Modèles et outils pour la conception de jeux sérieux : une approche
meta-design" devant le jury composé de:

- Mme Amal El Fallah Seghrouchni (Université Pierre et Maris Curie),
Présidente du Jury
- M. Sébastien George (Université du Maine), Rapporteur
- M. Jean-Marc Labat (Université Pierre et Maris Curie), Directeur de thèse
- Mme Domitile Lourdeaux (Université de technologie de Compiègne), Examinatrice
- M. Jean-Charles Marty (Université de Savoie), Rapporteur
- M. Stéphane Natkin (Conservatoire national des arts et métiers), Examinateur


La soutenance aura lieu le *jeudi 10 juillet 2014* à *13h45* sur le
campus de Jussieu de l'Université Pierre et Marie Curie:


Salle des thèses de l'Atrium (grande salle de Visioconférence),
RDC du bâtiment Atrium (couloir jaune Porte "Entrée 2")
4 place Jussieu
75005 Paris
Accès: http://www.locations.espaces.upmc.fr/fr/campus.html

Accès en Métro par la station Jussieu, lignes 7 et 10.




Comme de coutume, la soutenance sera suivie d'un pot auquel vous êtes
chaleureusement invités.


================
Résumé de la thèse:
================


Cette thèse en informatique se situe dans le domaine des jeux sérieux
destinés à l'apprentissage et s'intéresse à leur conception et aux
outils auteurs d'adaptation.

Les jeux sérieux sont des Environnements Informatiques Pour
l'Apprentissage Humain dont la conception nécessite la collaboration
d'experts variés parmi lesquels les enseignants.

Pour faciliter la conception multi-expertise initiale des jeux sérieux
métissant motivation et apprentissage, nous proposons un cadre
conceptuel, les 6 facettes de la conception des jeux sérieux, qui aide
les parties prenantes à collaborer à chaque étape de conception. Les 6
facettes sont enrichies par la bibliothèque de patrons de conception
que nous proposons, et qui construit un vocabulaire favorisant la
conception participative.

Pour permettre la co-conception des jeux sérieux dans l'usage par les
enseignants, nous avons prolongé l'approche de la conception
participative à celle du meta-design. Nous proposons un modèle et un
outil auteur permettant aux enseignants d'adapter les jeux sérieux à
leurs contextes spécifiques d'enseignement.

MoPPLiq est un modèle à la fois formel et graphique qui représente la
scénarisation des jeux sérieux à étapes, de façon à la rendre
compréhensible et manipulable. APPLiq est un outil auteur permettant
de manipuler des modèles MoPPLiq, en maintenant leur cohérence grâce à
une vérification et une compensation automatique de la planification.

Nos outils conceptuels (6 facettes et patrons de conception) et
logiciels (MoPPLiq et APPLiq) ont été mis à l'épreuve lors de travaux
de conception de jeux sérieux avec des partenaires publics et privés
et avec des jeux sérieux utilisés par des enseignants.

Mots-clés : jeux sérieux, modèles, méta-modèles, outil auteur, cadre
conceptuel, meta-design, conception participative.



Bien cordialement;



--
Bertrand Marne
PhD Student in MOCAH team
LIP6 - UPMC/Paris - France

Tél. : 06 66 89 95 16 -- 01 44 27 88 30

Soutenance de Thèse de Mme Manel Djemal

Chers collègues,
Ci-joint l'invitation à la soutenance de thèse de Mme Manel Djemal.
Bien cordialement
Alix Munier Kordon



Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Réconcilier performance et prédictibilité sur un many-coeur en
utilisant des techniques d'ordonnancement hors-ligne".
La soutenance aura lieu le vendredi 27 juin à 14h à l'université
Pierre et Marie Curie (adresse : 4 place Jussieu, 75005 Paris 6) dans
la salle 211(salle de conseils de l'UFR, couloir 55-65, 2ème étage).
La station de métro la plus proche est Jussieu (Métro 7 et 10).

Le jury est composé de :
- Mme. Florence Maraninchi, Verimag, Grenoble, Rapporteur de thèse
- M. Renaud Sirdey, CEA, Saclay, Rapporteur de thèse
- M. Bertrand Granado, LIP6, Paris, Examinateur
- M. François Irigoin, CRI - MINES ParisTech, Examinateur
- M. François Pêcheux, LIP6, Paris, Examinateur
- M. Louis Mandel, Collège de France, Paris, Examinateur
- Mme. Alix Munier, LIP6, Paris, Directeur de thèse
- M. Dumitru Potop-Butucaru, INRIA, Recquencourt, Encadrant de thèse

Vous êtes également conviés au pot qui suivra la soutenance.

Veuillez trouver le résumé (anglais et français) de la thèse en pièce jointe.

Bien cordialement

Manel Djemal



-------------------------------------------------------------------------------
<logo_INRIA.png>

Paris – Rocquencourt Research Center
Manel DJEMAL FAKHFAKH
PhD student INRIA Rocquencourt - AOSTE team
Domaine de Voluceau, BP 105, 78153 Le Chesnay, France
Tel: (+33) 06 46 85 40 30
(+33) 01 39 63 56 62
--------------------------------------------------------------------------------