Association des Universitaires Libanais en France

[Blog] Proposition These

2010-01-28T12:20:00.001+01:00

Proposition de th�se en t�l�d�tection/traitement d'image au CIRAD / UMR TETIS (cofinancement CNES/CIRAD).

Sujet: Caract�risation de la structure de plantation des syst�mes agroforestiers � partir d'images satellite � tr�s haute r�solution spatiale.

Cl�ture des candidatures le 1er mars 2010.

Pour plus de d�tails : rennes@aulf.org

Hotmail: Trusted email with powerful SPAM protection. Sign up now.

[Blog] Possiblit�s d'offres d'emploi syst�mes embarqu�s]

2010-01-18T10:39:00.000+01:00

Research/Engineers positions announcement in embedded systems

The Embedded Real Time Systems Laboratory (LaSTRE), hosted at CEA LIST
(near Paris), has available post-doctoral and fixed-term contracts
research/engineers positions available. The LaSTRE research activities
focuses on the development of code generation tool chains and associated
operating systems for embedded architectures (single/multi/many cores,
distributed, etc.) targeting high-performance and safety-oriented domain
fields. A main project of the LaSTRE is OASIS [1], a framework for
building and executing hard real-time safety-oriented applications. Within
the LaSTRE, activities span from state of the art research in these fields
((distributed) hard real-time systems, virtualization, embedded HPC) to
the development of industrial solutions for various partners. The OASIS
solution is currently in use in safety systems. Finally, the LaSTRE is
also involved in several national, European research programs.

For more information on the CEA: http://www.cea.fr/english_portal

For more information on the CEA LIST: http://www-list.cea.fr/gb/index_gb.htm

If you are interested, please send your resume to Vincent.David@cea.fr
(LaSTRE head)

[1] OASIS: a chain of development for safety-critical embedded real-time
systems. http://www-list.cea.fr/labos/fr/LLSP/oasis/docs/gb/erts_2004.pdf

---

Mathieu Jan - Engineer/Researcher
CEA LIST - Embedded Real Time Systems Lab

Gif-sur-Yvette 91191 - France

[Blog] Proposition stage Master 2 (financ� ) avec poursuite en th�se (financ�e )]

2010-01-13T17:07:00.001+01:00

Date: Tue, 12 Jan 2010 15:10:36 +0100
From: Laurent Réveillère <Laurent.Reveillere@labri.fr>
To: membres@sigops-france.fr, asr-forum@cines.fr, arp@cines.fr,
gdr.gpl@imag.fr
Subject: [asr-forum] Proposition stage Master 2 (financé) avec poursuite
en thèse (financée)

Bonjour,

Voici une proposition de stage Master 2 (financé) avec poursuite en
thèse (financée)

* Language approach for dynamic adapatation of multimedia streams
http://www.labri.fr/perso/reveille/index.php?menu=positions

Cordialement

--
Laurent Réveillère
Associate Professor at LaBRI (University of Bordeaux), France
----------------------------------------------------------
| Phone +33 (0) 5 40 00 28 69 |
| Fax +33 (0) 5 56 84 21 80 |
| URL : http://www.labri.fr/perso/reveille |
----------------------------------------------------

--
Rabih TARRAF
PHD Student
SMILE team -LIRMM-I2S
------------------------
Université Montpellier 2
LIRMM - UMR 5506 - CC 477
161 rue Ada
*34095* Montpellier Cedex 5
France
-------------------------
Tel: 04 67 41 86 63
www.lirmm.fr

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] Post Doc "Conception et Contr�le Autonomes Distribu�s pour les Algorithm es Evolutionnaires"]]

2010-01-07T21:46:00.001+01:00

--------------------------------------------------------------------------

Begin forwarded message:

Date: Thu, 07 Jan 2010 10:33:12 +0100
From: FrÃ©dÃ©ric Lardeux <lardeux@info.univ-angers.fr>
To: ro@poleia.lip6.fr
Subject: [ro] Post Doc "Conception et ContrÃ´le Autonomes DistribuÃ©s
pour les Algorithmes Evolutionnaires"

[DÃ©solÃ© pour les rÃ©ceptions multiples]

Offre de bourse Post Doctorale

Sujet : Conception et ContrÃ´le Autonomes DistribuÃ©s pour les Algorithmes
Evolutionnaires

Lieu : LERIA, UniversitÃ© dâ�™Angers
Salaire : 1 931,17 â‚¬ net par mois
DurÃ©e : 1 an
Date de dÃ©but : avant mai 2010

Informations dÃ©taillÃ©es :
www.info.univ-angers.fr/pub/saubion/PDOC/Index.htm

Contact : envoyer CV, lettres de recommandation Ã
Frederic.Saubion@univ-angers.fr <mailto:Frederic.Saubion@univ-angers.fr>

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] [Fwd: [di-di] Fw: [ro] Poste de Maitre de Conf�rences ouvert a Paris 13]

2009-12-22T15:06:00.000+01:00

---------------------------- Original Message ----------------------------
Subject: [di-di] Fw: [ro] Poste de Maitre de Conférences ouvert a
Paris 13
From: "Alain Jean-Marie" <ajm@lirmm.fr>
Date: Tue, December 22, 2009 1:24 pm
To: di-di@lirmm.fr
rob@lirmm.fr
--------------------------------------------------------------------------

Begin forwarded message:

Date: Mon, 21 Dec 2009 17:27:05 +0100
From: Roberto.Wolfler@lipn.univ-paris13.fr
To: ro@poleia.lip6.fr
Subject: [ro] Poste de Maitre de Conférences ouvert a Paris 13

Bonjour,

je vous invite à transmettre l'information qui suit aux candidats potentiels.
Je m'excuse pour des receptions multiple.

Cordialement

Roberto Wolfler Calvo

----------------------------------------------------------------------------
Poste Maître de Conférences en Informatique, profil Recherche Opérationnelle
----------------------------------------------------------------------------

Un poste de maître de conférences en 27ème section est ouvert aurecrutement
2010 sur l'université Paris 13 avec rattachement au LIPN (Laboratoire
d'Informatique de l'université Paris-Nord, UMR CNRS 7030) et au département
d'Informatique de l'IUT de Villetaneuse de l'université Paris 13.

Pour ce poste, les candidats sont encouragés à entrer en contact avec :
Roberto Wolfler Calvo : wolfler@lipn.univ-paris13.fr

-------------------
Groupe recherche d'accueil
-------------------
Le groupe Optimisation Combinatoire (OC) du LIPN mène des recherches
fondamentales comme appliquées en optimisation en nombres entiers. Il est
aujourd'hui constitué d'un professeur émérite, d'un professeur et de quatre
maîtres de conférences qui manipulent les approches "classiques" et fortement
complémentaires de l'OC que sont la programmation mathématique, la
complexité,
la modélisation, les méthodes exactes et les méta-heuristiques.
Les recherches s'articulent selon trois démarches :

- la définition d'approches innovantes de résolution en programmation
mathématique (ré-optimisation, reformulation) ;
- l'étude structurelle des problèmes d'optimisation discrète
(décompositions et
relaxations, approches polyédrales, approximation) ;
- la résolution exacte et approchée de problèmes issus de divers domaines
d'application (planification, transport multimodal, "network design").

Le groupe s'est construit une expertise dans les méthodes de la programmation
mathématique pour la résolution de problèmes de grande taille. Plus
récemment,
il développe des axes originaux dans le cadre de collaborations avec d'autres
domaines de l'informatique et des mathématiques.

Le groupe souhaite aujourd'hui élargir ses orientations de recherche à
l'optimisation dans un contexte d'incertitude. Ce nouveau point de vue sur
l'optimisation mène à l'introduction de nouveaux modèles, qui nécessitent
eux-mêmes le développement d'approches algorithmiques et d'analyse adaptées.

Le groupe s'intéresse à ces nouveaux développements, tant dans leurs aspects
fondamentaux que dans le cadre de collaborations industrielles sur des
problèmes spécifiques.

-------------------
Profil recherche
-------------------
Tout profil en optimisation combinatoire incorporant une démarche
théorique sera
le bienvenu.
La connaissance d'un paradigme d'optimisation en contexte d'incertitude sera
particulièrement appréciée, pour la complémentarité apportée.

Mots clés : optimisation combinatoire, mathématiques discrètes, programmation
mathématique en nombres entiers, algorithmique de graphe, approches
polyédrales, approximation, robustesse.

-------------------
Profil enseignement
-------------------
Pour l'enseignement au département informatique de l'IUT, une expérience
et un
goût pour les aspects pratiques et techniques sont indispensables. Les
besoins
en enseignement sont dans le pôle ASR (Architecture Système-Réseau) ou le
pôle
Génie Logiciel ou les technologies web.

-------------------
Infos / contacts supplémentaires
-------------------

Information :
Laboratoire : http://www-lipn.univ-paris13.fr
Composante : http://www.iutv.univ-paris13.fr/iutv/informatique.php

Contacts :
Directeur du laboratoire : Christophe Fouqueré :
christophe.fouquere@lipn.univ-paris13.fr
Présidente du département : Françoise Gayral :
gayral@iutv.univ-paris13.fr
-----------------------------------------------------------------

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] [Fwd: [di-di] Fw: Ecole Polytechnique : recrutements 2010 en informatique]

2009-12-18T17:33:00.000+01:00

---------------------------- Original Message ----------------------------
Subject: [di-di] Fw: Ecole Polytechnique : recrutements 2010 en informatique
From: "Alain Jean-Marie" <ajm@lirmm.fr>
Date: Thu, December 17, 2009 4:58 pm
To: di-di@lirmm.fr
rob@lirmm.fr
--------------------------------------------------------------------------

Begin forwarded message:

Date: Thu, 17 Dec 2009 15:42:53 +0100
From: catherine bensoussan <catherine.bensoussan@polytechnique.edu>
To: destinataires inconnus:;
Subject: Ecole Polytechnique : recrutements 2010 en informatique

Chers Collègues,

L'École polytechnique a ouvert cinq postes d'enseignants en informatique
pour cette année 2010 comme suit :

* Un poste de Professeur d''exercice complet,
* Un poste de Professeur chargé de cours (PCC) d''exercice incomplet,
* Un poste de Professeur chargé de cours (PCC) résident d''exercice
incomplet à pourvoir pour la chaire d'ingénierie des systèmes
industriels complexes,
* Deux postes de Chargé d'enseignement (ChE) d''exercice incomplet.

Les postes de Professeurs et de Professeurs chargés de cours se
recrutent au niveau HDR et au delà, et les postes de Chargés
d'Enseignement au niveau thèse et au delà.

Les postes à temps partiels s'adressent à des personnes déjà titulaires
d'un poste dans un établissement public ou d'une entreprise.

Une expérience internationale est souhaitée.

Les rémunérations brutes annuelles sont de 50 à 80 kE pour les
Professeurs à plein temps, 12 à 14 kE pour les Professeurs Chargés de
Cours à temps partiel, 8 à 12 kE pour les Chargés d'Enseignement à temps
partiel.

La qualité des candidatures (et du projet pédagogique, dans le cas d'une
candidature comme Professeur), sont les principaux critères retenus par
le département. La maîtrise de la langue française n'est pas un
pré-requis au recrutement.

Ces ouvertures de postes sont annoncées sur le site de l'École :

http://de.polytechnique.fr/candidatures/Index.cfm?Type=Professeur

où les candidatures sont à poster avant le ***15 mars 2010*** pour une
prise de fonction en ***septembre 2010***.

Pour plus d'informations, veuillez contacter :

- François Morain (Président du département) morain@lix.polytechnique.fr
- Frank Nielsen (vice-président) nielsen@lix.polytechnique.fr
- Benjamin Werner (vice-président) werner@lix.polytechnique.fr

Frank Nielsen, le 16 décembre 2009.

NB:

Les postes d'enseignants d''exercice complet en matière scientifique sont
des postes d''enseignants chercheurs, et les personnes recrutées devront
exercer leur activité de recherche principale à l'École Polytechnique ou
dans un des centres de recherche partenaire du campus. Ils peuvent être
pourvus soit sous forme de détachement, soit sous forme de contrat à
durée indéterminée, après une période probatoire de deux ans.
Les postes de Chargé d''Enseignement d''exercice complet ne sont offerts
que pour une période de deux ans non renouvelable. Les enseignants
d''exercice incomplet cumulent leur activité d''enseignement à l'École
Polytechnique avec un emploi principal exercé dans le monde académique
ou professionnel.
La charge moyenne d''enseignement annuel est comprise entre 60 et 80h par
an, et implique une participation à long terme aux projets
d''enseignement de l'École Polytechnique. La durée d'exercice dans un
poste à temps incomplet est en général limitée à 12 ans, qui se
décomposent en une période probatoire de 2 ans et en deux contrats
de 5 ans.
Les postes d'exercice incomplet résident sont réservés à des personnes
qui feront leur recherche dans un des laboratoires du centre de
recherche de l'Ecole.

Nota : Bien que certains postes ouverts soient d'exercice incomplet, les
candidatures d''exercice complet à ces postes seront également examinées.
L''École Polytechnique sera particulièrement attentive au rôle
d''animation, d''innovation pédagogique, et d''ouverture internationale
que les candidats pourront exercer dans les enseignements de l'École.
Une connaissance des applications et une expérience internationale sont
très vivement recommandées.
Les candidats sur les postes à temps complet sont encouragés à joindre à
leur dossier un programme d''activité ou de recherche à moyen et long
terme, et les noms d''au moins 5 personnalités pour les postes de
professeur et 3 pour les autres postes, que l'École pourrait contacter
pour obtenir des lettres de recommandation.

--
Rabih TARRAF
PHD Student
SMILE team -LIRMM-I2S
UMR 5506 - 161 rue Ada
34392 Montpellier
Cedex 5 France
Tel: 04 67 41 86 63
www.lirmm.fr

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] offre de th�se cifre - LE2I Dijon]]

2009-12-17T09:08:00.001+01:00

Begin forwarded message:

Date: Tue, 1 Dec 2009 16:56:40 +0100
From: "Sylvain Rampacek" <sylvain.rampacek@iut-dijon.u-bourgogne.fr>
To: <asr-forum@cines.fr>
Subject: [asr-forum] offre de thèse cifre - LE2I Dijon

Dans le cadre du projet transversal Checksem, l'équipe Systèmes
d'Informations et Systèmes d'Images du LE2I (Dijon) propose un sujet de
thèse CIFRE pour débuter en Janvier 2010.

Sujet : CHECKSEM – méthodes et outils pour la qualification de graphes
sémantiques

Responsables :
- Christophe Nicolle (cnicolle@u-bourgogne.fr)
- Sylvain Rampacek (sylvain.rampacek@u-bourgogne.fr)

Laboratoire : LE2I (Laboratoire Electronique, Informatique et Image), UMR
CNRS 5158, Université de Bourgogne.

Équipe : Informatique, cellule "Systèmes d'informations et systèmes d'image"
(SISI)

Domaine : informatique, semantic web, model checking

Financement : thèse financée par une bourse CIFRE en partenariat avec une
SS2I Dijonnaise.

Candidature : les candidatures sont à envoyées sur nos adresses mails avant
le 13/12/2009.

Documents à nous fournir pour postuler : CV détaillé, lettre de motivation,
lettres de recommandation
(éventuellement), relevé de notes + classement des 2 années de master, le
tout par mail à Sylvain Rampacek (sylvain.rampacek@u-bourgogne.fr) et
Christophe Nicolle (cnicolle@u-bourgogne.fr).

=====================================================================
Sylvain Rampacek | IUT de Dijon - Université de Bourgogne
Maître de Conférences | Boulevard Docteur Petitjean
LE2I - UMR CNRS 5158 | BP 17867 - 21078 DIJON CEDEX
tel : (+33/0)3-80-39-68-49 | (+33/0)3-80-39-64-52
e-mail : sylvain.rampacek@iut-dijon.u-bourgogne.fr
web : http://iutdijon.u-bourgogne.fr/iq/srampacek/
=====================================================================

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] offre de poste d'ing�nieur expert � l'INRIA Sophia Antipolis - M�diterran�e]]

2009-12-17T09:08:00.000+01:00

Begin forwarded message:

Date: Sun, 13 Dec 2009 16:34:46 +0100
From: David Coudert <David.Coudert@sophia.inria.fr>
To: asr-forum@cines.fr
Subject: [asr-forum] offre de poste d'ingénieur expert à l'INRIA Sophia
Antipolis - Méditerranée

Poste Ingénieur expert à pourvoir

TITRE : Simulation d'algorithmes de routage dans l'Internet
Affiliation : Projet MASCOTTE, INRIA, I3S, CNRS, Univ. Nice Sophia
Lieu : INRIA Sophia Antipolis - Méditerranée
Durée : 12 mois
Contact : David.Coudert@sophia.inria.fr

Candidatures à adresser par mail. Les candidatures seront acceptées
jusqu'à ce que le poste soit pourvu.

------------------------ Description du poste ------------------------

Environnement et contexte
o Equipe projet MASCOTTE (Méthodes Algorithmiques, Simulation et
Combinatoire pour l'OpTimisation des Telécommunications).
o Etude sur le routage compact dynamique dans l'Internet, dans le
cadre d'un contrat avec Alcatel Lucent Bell Labs (Anvers, Belgique)
et le LABRI à Bordeaux.

Mission
o Suivre l'élaboration des algorithmes de routage compact dynamique
conçus par les chercheurs de MASCOTTE et du LABRI
o Enrichir le simulateur existant pour tester les algorithmes sur des
topologies de grands réseaux avec plusieurs modèles de dynamicité
o Faire l'interface avec le travail réalisé au LABRI

Travail à effectuer
o Se familiariser avec les algorithmes de routage compact
o Implémenter et tester de nouveaux algorihmes de routage
o Développer des outils et interfaces pour augmenter les scénarios de
simulations
o Participer aux réunions conjointes avec le LABRI et ALU
o Présenter le travail chez ALU
o Fournir une documentation détaillée en anglais du logiciel de
simulation

Compétences techniques et qualités requises
o Exigé
1. Anglais indispensable
2. Connaissance approfondie du langage Java
3. Bases algorithmique
4. Ecriture de logiciel
5. Aptitude à travailler en équipe
o Souhaité
1. Bonne connaissance du français
2. Connaissances en simulation
3. Connaissance des protocoles réseaux et des problématiques réseau
4. Habitude de travail avec des ateliers logiciels (eclipse)

Dossier de candidature
o Un CV détaillé
o Une lettre de motivation
o Lettres de recommandation éventuelles

--
David Coudert
Centre de Recherche INRIA Sophia Antipolis - Méditerranée
Mascotte, INRIA, I3S, CNRS UMR6070, Univ. Nice Sophia, France
http://www-sop.inria.fr/mascotte/David.Coudert

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] Job opening POSITION IN DISTRIBUTED SYSTEMS]

2009-12-17T08:35:00.000+01:00

JUNIOR FACULTY POSITION IN DISTRIBUTED SYSTEMS

The Networking and Security Department of EURECOM invites applications
for a tenured position at the Assistant Professor level in the area of
distributed systems. Research and teaching of the Networking and
Security Department of EURECOM currently focuses on two directions:
- Communications and systems security
- Protocols and applications for the Internet.

The new faculty is expected to extend the current research domains of
the department by leading a new activity in the area of distributed
systems. Candidates with practical systems experience together with a
proven track record of academic research in one of the following two
areas are particularly encouraged to apply:
- Virtualization
- Distributed storage and data centers.

While targeting practical application scenarios in his/her research,
the new faculty is also expected to carry out fundamental research.

The candidates must have a Ph.D. in computer science or electrical
engineering with a solid background in software engineering, and
distributed computer systems or networking.
Qualified applicants should send a resume including a publication list
indicating the three most important publications, a two--four page
statement of research and teaching activities proposed by the
candidate and the names and addresses of three references by e-mail
under reference MDCRS2009 to recruitment-mdcrs@eurecom.fr. The
screening will start on the 28th of February 2010.

EURECOM
Eurecom (http://www.eurecom.fr) is a graduate school in communication
systems founded in 1992 by EPFL (Swiss Federal Institute of
Technology, Lausanne) and Telecom Paristech (Ecole Nationale
Supérieure des Télécommunications). Eurécom's activity includes
research and graduate-level teaching in networking, security,
multimedia and mobile communications. Eurécom currently counts about
20 professors, 10 post-docs, 60 Ph. D., and 170 M.S. students. Eurécom
is located in Sophia Antipolis, a vibrant science park on the French
Riviera whose cosmopolitan population and unique geographic location
provide a quality of life without equal

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] offre de poste d'ing�nieur expert � l'INRIA Sophia Antipolis - M�diterran�e]

2009-12-14T09:11:00.001+01:00

Poste Ingénieur expert à pourvoir

Candidatures à adresser par mail. Les candidatures seront acceptées
jusqu'à ce que le poste soit pourvu.

------------------------ Description du poste ------------------------

Dossier de candidature
o Un CV détaillé
o Une lettre de motivation
o Lettres de recommandation éventuelles

--
David Coudert
Centre de Recherche INRIA Sophia Antipolis - Méditerranée
Mascotte, INRIA, I3S, CNRS UMR6070, Univ. Nice Sophia, France
http://www-sop.inria.fr/mascotte/David.Coudert

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] Vous achetez votre encre trop cher, nous vous le prouvons

2009-12-13T14:35:00.000+01:00

Conformement a la loi sur la confiance dans l'economie numerique,
si vous ne souhaitez plus recevoir les invitations par email de notre part.
Vous pouvez vous: desabonner.
Vous serez automatiquement et definitivement retire de notre liste de diffusion.

[Blog] Proposition de th�se : R�solution de syst�mes lin�aires sur grilles et clusters de GPU]

2009-12-09T19:30:00.000+01:00

Le laboratoire d'informatique de l'université de Franche-Comté
(http://lifc.univ-fcomte.fr) propose un sujet de thèse pour la rentrée
prochaine à l'IUT de Belfort au sein de l'équipe AND (Algorithmique
Numérique Distribuée), financé par la région. Les candidats intéressés
sont invités à envoyer CV, lettre de motivation et lettres de
recommandation, le plus rapidement possible aux deux encadrants :

Raphaël Couturier : raphael.couturier@univ-fcomte.fr
Jacques Bahi : jacques.bahi@univ-fcomte.fr

Titre : Résolution de systèmes linéaires sur grilles et clusters de
GPU. Performance versus coût énergétique.

Sujet de thèse :

Actuellement, les grilles de calcul se démocratisent étant donné leur
faible coût par rapport à la puissance de calcul dont elles proposent.
C'est pourquoi les laboratoires et les entreprises utilisent de plus
en plus ces ressources afin de modéliser plus finement les phénomènes
qu'ils souhaitent étudier (simulations physiques, biologiques,
chimiques, crash tests) dans de nombreux domaines scientifiques.

Une grande partie des simulations nécessite, à une certaine étape de
leur processus, la résolution de systèmes linéaires. Il existe de
nombreux outils ou solveurs adaptés à la résolution de systèmes
linéaires pour grappes de calcul locales (c'est à dire un ensemble de
machines situées sur le même site géographique avec un réseau de
communication performant). Cependant, la résolution de tels systèmes
sur des grilles de calcul distantes est problématique étant donné les
dépendances de calcul entre les processeurs, la latence des
communications et le coût des synchronisations. Plusieurs études ont
montré que les outils traditionnels pour grappes ne sont pas adaptés à
utilisation sur grilles de calcul distantes.

Nous avons montré qu'une solution pour résoudre des calculs sur
grilles de calcul consiste à utiliser des méthodes itératives
asynchrones. Celles-ci permettent d'accélérer la vitesse des
simulations de phénomènes, linéaires ou non, dans un contexte distant.
En effet, l'hétérogénéité des processeurs, des réseaux, les variations
de débits et de latence sont « masquées » par le caractère asynchrone
du processus.

L'objectif de cette thèse est triple. Il s'agit, d'une part, d'étudier
comment coupler efficacement l'utilisation de solveurs synchrones pour
résoudre localement les sous-systèmes linéaires (obtenus après
décomposition) et de solveurs asynchrones pour résoudre la globalité
du système. Ce couplage n'a jamais été étudié en pratique. Il doit
offrir les avantages des deux concepts. La performance des méthodes
synchrones dans un contexte local et la souplesse des méthodes
asynchrones entre les sites distants. De plus, il offre la possibilité
d'utiliser différents solveurs linéaires (directs ou itératifs) si
ceux-ci ne sont pas homogènes entre plusieurs grappes de calcul. En
effet, il est fréquent de rencontrer une hétérogénéité au niveau
logiciel dans les grilles de calcul.

D'autre part, l'autre objectif de cette thèse est d'étudier comment
construire des solveurs de systèmes linéaires tirant partie des
capacités de calcul des architectures équipées de GPU (Graphics
Processing Units). Ces processeurs spécialisés pour l'affichage 3D
permettent de calculer certains problèmes beaucoup plus rapidement que
les processeurs standards. Néanmoins, il est nécessaire de concevoir
une partie de code spécifique à ces processeurs graphiques. Ainsi un
cluster de GPU comporte trois niveaux de parallélisation. Le premier
est entre les machines. Le second se situe entre les processeurs
traditionnels d'une même machine. Finalement, le dernier se place au
niveau des unités de calcul des GPU. Bien entendu, l'usage des
algorithmes itératifs asynchrones sera spécialement étudié afin
d'éviter autant que possible les problèmes de synchronisations entre
unités de calcul et afin de résoudre dans la mesure du possible
l'hétérogénéité des processeurs.

Finalement, les deux parties précédentes seront liées par un étude de
la consommation énergétique des algorithmes. En effet, il nous semble
opportun de tenir compte de ce critère environnemental. L'objectif
sera de réaliser des algorithmes consommant moins de ressources
énergétiques que les algorithmes actuels.

Compétences souhaitées :
Connaissance en programmation parallèle
Connaissance en algorithmique numérique
Connaissance en développement sur GPU

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] offre de postdoc � l'INSA de Lyon]

2009-12-01T20:26:00.000+01:00

Post-doc, INSA-Lyon, Rhône-Alpes ? 10 mois

TITRE : 'protocoles de niveau 2 pour les 'Body Area Network'
Affiliation : INSA-Lyon Lieu d'affectation : laboratoire CITI, INSA-Lyon
Contact : jean-marie.gorce@insa-lyon.fr
Candidatures à adresser par mail, avant le 20 décembre 2009

----------------------------DESCRIPTION DU
POSTE-----------------------------------
Environnement:
La technologie des BANs (Body Area Network) se réfère à la
problématique de la gestion des communications radio entre des éléments
embarqués sur le corps humain. Les applications sont nombreuses :
médicales (implants cardiaques, sondes, capteurs divers), sportives
(contrôle de pulsation, mesure des mouvements, analyse de vibrations) ou
encore multimédia (oreillettes, lecteurs MP4, ?). On peut imaginer dans
un futur proche, qu'un grand nombre d'éléments communicants pourront
être amenés à cohabiter autour du corps humain.
Le projet ANR BANET, dont le laboratoire CITI de l'INSA de Lyon fait
partie, s'intéresse à la spécification d'une technologie adaptée à
cette problématique en tenant compte des spécificités liées à
l'environnement (propagation, canal) et des spécificités applicatives
(débit, latence, priorisation).
Le CITI en collaboration avec France Télécoms et le CEA LETI, à
Grenoble, contribue à la définition d'une interface air et des couches
protocolaires (couches 1,2,3) dédiée aux BANS, en marge des travaux de
normalisation du groupe 802.15.6 de l'IEEE.

Missions:
Les missions sur ce poste sont les suivantes :
- Spécification d'un protocole dédié (couches 1 et 2, éventuellement
3)
- Validation par simulation (simulateur WSnet)
- Coexistence de BANs : association, interférences et sécurité

Activités:
Le travail se décomposera en quatre parties :
- Conception protocolaire
o Scénarios
o Spécification, modélisation
- Développement logiciel
o Développement de briques logicielles dans le simulateur WSnet
o Scénarios de test
o Validation par simulation
- Gestion de projet
o Documentation
o Relations avec les partenaires, réunions, ?

Compétences et Profil:
Le candidat devra être titulaire d'une thèse en télécommunications ou
en réseaux (couches 1 et 2 principalement).
Compétences demandées :
- Radio : connaissance de base en systèmes radio (modulation, canal radio)
- Réseaux : protocoles de niveau 1, 2 et 3.
- Traitement du signal, communications numériques : Connaissances des
systèmes de transmissions, standards de communications
- Informatique

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] Proposition Stage Logica Management Consulting

2009-11-30T14:50:00.000+01:00

Nader KACHMAR
Consultant Architecte SOA/BPM
Logica Management Consulting
____________________________________________________________

BUSINESS UNIT MANAGEMENT IT CONSULTING AND GOVERNANCE

Port : + 33 (0) 6 89 02 66 81

Please help Logica to respect the environment by not printing this email / Pour contribuer comme Logica au respect de l'environnement, merci de ne pas imprimer ce mail / Bitte drucken Sie diese Nachricht nicht aus und helfen Sie so Logica dabei, die Umwelt zu sch�tzen. / Por favor ajude a Logica a respeitar o ambiente n?o imprimindo este correio electr�nico. This e-mail and any attachment is for authorised use by the intended recipient(s) only. It may contain proprietary material, confidential information and/or be subject to legal privilege. It should not be copied, disclosed to, retained or used by, any other party. If you are not an intended recipient then please promptly delete this e-mail and any attachment and all copies and inform the sender. Thank you.

[Blog] Propositions de stages (Master 2) � Sup�lec

2009-11-30T14:25:00.000+01:00

http://www.rennes.supelec.fr/ren/rd/scee/stages/scee_stages.html

Propositions de stages (Master 2) et Th�ses

Stages 2009/2010

Etude conjointe lin�arisation ? r�duction du PAPR

Classification des m�thodes de lin�arisation / r�duction du PAPR

Gestion de la prise de d�cision dans une approche Xlayer pour la Radio Intelligente

Apprentissage et prise de d�cision de type UCB pour la radio intelligente et la radio verte

Mod�lisation des syst�mes reconfigurables ; Application � la Software Radio

Random Matrix Theory for Spectrum Sensing

Ces stages se d�rouleront dans les locaux du Campus de Rennes de Sup�lec.

--------------------------
Mohamad Mrou�

Ph.D. in Electronics

Research Engineer

Sup�lec Equipe SCEE
Campus de Rennes
Tel : 00 33 6 58 17 68 96
00 33 2 99 63 34 02
--------------------------

Windows Live: Make it easier for your friends to see what you're up to on Facebook.

[Blog] Offre d'emplois: Un(e) commercial(e) d�veloppement � Weem

2009-11-30T11:33:00.000+01:00

Bonjour,

Weem �dite un service d'�change entre collaborateurs qui cr�e du lien social. Au sein du p�le commercial, vous �tes responsable de prospecter les comit�s d'entreprises, d'effectuer des d�monstrations de notre service (sur site ou � distance) et de contractualiser les ventes.

De formation Bac+3 minimum, avec deux ou trois ans d'exp�rience dans la vente au t�l�phone ou l'assistanat commercial, dans un cadre B2B, votre �tat d'esprit vous tourne vers la conqu�te. Une exp�rience sur le march� des comit�s d'entreprises est un plus.

Vous travaillez sur le secteur Bretagne-Pays de la Loire sur lequel vous pr�sentez notre offre aux comit�s d'entreprises et aux collectivit�s locales.

Vous �tes autonome, rigoureux et vous souhaitez relever le challenge d'une structure en d�marrage.

Poste bas� � Rennes, salaire entre 20 et 35 K? annuels, fortes possibilit�s d'�volution, cadre agr�able.

Rejoignez nous en envoyant CV + lettre de motivation par mail � recrutement@weem.com

Ref WEEMCD112009

Source:�http://www.weem.com/site/weem-jobs

--
Wael Nasreddine

Weem Chief-Development Officer - http://www.weem.com

Blog � �: http://wael.nasreddine.com
E-mail �: wael.nasreddine@weem.com
gTalk � : wael.nasreddine@gmail.com
Tel � � : +33.6.32.94.70.13
Skype � : eMxyzptlk
Twitter : @eMxyzptlk

PGP: 1024D/C8DD18A2 06F6 1622 4BC8 4CEB D724 �DE12 5565 3945 C8DD 18A2

.: An infinite number of monkeys typing into GNU emacs,
� would never make a good program. (L. Torvalds 1995) :.

[Blog] Postdoc at LAAS-CNRS (Toulouse) on Evaluation of Mobile Systems]

2009-11-24T19:17:00.001+01:00

Additionally to this postdoc announcement, please note that there will be a "social networks, mobility" tenured position for a junior researcher to be recruited in 2010 at CNRS (ref. 42/04). cf. http://www.cnrs.fr/en/join/Tenured-researchers.htm

-----------
Many users travel daily with computing devices possessing both communication and geographical positioning peripherals, e.g., portable WiFi telephones equipped with GPS. These devices, connected together, potentially constitute a large distributed system with a very dynamic topology. Information about mobility, such as the positioning of nodes and their movement, is an essential characteristic of any realistic approach for ubiquitous systems.

The ARUM project aims to place the mobility concept at the center of distributed algorithms for resilient ubiquitous systems via the exploration of the relationship between the computational and physical aspects of failure-prone mobile systems. Both practical and theoretical aspects are to be considered, based on the collection and exploitation of mobility and failure data captured on mobile phones. The analysis of the collected data should enable the definition of realistic mobility and failure models. These models will be used for the validation of mobile services: (a) by experimentation on a platform composed of real mobile nodes (cf. http://theresumeexperience.blogspot.com/) and (b) by simulation.

From a practical viewpoint, the data collection campaign will be started early 2010 and will be based on portable telephones equipped with GPS (Nokia 5800 smart-phones). A prototype application was developed and the actual deployed software is to be finalized. The post-doc will thus: 1) maintain and evolve this software, 2) deploy and manage the experiments, 3) collect and sanitize the collected data, 4) analyze the data and develop appropriate models.

The gross salary will be 30k? per year (2040 ? per month after tax), the position is available for up to 2 years.

Send your application letter, including CV, thesis reports, publications list and names of referents, by email to marco.killijian@laas.fr

Do not hesitate to contact marco.killijian@laas.fr for more information.

----------

http://homepages.laas.fr/mkilliji/
http://theresumeexperience.blogspot.com/

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] Postdoc/Research Fellow in Computer Security Foundations]

2009-11-23T11:39:00.000+01:00

Apologies for multiple postings.

%----------------------------------------------------------------------
Postdoc/Research Fellow in Computer Security Foundations
Faculty of Engineering
School of Computer Science and Engineering
University of New South Wales
Sydney, Australia
REF. 6819NET

FIXED TERM Level A or B - The salary range for Level A is A$54,937-
A$73,250 per year and the salary range for Level B: A$76,921- A$90,680
per year (plus up to 17% employer superannuation, plus leave loading).

The School is one of the largest computing schools in Australia. It
offers undergraduate programs in Software Engineering, Computer
Engineering, Computer Science and Bioinformatics, as well as a number
of combined degrees with other disciplines. It attracts excellent
students who have an outstanding record in international
competitions. At the postgraduate level there is a large PhD research
program and course work programs at the Master's and Graduate Diploma
level in Computing and Information Technology and at Graduate
Certificate level in Computing.

The position is associated to an Australian Research Council Discovery
Grant funded project "A Formal Foundation for Security Architecture".
The research will involve the development of the mathematical
foundations for the theory of information flow security and security
architecture, encompassing considerations of knowledge, probability,
time and strategic behaviour.

The position is fixed term within a three-year grant.

Applicants should systematically address the selection criteria in
their application, available at
http://www.hr.unsw.edu.au/services/recruitment/jobs/06110902.html

Enquiries may be directed to Professor Ron van der Meyden on telephone
(61 2) 8306 0480, email: meyden@cse.unsw.edu.au
Visit the webpage: http://www.cse.unsw.edu.au/~meyden

Applications close : 06 December 2009

%----------------------------------------------------------------------

Franck Cassez

National ICT Australia & CNRS
Locked Bag 6016
The University of New South Wales
Sydney NSW 1466, Australia
Tel: +61 2 8306 0561 | Fax: +61 2 8306 0404

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] [Fwd: [asr-forum] Offre de th�se CIFRE : Compilation d'unit�s phono-lexicales du langage parl�]

2009-11-20T21:27:00.000+01:00

Proposition de Thèse CIFRE en informatique : Compilation d'unités

phono-lexicales du langage parlé.

Cette thèse s'inscrit dans le cadre d'un projet de réalisation d'un
système logiciel permettant, notamment, l'apprentissage de l'écriture à
partir de l'expression orale, la correction automatique d'erreurs
orthographiques et grammaticales, et l'indexation sémantique de textes.
Ce projet allie des chercheurs en phonétique, en linguistique (syntaxe
et sémantique intrinsèque) et en informatique (compilation et
optimisation de codes).

L'approche adoptée consiste à considérer que l'écriture implique la
primauté de la substance phonique (les sons, les syllabes) et que de ce
fait, il faut concevoir un modèle unitaire d'emblée établi sur le
couplage entre le système phonologique, caractérisé par la variabilité
des sons, et le système grammatical, caractérisé par la stabilité des
unités graphiques. On fait donc l'hypothèse méthodologique que ce
couplage est représentable dans la partie frontale d'un compilateur via
les procédures de gestion de la table des symboles et de gestion des
erreurs liées aux niveaux de l'analyse phono-lexicale, de l'analyse
syntaxique et de l'analyse sémantique.

Au niveau phonique, la définition des unités lexicales implique de
traiter simultanément l'intonation, l'accentuation, les syllabes et les
phonèmes, pour segmenter la chaîne en mots phonologiques, représentables
par des symboles. Le passage à l'écrit exige ainsi une méthode de
construction récursive des unités à différents niveaux d'analyse par la
formulation de règles d'inférences qui font correspondre les unités de
niveau phonologique et les unités de niveau grammatical : la définition
des unités au niveau phonologique est simultanément élaborée et couplée
avec celle des unités grammaticales constituant l'énoncé selon une
méthode descendante. D'où l'hypothèse de la hiérarchie des unités : une
unité grammaticale est une structure relationnelle construite
d'attributs atomiques définis par la hiérarchie d'une grammaire formelle.

Chaque unité lexicale peut jouer plusieurs rôles différents, selon le
contexte de son apparition, contrairement aux unités lexicales des
langages de programmation. Le type qui lui est associé est donc
multiple. Par exemple « sort » peu jouer le rôle de verbe ou de nom
commun, selon sa place
dans la phrase analysée. Cette place ne peut être identifiée qu'à
l'étape d'analyse syntaxique, par confrontation avec les règles de
production de la grammaire.

Le processus de compilation doit ensuite servir à extraire l'information
de la sémantique du texte analysé, celle-ci devant être exprimée par une
syntaxe « élémentaire » d'arbres de syntaxe abstraite étiquetés par des
attributs.

Le modèle d'analyse descendante de la phrase, qui permet en effet de
contrôler la génération et l'analyse de phrases de complexité
croissante, servira de modèle à la constitution d'une base de données
relationnelle constituée de tables reliées aux attributs des unités de
sens. Les champs des tables représenteront les opérations sur les unités
(substitution, déplacement, ajout, réduction).

Ce travail de thèse s'effectuera en collaboration avec l'Université de
Strasbourg et l'entreprise Digora à Strasbourg, partenaire Oracle. Côté
université, l'étudiant sera encadré par Rudolph Sock (phonéticien),
Gérard Reb (linguiste) et Philippe Clauss (informaticien). L'étudiant
alternera des périodes de travail en laboratoire (laboratoire LSIIT -
Strasbourg) et en entreprise. Le travail de thèse pourra débuter dès
l'accomplissement de la procédure administrative d'établissement de la
convention CIFRE pour une durée de 3 ans. Le salaire minimum est de 23
484 ? annuel brut.

Prendre contact avec Philippe Clauss (clauss@unistra.fr)

Liens :
Laboratoire LSIIT : http://www-lsiit.u-strasbg.fr
Digora : http://www.digora.com
Université de Strasbourg : http://www.unistra.fr
Dispositif CIFRE : http://www.anrt.asso.fr/fr/espace_cifre/accueil.jsp

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] Bourse de th�se dans le cadre d'un projet ANR]

2009-11-19T09:24:00.000+01:00

Bonjour,

Veuillez trouver ci-joint une offre de thèse à pourvoir rapidement.
Merci de diffuser l'information.

Contact :
Ouassila Labbani : ouassila.labbani@u-bourgogne.fr

---Description du sujet ---

*Extending the MARTE profile with dynamically reconfiguration concepts *

This specification of a UML profile adds capabilities to UML for model-driven
development of Real Time and Embedded Systems (RTES). This extension, called
the UML profile for MARTE (in short MARTE), provides support for specification,
design, and verification/validation stages. This new profile is intended to
replace the existing UML Profiles for embedded systems design. MARTE consists
in defining foundations for model-based description of real time and embedded
systems. These core concepts are then refined for both modeling and analyzing
concerns. Modeling parts provides support required from specification to
detailed design of real-time and embedded characteristics of systems. MARTE is
today adopted by all major companies and research laboratories in systems
design. In its current version, unfortunately, we still miss in MARTE dynamic
reconfiguration concepts. Even these later are necessary to model and implement
rapid prototypes for complex systems. The objective of this thesis in to define
all necessary concepts for dynamic reconfiguration issues, and integrate them
to MARTE to obtain an extended and complete profile, which can be called
Reconfigurable MARTE (RecoMARTE). Another objective is to produce the necessary
transformation rules allowing automatic model to model transformations from
RecoMARTE to VHDL metamodel. This thesis aims also to extend the MARTE profile
by adding a set of constraints at model level by using UML modeling concepts
such as OCL language. These constraints must take reconfigurable and dynamic
aspects into account, and will be used for verification process to insure that
the resulting system models are correct and complete. The proposed constraints
can also be used to demonstrate the feasibility of the system and to define or
to limit the studied application domain.

Knowledge: Good knowledge in the following fields will be appreciated

- Software engineering

- Embedded systems architectures

- Configurable architectures

- UML VHDL modeling

Interesting Links:

MARTE profile : http://www.omgmarte.org/

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] [Fwd: [asr-forum] Offre de stages]

2009-11-17T13:48:00.000+01:00

-------- Message original --------

Sujet�:	[asr-forum] Offre de stages
Date�:	Mon, 16 Nov 2009 21:03:55 +0100
De�:	Moez Esseghir <moez.esseghir@utt.fr>
Pour�:	<asr-forum@cines.fr>

L’�quipe Environnements de R�seaux Autonomes de l’Universit� de Technologies de Troyes propose des stages pour des �tudiants en fin de cursus ing�nieur ou master.

L’offre est consultable � l’adresse suivante�: http://era.utt.fr/fr/_modules/news/news/131.html.

Cordialement,

Moez Esseghir ��

�

------------------------------------------------------------

Universit� de Technologies de Troyes

12 Rue Marie Curie 10010 Troyes Cedex

Tel: +33 3 25 75 97 14; Fax: +33 3 35 73 56 99

�

[Blog] FW: Ind�pendant : C/C++ / UML - sp�cification / validation

2009-11-16T15:44:00.000+01:00

Subject: Ind�pendant : C/C++ / UML - sp�cification / validation
To: mkmroue@hotmail.com
Date: Mon, 16 Nov 2009 14:41:07 +0000
From: r.ferry@computerfutures.fr

Mrou�,

Actualisation de recherche :

Recherche d'un sp�cifieur et valideur logiciel de syst�me embarqu� :

R�le
La personne pourra intervenir sur tous les logiciels embarqu�s du produit sp�cifique de notre soci�t�. Elle devra pouvoir prendre en charge la conception � l'aide d'UML ou la r�daction d'un plan de v�rification. Elle doit avoir suffisamment d'exp�rience pour avoir un ?il critique vis-�-vis d'une sp�cification UML.

Exp�riences requises
7 ans d'exp�rience dans les petits logiciels embarqu�s critiques dans le domaine de l'avionique.

Comp�tences techniques indispensables :
Des comp�tences en d�veloppement C/C++ embarqu� dans le domaine des logiciels couche basse (proche de l'�lectronique) avec une application de DO178B (a�ronautique) ou 61508 (s�curit� des machines) ou 50126/50128/50129.

Comp�tences techniques requises :
Les comp�tences ci-dessous sont class�es du plus prioritaire au moins prioritaire:
1. Sp�cification et conception Objet selon UML (Rhapsody).
2. Gestion de configuration avec CM Synergy.
3. Tra�abilit� des exigences avec DOORS.
4. DSP Texas 320FC28XX

Dur�e de la mission
6 mois, d�s Novembre 2009

Lieu de la mission
Ile de France

R�mun�ration : A d�terminer en fonction de l'exp�rience

Si vous avez les comp�tences n�cessaires, merci de me contacter tr�s rapidement afin que je vous organise un entretien avec mon client.
Si vous connaissez des personnes susceptibles d'avoir les comp�tences pour ce poste, n'h�sitez pas � leur transmettre cette offre.

Cordialement,

Raphael Ferry

Computer Futures
1st Floor
40 Rue De La Boetie
75008 Paris
France

Phone 0033 (0)1 42 99 83 33
email r.ferry@computerfutures.fr

Update Your CV

To apply for this job Click Here

www.computerfutures.fr

Use Discovery, our sophisticated search facility, to access one of the
most comprehensive databases of contractors in Europe.
http://www.computerfutures.com/index.php?dir=olr&sec=employers

http://www.computerfutures.com

This electronic transmission is strictly confidential and intended solely
for the addressee. If you are not the intended addressee, or have
otherwise received this transmission in error, you must not disclose,
copy or take any action in reliance of this transmission. If you have
received this transmission in error, please notify the sender as soon as possible.
If you do not wish to receive emails from us about our services in
future, or wish to qualify the way in which we hold your personal data,
please send an email with your requirements to
data-audit@computerfutures.com. You can find our privacy statement
at:
http://www.computerfutures.com/privacy-statement.html

Windows Live: Make it easier for your friends to see what you're up to on Facebook.

[Blog] [Fwd: [asr-forum] PhD positions at the Heterogeneous Computing Laboratory (HCL)]

2009-11-16T12:11:00.001+01:00

---

PhD positions at the Heterogeneous Computing Laboratory (HCL)

Date Expires: 2009-12-31
Position type: Postgraduate Ph.D. Student
Salary: Standard tax-free stipend + PhD fees (EU rates) for four years

Dr. Alexey Lastovetsky is currently recruiting to fill a number of
fully-funded PhD positions in the UCD HCL as part of a Science
Foundation Ireland funded 5-year project on high performance
heterogeneous computing. The objectives of this project are to design
and implement algorithms and programming tools for high performance
computing on modern heterogeneous and hierarchical platforms such as
heterogeneous computational clusters, clusters of multicores,
heterogeneous computing nodes, global networks of computers.

Applicants should have Master or at least Bachelor degree (achieving no
less than 2.1) in Computer Science or related areas (Computational
Science, High Performance Computing, Engineering, etc.). Strong
mathematical and Unix programming (C language) skills are required.
Preference will be given to applicants with experience in high
performance parallel and distributed computing and good multithreaded
and MPI programming skills.

Applicants should email a cover letter addressing the required
qualifications, a detailed CV, a letter of recommendation from a senior
academic, a copy of your MSc thesis (if any), and copies of your
publications (if any) representative for the required skills to Alexey
Lastovetsky at Alexey.Lastovetsky@ucd.ie. For informal information about
the positions, please contact Dr. Lastovetsky.
---

-------------------------------------------------------------
Frederic Desprez INRIA senior researcher
GRAAL research team LIP ENS Lyon, France
UMR CNRS, ENS Lyon, INRIA, UCBL 5668
Tel: +33 (0)4 3728 7646 Fax: +33 (0)4 3728 7607
http://graal.ens-lyon.fr/~desprez/
-------------------------------------------------------------
Dieu reste muet, si seulement nous pouvions convaincre
l'être humain d'en faire autant. (W. Allen)

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] sujet de th�se : Maintaining consistency in large-scale opportunistic networks]

2009-11-12T20:27:00.001+01:00

Suite à un désistement de dernière minute, un financement ANR est

disponible pour une thèse. Cf sujet ci-dessous. Si vous connaissez
un bon candidat, SVP faites-le moi savoir très vite. Merci.

Marc

-------

Maintaining consistency in large-scale opportunistic
networks

Marc Shapiro, Sébastien Monnet
Équipe Regal, INRIA & LIP6

Background

In a distributed system, information sharing is achieved by replicating
the data on all the terminals where it is used. This enables a user to
access it without any network latency, and even while disconnected from
the infrastructure. However, when updating data, the writer must
propagate the update to all replicas (opportunistically, when they are
reachable). Replicas diverge, and concurrent updates may conflict, i.e.,
violate an application invariant.

The general solution to consistency, used for instance in database
clusters, is for the system to impose a total order of operations, and
to execute all operations in the same order on all sites. As the system
scales up, serialization becomes a bottleneck, and full replication
increases the load on all processors.

This approach obviously won't work well in large-scale,
intermittently-connected networks, e.g., opportunistic social networks.
This suggests using an optimistic replication} approach [3]. Regal
previously implemented an experimental optimistic platform called Telex
[1]. Each terminal executes independently using its replicated local
state. Via epidemic communication, sites exchange their actions},
augmented with concurrency and conflict constraints}. The system ensures
eventual commitment}, i.e., all sites converge to a state that satisfies
application invariants, according to proposals} that the different sites
exchange with one another. The application invariants, which Telex will
guarantee, may be completely arbitrary.

Objectives

The current Telex architecture has two limitations. (1) Commitment is a
consensus protocol, and requires good communication between sites,
whereas a opportunistic network is fluctuating and uncontrolled. (2)
Telex is monolithic and requires too much computing resource for small
mobile terminals.

Therefore, we will study the extension of Telex to a two-tier structure,
a small stable core}, and a variable-size nebula} of terminals
that communicate with each other and with the core opportunistically.
Nebula terminals run simplified versions of the application; updates
propagate opportunistically within the nebula, and to the core.
The commitment protocol runs only on the core.

Commitment remains a bottleneck: can we get rid of it? Unfortunately
commitment is required if some concurrent operations do not commute.
Therefore, we propose a complementary approach: to study data structures
whose concurrent operations always commute, which we call Commutative
Replicated Data Type (CRDT) [2]. This approach, combined with
causal-order opportunistic communication, ensures that replicas
converge, without any need for concurrency control or for commitment.

Further information

Applicants shall be interested in distributed and{\slash}or peer-to-peer
systems, and in mobile, opportunistic, or social networking
applications; have a good knowledge of distributed algorithms, and good
programming skills; and be comfortable with running large-scale
experiments.

The thesis advisers will be Marc Shapiro <http://lip6.fr/Marc.Shapiro/>
and Sébastien Monnet <http://lip6.fr/Sebastien.Monnet/>.

Please include the following information (in French or English) with
your application:

* A resume or Curriculum Vitae.
* The list of courses followed in your last year of study and the
corresponding marks.
* Name and electronic address of two references (we will contact them
ourselves).
* A short essay on the proposed topic. It is free form, but here are
some suggestions. Using the bibliography and your technical
knowledge, motivate your interest in the topic and your
qualifications for it; discuss scientific and practical issues,
problems and difficulties, possible solutions, relate the issues
with
your own experience, etc.
* Any article, report or thesis (in English or French), and any code
you wrote in the past year.

The research will take place in the Regal group (INRIA & LIP6) in Paris,
France.

References

[1] Lamia Benmouffok, Jean-Michel Busca, Joan Manuel Marquès, Marc
Shapiro, Pierre Sutra, and Georgios Tsoukalas. Telex: A semantic plat-
form for cooperative application development. In Conf. Française sur les
Systèmes d'Exploitation (CFSE), Toulouse, France, September 2009.

[2] Mihai Letia, Nuno Preguiça, and Marc Shapiro. CRDTs: Consistency
with- out concurrency control. In SOSP W. on Large Scale Distributed
Systems and Midd leware (LADIS), Big Sky, MT, USA, October 2009. ACM SIG
on Operating Systems (SIGOPS).

[3] Yasushi Saito and Marc Shapiro. Optimistic replication. Computing
Surveys, 37(1):42--81, March 2005.

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog

[Blog] Fw: [Fwd: Professor positions at UCL]

2009-11-08T12:07:00.000+01:00

>
> Dear colleagues,
>
> I am pleased to inform you that UCL opens two positions of professors in
> the field of electricity.
>
> If you know potential candidates, could you please transfer them the
> following informations :
>
> - Electronic circuits and mixed analog-digital systems :
> http://www.uclouvain.be/en-287773.html
>
> - Energy and power electronics : http://www.uclouvain.be/en-287772.html
>
> The deadline for file submission is January 15th 2010 and all
> application's requirements are detailed on
> http://www.uclouvain.be/en-38120.html.
>
> Best regards
>
> Denis Flandre
>
>
>
>
_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog