Une approche dirigée par les modèles pour la génération de tests pour des systèmes de traitement de données complexes et réparties.

Dimension: px
Commencer à balayer dès la page:

Download "Une approche dirigée par les modèles pour la génération de tests pour des systèmes de traitement de données complexes et réparties."

Transcription

1 LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2013 Une approche dirigée par les modèles pour la génération de tests pour des systèmes de traitement de données complexes et réparties. Directeur de thèse NOM, Prénom : ATTIOGBE, Christian Équipe d accueil : AeLoS Unité de recherche : LINA (UMR 6241) Unité de rattachement : Univ. Nantes Courriel : christian.attiogbe (at) univ-nantes.fr Taux d encadrement : 40 % Nombre de thèses en cours : 2 Co-encadrant NOM, Prénom : MOTTU, Jean-Marie Équipe d accueil : AeLoS Courriel : jean-marie.mottu (at) univ-nantes.fr Téléphone : (+33/0) Taux d encadrement : 30 % Nombre de thèses en cours : 1 Co-encadrant NOM, Prénom : SUNYE, Gerson Équipe d accueil : AtlanMod Courriel : gerson.sunye (at) univ-nantes.fr Taux d encadrement : 30 % Nombre de thèses en cours : 2 Financement prévu : MESR

2 Sujet de thèse pour 2013 Une approche dirigée par les modèles pour la génération de tests pour des systèmes de traitement de données complexes et réparties. Résumé. Au cours de la dernière décennie, les systèmes répartis à large échelle ont connu une popularité importante en raison de leurs caractéristiques particulières, comme le passage à l échelle et la tolérance aux fautes. Certains systèmes orientés données (BigData), comme les systèmes Pair-à-Pairs et MapReduce, ont atteint des millions d utilisateurs et des pétaoctets de données traitées : Hadoop, Skype, Bittorrent, Gnutella etc. Le test de validité, robustesse et fiabilité des systèmes répartis à large échelle est une activité difficile. L état de l art montre que les techniques de test existantes souffrent de la gestion des aspects tels que : l échelle du système, le dynamisme des noeuds et la quantité importante de données. En général, ces techniques de tests reposent sur des tests unitaires exécutés par un pilote de test qui cache les aspects répartis et ne conviennent pas à la détection d erreurs qui se manifestent à large échelle. L objectif de cette thèse est d appliquer des techniques d ingénierie des modèles pour générer et stocker des cas de test distribués, adaptés aux systèmes de traitement orientés données à grande échelle. Mots clés. Systèmes BigData, Ingénierie dirigée par les modèles, Test logiciel. Ph. D. Proposal for 2013 A Model-Based Approach for Generating Test Cases for BigData Systems Abstract. Over the last decade, large-scale systems drew much attention due to scalability and resiliency features. Many popular large-scale data-oriented systems (i.e., BigData), including, Peer-to-peer (P2P) and MapReduce, reached millions of users and processed petabytes of data, such as: Hadoop, Skype, Bittorrent, and Gnutella. Testing robustness and reliability of cloud computing services is a hard activity, the state of the art shows that the existing testing techniques suffer to handle aspects, such as: the scale of the cloud, the dynamism of the nodes, and the amount of data and load. In general, these testing techniques rely on a combination of unit tests with some "mocking" approach that may hide the cloud aspects and may not be suited for large-scale testing. The goal of this thesis is to apply model-based engineering techniques for generating and storing distributed test cases that are adapted for large-scale data-oriented systems. Keywords. BigData Systems, Model-Based Engineering, Software Testing. 2

3 Introduction Contexte et problématique Les systèmes Big Data [1,2] qui traitent des quantités massives de données en les transformant ou en les faisant circuler sur des réseaux ont besoin de contrôler la correction de ces données. Elles risquent d avoir subi des modifications qu il faut prévenir si les systèmes les recevant ne peuvent plus s en servir (changement de structure, de sémantique, perte ou ajout d information, etc.). Cette tâche est rendue difficile quand les données sont complexes tant par leur taille que par leur structure et que leur stockage et/ou traitement sont réparties (Cloud, SAAS). De surcroît, ces systèmes évoluent rapidement pour être adaptés aux évolutions des réseaux, des plates-formes de déploiement (systèmes d exploitation, mobiles ou non), etc. Avec de tels systèmes, on ne dispose pas forcément de données pouvant être entièrement contrôlées ou de connaissances complètes de la correction attendue d une donnée. Or il est important de pouvoir faire le contrôle le plus tôt possible pour éviter, par exemple, la propagation sur le réseau de données erronées. De plus, on veut contrôler la correction des données même quand l information sur les données et/ou traitements est partielle. Le contrôle peut aussi être fait dès que possible pour localiser rapidement de possibles défaillances des systèmes (noeuds mal configurés, migration de plate-forme non compatibles, etc.). Plusieurs approches de contrôle de la correction sont possibles dont le test que nous étudions dans cette thèse. Problèmes et opportunités La génération de cas de test pour des systèmes de traitement massif de données pose plusieurs problèmes qui devront être considérés dans cette thèse : 1. La génération efficace de données de test pour ces systèmes doit les mettre à l épreuve à large échelle. 2. Le stockage des données de test complexes doit être réparti pour simuler les conditions d exploitation réelles des systèmes considérés. 3. L analyse des données complexes obtenues après traitement doit assurer leur correction. Cette analyse doit être possible : (a) à grande échelle (Big Data) ; (b) si les traitements réalisées ou les données elles-mêmes sont partiellement connues ; et (c) quand les contrôles doivent être réparties (Distributed). Nous proposons d aborder la problématique de cette thèse en exploitant l Ingénierie Dirigée par les Modèles afin de : 3

4 modéliser les données pour en isoler les parties dont on veut/peut contrôler la correction (non impactées par des évolutions, parties de donnée ayant transitées, traitement partiel sur des données) ; modéliser les fautes potentielles pour générer des données mettant spécifiquement à l épreuve des défauts. Cette partie exploite l analyse de mutation qui n est pas encore étudiée dans ce contexte [15] ; contrôler (correction de données / oracle de test) des propriétés sur des modèles de données. Bien que plusieurs architectures de test de systèmes Big Data aient été proposées [3-11], aucune de ces propositions ne résout la génération de cas de test d une part. D autre part, il existe des approches pour la génération de cas de test exploitant la modélisation [12], mais elles ne permettent pas de produire des cas de test utilisant des données complexes et réparties. Travail demandé Objectifs Les objectifs de cette thèse sont : 1. Étudier les techniques existantes de génération de données de test et de modélisation de fautes [13]. 2. Proposer un méthode de génération de données de test adaptés aux systèmes de traitement massif de données réparties à grande échelle, à partir de modèles. 3. Adapter aux caractéristiques des systèmes considérés les approches de comparaison (totale ou partielle) de données [14]. Dans cette thèse, nous nous intéressons aux deux usages principaux de systèmes Big Data : (i) les services de traitement de transactions, qui sont généralement traitées audessus d un système de gestion de données (SGBD), et (ii) les services de traitement de données qui se basent sur des systèmes répartis, comme : MapReduce ou pair-à-pair (P2P). Nous utiliserons des techniques et des outils d ingénierie dirigée par les modèles proposés par l équipe AtlanMod pour modéliser les fautes et pour implémenter les algorithmes de génération et de comparaison de données de test. Plan de travail prévisionnel de l étude 1. Étude des techniques de génération de données de test. Analyse et évaluation de leur applicabilité aux données complexes. 2. Étude des techniques de comparaison de données pour l implémentation d oracles de test et analyse de leurs limitations quand elles sont appliquées aux données complexes. 4

5 3. Étude des techniques de modélisation de fautes. 4. Proposition et implémentation d algorithmes de génération de données complexes, à grande échelle. 5. Évaluation des algorithmes. Candidats Compétences Le candidat doit avoir des compétences en Génie Logiciel et en particulier dans le domaine de la Vérification & Validation et de l Ingénierie Dirigée par les Modèles. Déclarations de candidature et résultats universitaires connus Un étudiant du parcours GL du M2 Alma de Nantes, Thomas Degueule, s est montré intéressé par ce sujet. Il effectue son stage de M2 Alma dans nos équipes sur la première partie du sujet. En M1, il s est classé 4ème sur sa promotion de 40 étudiants. Il a déjà eu une première expérience de la recherche en mettant en oeuvre des expérimentations de travaux de thèse comme ingénieur d étude au L3I (Université de La Rochelle). 1. Stonebraker, M. et al. (2007). The End of an Architectural Era (It s Time for a Complete Rewrite). Proceedings of the 33rd International Conference on Very Large Data Bases (VLDB), Jeffrey Dean and Sanjay Ghemawat (2004). MapReduce : Simplified Data Processing on Large Clusters. 6th Symposium on OS Design and Implementation (OSDI) Gunawi, H. S. et al. (2011). Failure as a Service (FaaS) : A Cloud Service for Large- Scale, Online Failure Drills. EECS Department, University of California, Berkeley. 4. Yuetang Deng ; Phyllis G. Frankl ; David Chays (2005). Testing database transactions with AGENDA. 27th International Conference on Software Engineering (ICSE), Brad Long and Paul A. Strooper (2001). A Case Study in Testing Distributed Systems. 3rd International Symposium on Distributed Objects and Applications (DOA), Ion Stoica ; Robert Morris ; David R. Karger ; M. Frans Kaashoek ; Hari Balakrishnan (2001). Chord : A scalable peer-to-peer lookup service for internet applications. ACM SIGCOMM Kristen R. Walcott and Mary Lou Soffa and Gregory M. Kapfhammer and Robert S. Roos. TimeAware test suite prioritization. ISSTA

6 8. Andreas Ulrich and Hartmut Konig. Architectures for Testing Distributed Systems. IFIP TC ? Thomas Walter and Ina Schieferdecker and Jens Grabowski. Test Architectures for Distributed Systems : State of the Art and Beyond. IWTCS ? Eduardo Cunha de Almeida ; Gerson Sunyé ; Yves Le Traon ; Patrick Valduriez (2010). Testing peer-to-peer systems. Empirical Software Engineering Eduardo Cunha de Almeida ; João E. Marynowski ; Gerson Sunyé ; Patrick Valduriez (2010). PeerUnit : a framework for testing peer-to-peer systems. 25th IEEE/ACM International Conference on Automated Software Engineering (ASE) Jean-Marie Mottu, Sagar Sen, Massimo Tisi, Jordi Cabot. Static Analysis of Model Transformations for Effective Test Generation, In proceedings of IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, USA, Vincent Aranega, Jean-Marie Mottu, Anne Etien, Jean-Luc Dekeyser. Traceability for Mutation Analysis in Model Transformation, LNCS : Models in Software Engineering, Workshops and Symposia at MODELS 2010, Volume 6627/2011, pp , M. Stephan and J.R. Cordy, "A Survey of Model Comparison Approaches and Applications", Proc. Modelsward 2013, 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 10 pp., February G. Fraser, A. Zeller. Mutation-Driven Generation of Unit Tests and Oracles. In IEEE Transactions on Software Engineering, pages 278? 292, 38(2),

7 CV du directeur de thèse Christian Attiogbe Titres Docteur en Informatique de l Université Paul Sabatier, Toulouse III, 1992 Maître de conférences, Université de Nantes, Habilitation à diriger des recherches, Septembre 2007 Professeur des Universités, Septembre 2008 Thème de Recherche Correction prouvée des logiciels Langages, modèles et sémantiques Méthodes et spécifications formelles des systèmes hétérogènes Systèmes interactifs Ateliers de développement logiciel Activités Responsable de l équipe Architectures et Logiciels Sûrs (AeLoS) Lina UMR 6241 Chef du département Informatique IUT 7

8 CV du co-encadrant Jean-Marie Mottu Titres Docteur en Informatique de l Université de Rennes 1, Rennes, 2008 Maître de conférences, Université de Nantes, 2009 Thème de Recherche Vérification et Validation des logiciels Test Logiciel Ingénierie Dirigée par les Modèles Ateliers de développement logiciel Activités de recherche De 2005 à 2008, doctorant dans l équipe INRIA Triskell, Rennes De 2008 à 2009, post-doctorant dans l équipe INRIA Dart, Lille Depuis 2009, chercheur dans l équipe AeLoS, Nantes Depuis 2011, membre du conseil du laboratoire du LINA (UMR CNRS 6241) 8

9 CV du co-encadrant Gerson Sunye Titres Docteur en Informatique de l Université Pierre et Marie Curie, Paris, 1999 Maître de conférences, Université de Nantes, 2002 Thème de Recherche Vérification et Validation des logiciels Test Logiciel Systèmes répartis, pair-à-pair Activités de recherche De sept à avril 2004 : Chercheur dans l équipe Lina MOC, Nantes. De oct à août 2010 : Chercheur dans l équipe INRIA Atlas, Nantes. De sept à août 2012 : Chercheur dans l équipe INRIA Triskell, Rennes. Depuis janvier 2013 : Chercheur dans l équipe INRIA AtlanMod, Nantes. 9

Programmation paresseuse et causale des architectures orientées services

Programmation paresseuse et causale des architectures orientées services LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2016 Programmation paresseuse

Plus en détail

Organiser vos données - Big Data. Patrick Millart Senior Sales Consultant

Organiser vos données - Big Data. Patrick Millart Senior Sales Consultant Organiser vos données - Big Data Patrick Millart Senior Sales Consultant The following is intended to outline our general product direction. It is intended for information purposes only, and may not be

Plus en détail

Sujet de stage de Master 2 Informatique

Sujet de stage de Master 2 Informatique UNIVERSITE PARIS 13, Sorbonne Paris Cité Laboratoire d'informatique de Paris-Nord, UMR CNRS 7030 99, avenue Jean-Baptiste Clément - 93430 Villetaneuse France Tél : (33) 01 49 40 40 71 ; Fax : (33) 01 48

Plus en détail

Liste de conférences et revues Thème Com A

Liste de conférences et revues Thème Com A Liste de conférences et revues Thème Com A April 11th, 2007 Ci-dessous, la synthèse des listes de publications fournies par les projets. Il faut noter que ACES/CEPAGE/OASIS/ n ont pas répondu et ne sont

Plus en détail

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD

Résultats des projets CARROLL. Bilan et perspectives. Ingénierie logicielle orientée modèle MDD Résultats des projets CARROLL Bilan et perspectives Ingénierie logicielle orientée modèle MDD Serge Salicki, THALES Workshop CARROLL 23 septembre 2005 THALES et le MDE Le MDE est dans la strategie de THALES

Plus en détail

Réplication adaptative sur les réseaux P2P

Réplication adaptative sur les réseaux P2P Réplication adaptative sur les réseaux pair à pair 10 mars 2006 1 Introduction 2 Réseaux pair à pair et tables de hachage distribuées 3 Le protocole app-cache 4 Le protocole LAR 5 Tests de performance

Plus en détail

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot Testing : A Roadmap Mary Jean Harrold Présentation de Olivier Tissot Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion

Plus en détail

BIG Data et R: opportunités et perspectives

BIG Data et R: opportunités et perspectives BIG Data et R: opportunités et perspectives Guati Rizlane 1 & Hicham Hajji 2 1 Ecole Nationale de Commerce et de Gestion de Casablanca, Maroc, rguati@gmail.com 2 Ecole des Sciences Géomatiques, IAV Rabat,

Plus en détail

Une méthode d apprentissage pour la composition de services web

Une méthode d apprentissage pour la composition de services web Une méthode d apprentissage pour la composition de services web Soufiene Lajmi * Chirine Ghedira ** Khaled Ghedira * * Laboratoire SOIE (ENSI) University of Manouba, Manouba 2010, Tunisia Soufiene.lajmi@ensi.rnu.tn,

Plus en détail

Langage dédié pour le pilotage de solveurs de contraintes

Langage dédié pour le pilotage de solveurs de contraintes LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Langage dédié pour le pilotage

Plus en détail

Module Génie Logiciel à Objet

Module Génie Logiciel à Objet Module Génie Logiciel à Objet Chapitre 1 - Introduction Mohamed Bakhouya - Benoît Delahaye Université Internationale de Rabat - Université de Nantes Remerciements Pascal André Gerson Sunyé 2013 Jacques

Plus en détail

THÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par.

THÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par. École Doctorale d Informatique, Télécommunications et Électronique de Paris THÈSE présentée à TÉLÉCOM PARISTECH pour obtenir le grade de DOCTEUR de TÉLÉCOM PARISTECH Mention Informatique et Réseaux par

Plus en détail

Définition et diffusion de signatures sémantiques dans les systèmes pair-à-pair

Définition et diffusion de signatures sémantiques dans les systèmes pair-à-pair Définition et diffusion de signatures sémantiques dans les systèmes pair-à-pair Raja Chiky, Bruno Defude, Georges Hébrail GET-ENST Paris Laboratoire LTCI - UMR 5141 CNRS Département Informatique et Réseaux

Plus en détail

Grid 5000 : Administration d une infrastructure distribuée et développement d outils de déploiement et d isolation réseau

Grid 5000 : Administration d une infrastructure distribuée et développement d outils de déploiement et d isolation réseau : Administration d une infrastructure distribuée et développement d outils de déploiement et d isolation réseau Nicolas Niclausse - INRIA Sophia Antipolis Méditerranée - projet Aladdin Grid 5000 2 juillet

Plus en détail

Renseignements personnels

Renseignements personnels Wafa Mekki Curriculum Vitae Renseignements personnels Date et lieu de naissance: 22 Novembre 1986 à Sfax, Tunisie Nationnalité: Tunisienne Etat civil: Mariée Adresse: Route Manzel Chaker Km 5, 3013, Sfax,

Plus en détail

http://blog.khaledtannir.net

http://blog.khaledtannir.net Algorithme de parallélisations des traitements Khaled TANNIR Doctorant CIFRE LARIS/ESTI http://blog.khaledtannir.net these@khaledtannir.net 2e SéRI 2010-2011 Jeudi 17 mars 2011 Présentation Doctorant CIFRE

Plus en détail

Industrial Phd Progam

Industrial Phd Progam Industrial Phd Progam Catalan Government: Legislation: DOGC ECO/2114/2012 Modification: DOGC ECO/2443/2012 Next: Summary and proposal examples. Main dates March 2013: Call for industrial Phd projects grants.

Plus en détail

Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing)

Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing) Des exigences aux tests Génération de tests à partir des processus et règles métier (Model-Based Testing) Bruno LEGEARD JDEV 2013 4-6 septembre 2013 Sommaire Partie I Introduction au Model-Based Testing

Plus en détail

TITRE DE LA THESE. Développement durable et lutte contre la pauvreté, Cas de la Tunisie. Par. Riadh Béchir. Unité de recherche ; Laboratoire ;

TITRE DE LA THESE. Développement durable et lutte contre la pauvreté, Cas de la Tunisie. Par. Riadh Béchir. Unité de recherche ; Laboratoire ; TITRE DE LA THESE Développement durable et lutte contre la pauvreté, Cas de la Tunisie Par Riadh Béchir Unité de recherche ; Laboratoire ; Entreprise - Economie - Environnement Economie et sociétés rurales

Plus en détail

Master Informatique Aix-Marseille Université

Master Informatique Aix-Marseille Université Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes

Plus en détail

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification

Résultats des projets CARROLL. Bilan et perspectives. Validation et Vérification Résultats des projets CARROLL Bilan et perspectives Validation et Vérification Paul Le Guernic, INRIA Workshop CARROLL 23 septembre 2005 Contexte Validation & Vérification dans CARROLL Perspectives Contexte

Plus en détail

Forthcoming Database

Forthcoming Database DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of

Plus en détail

CURRICULUM VITAE. Informations Personnelles

CURRICULUM VITAE. Informations Personnelles CURRICULUM VITAE Informations Personnelles NOM: BOURAS PRENOM : Zine-Eddine STRUCTURE DE RATTACHEMENT: Département de Mathématiques et d Informatique Ecole Préparatoire aux Sciences et Techniques Annaba

Plus en détail

Ada Diaconescu INFRES / S3. Appellation de Maître de Conférences. Mars 2010. ada.diaconescu@telecom-paristech.fr 01/03/2010

Ada Diaconescu INFRES / S3. Appellation de Maître de Conférences. Mars 2010. ada.diaconescu@telecom-paristech.fr 01/03/2010 Ada Diaconescu INFRES / S3 Appellation de Maître de Conférences Mars 2010 Parcours Études - Université Polytechnique Timisoara (1995-2000 ) Diplôme d Ingénieur en Informatique (BAC+5) Ingénieur R&D à Teltec,

Plus en détail

Semestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016

Semestre HPC. Violaine Louvet. Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr. Labex MILyon, Printemps 2016 Semestre HPC Violaine Louvet Institut Camille Jordan - CNRS louvet@math.univ-lyon1.fr Labex MILyon, Printemps 2016 V. Louvet (ICJ) Semestre HPC Printemps 2016 1 / 9 Présentation du semestre Modélisation

Plus en détail

Bourses d excellence pour les masters orientés vers la recherche

Bourses d excellence pour les masters orientés vers la recherche Masters de Mathématiques à l'université Lille 1 Mathématiques Ingénierie Mathématique Mathématiques et Finances Bourses d excellence pour les masters orientés vers la recherche Mathématiques appliquées

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

Sujet de thèse CIFRE RESULIS / LGI2P Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences

Plus en détail

Préparer un état de l art

Préparer un état de l art Préparer un état de l art Khalil DRIRA LAAS-CNRS, Toulouse Unité de recherche ReDCAD École Nationale d ingénieurs de Sfax Étude de l état de l art? Une étude ciblée, approfondie et critique des travaux

Plus en détail

Maîtrise énergétique des centres de données

Maîtrise énergétique des centres de données LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Maîtrise énergétique des

Plus en détail

Situation actuelle. Attachée temporaire d enseignement et de recherche (section CNU 25) à l Université Paris 2. Thèmes de recherche

Situation actuelle. Attachée temporaire d enseignement et de recherche (section CNU 25) à l Université Paris 2. Thèmes de recherche Cyrielle DUMONT Docteur en biostatistiques Née le 9 mai 1985 à Chartres (28) Adresse : Université Paris 2 12 place du Panthéon 75005 Paris Courriel : cyrielle.dumont@inserm.fr Page personnelle : www.biostat.fr/home-dumont.htm

Plus en détail

Projet ANR SAMOGWAS. Specific Advanced MOdels for Genome-wide Association Studies. Journée de lancement officielle. Nantes - vendredi 11 octobre 2013

Projet ANR SAMOGWAS. Specific Advanced MOdels for Genome-wide Association Studies. Journée de lancement officielle. Nantes - vendredi 11 octobre 2013 Projet ANR SAMOGWAS Specific Advanced MOdels for Genome-wide Association Studies Journée de lancement officielle Nantes - vendredi 11 octobre 2013 1 Les partenaires LINA Nantes GIGA-R Liège INSERM Nantes

Plus en détail

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Système de formation fédérant trois projets du logiciel libre (Moodle, OpenGLM

Plus en détail

SYNTHESE D ARCHITECTURES D ENSEMBLES DYNAMIQUES D HELICOPTERES.

SYNTHESE D ARCHITECTURES D ENSEMBLES DYNAMIQUES D HELICOPTERES. SYNTHESE D ARCHITECTURES D ENSEMBLES DYNAMIQUES D HELICOPTERES. 1 LE CADRE DES TRAVAUX Les travaux s inscrivent dans le cadre de l amélioration des performances des ensembles dynamiques d Hélicoptères.

Plus en détail

Architecture distribuée

Architecture distribuée Architecture distribuée Conception et développement d algorithmes distribués pour le moteur Baboukweb Jean-Christophe DALLEAU Département de Mathématiques et Informatique Université de La Réunion 26 juin

Plus en détail

Apports des architectures pair-à-pair pour les réseaux ad hoc

Apports des architectures pair-à-pair pour les réseaux ad hoc Apports des architectures pair-à-pair pour les réseaux ad hoc Tuan Dung NGUYEN Thèse co-encadrée ENST Bretagne INT (début : 15 octobre 2005) Directeur de thèse : Guy BERNARD - INT Co-encadrants : Siegfried

Plus en détail

Sujet de thèse CIFRE RESULIS / LGI2P

Sujet de thèse CIFRE RESULIS / LGI2P Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Sujet de thèse CIFRE RESULIS / LGI2P Titre Domaine De l ingénierie des besoins à l ingénierie des exigences

Plus en détail

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Omar Chebaro LIFC, Université de Franche-Comté, 25030 Besançon France CEA, LIST, Laboratoire Sûreté des Logiciels,

Plus en détail

Un outil de modélisation de la variabilité intégré à un environnement multi-vues

Un outil de modélisation de la variabilité intégré à un environnement multi-vues Un outil de modélisation de la variabilité intégré à un environnement multi-vues Date /Référence Journée Transformations de modèles et outillage de l IDM 7 novembre 2011 Olivier Barais (INRIA, Triskell)

Plus en détail

Supervision des réseaux et services pair à pair

Supervision des réseaux et services pair à pair Supervision des réseaux et services pair à pair Présentation des travaux de Thèse Guillaume Doyen LORIA - Université Henri Poincaré pour l obtention du Doctorat en Informatique de l université Henri Poincaré

Plus en détail

S O M M A I R E. Actualités : Appels d offres : ACTUALITES INTERNATIONALES - BUREAU DES RELATIONS INTERNATIONALES. Bulletin du 30 janvier 2009

S O M M A I R E. Actualités : Appels d offres : ACTUALITES INTERNATIONALES - BUREAU DES RELATIONS INTERNATIONALES. Bulletin du 30 janvier 2009 ACTUALITES INTERNATIONALES - BUREAU DES RELATIONS INTERNATIONALES contact < anne.dumazert@univ-paris-diderot.fr S O M M A I R E Bulletin du 30 janvier 2009 Actualités : 1 - Echanges d informations sur

Plus en détail

Chapitre 2: Couche Application I

Chapitre 2: Couche Application I Chapitre 2: Couche Application I Roch Glitho, PhD Associate Professor and Canada Research Chair My URL - http://users.encs.concordia.ca/~glitho/ Couche Application I (Infrastructures d application) Application

Plus en détail

Systèmes : Microsoft Windows (95 à Seven), Unix (Linux, MacOS X) Visual Studio 2003-2010, KDevelop, Xcode, oxygen Frameworks d'hmi :

Systèmes : Microsoft Windows (95 à Seven), Unix (Linux, MacOS X) Visual Studio 2003-2010, KDevelop, Xcode, oxygen Frameworks d'hmi : Nader Salman 29-31 rue de France Nice, PACA - 06000, FRANCE Tél: +33(0) 624-485-313 Courriel: Nader@salman-circle.com Nationalité Française Age 26 ans ENVIRONNEMENT DE DÉVELOPPEMENT Systèmes : Microsoft

Plus en détail

ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE

ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE Mémoires 2010-2011 www.euranova.eu MÉMOIRES ETUDE ET IMPLÉMENTATION D UNE CACHE L2 POUR MOBICENTS JSLEE Contexte : Aujourd hui la plupart des serveurs d application JEE utilise des niveaux de cache L1

Plus en détail

Les activités de recherche sont associées à des voies technologiques et à des opportunités concrètes sur le court, moyen et long terme.

Les activités de recherche sont associées à des voies technologiques et à des opportunités concrètes sur le court, moyen et long terme. Mémoires 2010-2011 www.euranova.eu EURANOVA R&D Euranova est une société Belge constituée depuis le 1er Septembre 2008. Sa vision est simple : «Être un incubateur technologique focalisé sur l utilisation

Plus en détail

Change the game with smart innovation

Change the game with smart innovation Change the game with smart innovation Master Thesis 2013 2014 Faculty of Science engineering 12/08/2012 Master Thesis proposal for the academic year 2013. TABLE OF CONTENTS Section Un Introduction... 3

Plus en détail

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION THÈSE N O 2388 (2001) PRÉSENTÉE AU DÉPARTEMENT D'INFORMATIQUE ÉCOLE POLYTECHNIQUE FÉDÉRALE

Plus en détail

Software Design Description

Software Design Description Software Design Description ABSTRACT: KEYWORDS: APPROVED: AUTHOR PROJECT MANAGER PRODUCT OWNER General information/recommendations A SDD provides a representation of a software system created to facilitate

Plus en détail

BI dans les nuages. Olivier Bendavid, UM2 Prof. A. April, ÉTS

BI dans les nuages. Olivier Bendavid, UM2 Prof. A. April, ÉTS BI dans les nuages Olivier Bendavid, UM2 Prof. A. April, ÉTS Table des matières Introduction Description du problème Les solutions Le projet Conclusions Questions? Introduction Quelles sont les défis actuels

Plus en détail

Stratégie de réplication résistante au churn pour les tables de hachage distribuées en pair-à-pair

Stratégie de réplication résistante au churn pour les tables de hachage distribuées en pair-à-pair Stratégie de réplication résistante au churn pour les tables de hachage distribuées en pair-à-pair Sergey Legtchenko LIP6/Université Pierre et Marie Curie/CNRS/INRIA sergey.legtchenko@systeme.lip6.fr Résumé

Plus en détail

Analyse qualitative et quantitative des Systèmes Automatisés de Production

Analyse qualitative et quantitative des Systèmes Automatisés de Production Analyse qualitative et quantitative des Systèmes Automatisés de Production Jean-Luc Cojan Laboratoire LISyC Université de Bretagne Occidentale Encadrants : M. Philippe Le Parc M. Loïc Plassart M. Franck

Plus en détail

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Hind Darwich, doctorante en thèse CIFRE au sein de la société TDC

Plus en détail

Intégration des paramètres de maintenance dans la conception du Health Monitoring. Saintis Laurent Laboratoire LASQUO (futur LARIS)

Intégration des paramètres de maintenance dans la conception du Health Monitoring. Saintis Laurent Laboratoire LASQUO (futur LARIS) 2ème Colloque National de la Performance Industrielle LA MAINTENANCE A DISTANCE & E-MAINTENANCE Intégration des paramètres de maintenance dans la conception du Health Monitoring Saintis Laurent Laboratoire

Plus en détail

MIGRATION & TESTING REAL APPLICATION TESTING. Consultant Avant Vente, Oracle France

MIGRATION & TESTING REAL APPLICATION TESTING. Consultant Avant Vente, Oracle France MIGRATION & TESTING REAL APPLICATION TESTING Cécile NAUD cecile.naud@oracle.com Consultant Avant Vente, Oracle France 1 Applications Management Enterprise Ready Framework Cloud Management Middleware Management

Plus en détail

Modélisation et Vérification des Réseaux de Régulations entre Gènes

Modélisation et Vérification des Réseaux de Régulations entre Gènes Modélisation et Vérification des Réseaux de Régulations entre Gènes Loïc Paulevé JDOC 2010-29 avril 2010 Directeur : Co-encadrant : Olivier Roux Morgan Magnin Laboratoire : IRCCyN, UMR CNRS 6597 Équipe

Plus en détail

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming THÈSE N O 5007 (2011) PRÉSENTÉE le 20 mai 2011 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DE MÉTHODES DE PROGRAMMATION

Plus en détail

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC Assurance qualité logicielle Logiciel conventionnel SBC Fiabilité Facilité d'entretien Facilité des modifications Principales causes d erreur Absence de spécification, manque de conformité (1) Erreurs

Plus en détail

Systèmes Répartis. Pr. Slimane Bah, ing. PhD. Ecole Mohammadia d Ingénieurs. G. Informatique. Semaine 24.2. Slimane.bah@emi.ac.ma

Systèmes Répartis. Pr. Slimane Bah, ing. PhD. Ecole Mohammadia d Ingénieurs. G. Informatique. Semaine 24.2. Slimane.bah@emi.ac.ma Ecole Mohammadia d Ingénieurs Systèmes Répartis Pr. Slimane Bah, ing. PhD G. Informatique Semaine 24.2 1 Semestre 4 : Fev. 2015 Grid : exemple SETI@home 2 Semestre 4 : Fev. 2015 Grid : exemple SETI@home

Plus en détail

Programmer des applications réparties

Programmer des applications réparties LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2013 Programmer des applications

Plus en détail

Ingénierie d entreprise et de système d information dirigée par les modèles : quels usages?

Ingénierie d entreprise et de système d information dirigée par les modèles : quels usages? Ingénierie d entreprise et de système d information dirigée par les modèles : quels usages? Hervé Panetto, Xavier Boucher, Pierre-Alain Millet To cite this version: Hervé Panetto, Xavier Boucher, Pierre-Alain

Plus en détail

Improving MapReduce Performance in Heterogeneous Environments

Improving MapReduce Performance in Heterogeneous Environments Improving MapReduce Performance in Heterogeneous Environments Minwei CHEN Université Claude Bernard Lyon 1 Master Recherche en Informatique M2 Technologies de l information et Web Email pro: minwei.chen@etu.univ-lyon1.fr

Plus en détail

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services 69 Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services M. Bakhouya, J. Gaber et A. Koukam Laboratoire Systèmes et Transports SeT Université de Technologie de Belfort-Montbéliard

Plus en détail

Carole Adam Curriculum Vitæ détaillé

Carole Adam Curriculum Vitæ détaillé Carole Adam Curriculum Vitæ détaillé 1 Présentation Docteur-ingénieur en Informatique, je suis actuellement ATER (Attachée Temporaire d Enseignement et de Recherche). J enseigne à l ENSEEIHT (Ecole Nationale

Plus en détail

ECOLE CENTRALE DE NANTES Référence GALAXIE : 4015

ECOLE CENTRALE DE NANTES Référence GALAXIE : 4015 ECOLE CENTRALE DE NANTES Référence GALAXIE : 4015 Numéro dans le SI local : 2403 Référence GESUP : 2403 Corps : Professeur des universités Article : 46-1 Chaire : Non Section 1 : 60-Mécanique, génie mécanique,

Plus en détail

Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES

Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES Élasticité des applications à base de services Samir Tata, Télécom SudParis UMR Samovar Équipe ACMES Élasticité : Définitions et Concepts Samir Tata, Télécom SudParis Élasticité Définitions Élasticité

Plus en détail

Service de réconciliation pour la synchronisation de copies

Service de réconciliation pour la synchronisation de copies Service de réconciliation pour la synchronisation de copies L. Chateigner, S. Chabridon, N. Sabri et G. Bernard CNRS UMR SAMOVAR 01-03 juin 2004 Plan Service de réconciliation pour la synchronisation de

Plus en détail

CONTRAT D ETUDES - LEARNING AGREEMENT

CONTRAT D ETUDES - LEARNING AGREEMENT CONTRAT D ETUDES - LEARNING AGREEMENT Règles générales La présence aux séances d enseignement des modules choisis est obligatoire. Chaque module comporte des séances de travail encadrées et non encadrées

Plus en détail

Etude méthodologique comparative de solutions d entreposage de données de santé à des fins décisionnelles

Etude méthodologique comparative de solutions d entreposage de données de santé à des fins décisionnelles Etude méthodologique comparative de solutions d entreposage de données de santé à des fins décisionnelles Rémy Choquet 1, Christel Daniel 1, Omar Boussaid 2, Mariechristine Jaulent 1. 1 INSERM UMR_S 872

Plus en détail

Système adaptatif d aide à la génération de requêtes de médiation

Système adaptatif d aide à la génération de requêtes de médiation Système adaptatif d aide à la génération de requêtes de médiation Dimitre Kostadinov Verónika Peralta Assia Soukane Xiaohui Xue Laboratoire PRiSM, Université de Versailles 45 avenue des Etats-Unis 78035

Plus en détail

Big Data. Cyril Amsellem Consultant avant-vente. 16 juin 2011. Talend 2010 1

Big Data. Cyril Amsellem Consultant avant-vente. 16 juin 2011. Talend 2010 1 Big Data Cyril Amsellem Consultant avant-vente 16 juin 2011 Talend 2010 1 Big Data Architecture globale Hadoop Les projets Hadoop (partie 1) Hadoop-Core : projet principal. HDFS : système de fichiers distribués

Plus en détail

L écosystème Hadoop Nicolas Thiébaud ni.thiebaud@gmail.com. Tuesday, July 2, 13

L écosystème Hadoop Nicolas Thiébaud ni.thiebaud@gmail.com. Tuesday, July 2, 13 L écosystème Hadoop Nicolas Thiébaud ni.thiebaud@gmail.com HUG France 250 membres sur la mailing liste 30 présentations 9 meetups organisés, de 20 à 100 invités Présence de Cloudera, MapR, Hortonworks,

Plus en détail

Elasticité logicielle pour optimiser l empreinte énergétique

Elasticité logicielle pour optimiser l empreinte énergétique Ecole des Mines de Nantes Elasticité logicielle pour optimiser l empreinte énergétique Thomas Ledoux (équipe Ascola, INRIA-EMN, LINA) direction des études décembre 2010 page 1 Relation logiciel empreinte

Plus en détail

Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription

Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription Présentée par Leila Abidi Sous la direction de Mohamed Jemni & Christophe Cérin Plan Contexte Problématique Objectifs

Plus en détail

Plan. Pourquoi Hadoop? Présentation et Architecture. Démo. Usages

Plan. Pourquoi Hadoop? Présentation et Architecture. Démo. Usages 1 Mehdi LOUIZI Plan Pourquoi Hadoop? Présentation et Architecture Démo Usages 2 Pourquoi Hadoop? Limites du Big Data Les entreprises n analysent que 12% des données qu elles possèdent (Enquête Forrester

Plus en détail

FORUM NTIC BIG DATA, OPEN DATA Big Data: les challenges, les défis

FORUM NTIC BIG DATA, OPEN DATA Big Data: les challenges, les défis FORUM NTIC BIG DATA, OPEN DATA Big Data: les challenges, les défis Joseph Salmon Télécom ParisTech Jeudi 6 Février Joseph Salmon (Télécom ParisTech) Big Data Jeudi 6 Février 1 / 18 Agenda Contexte et opportunités

Plus en détail

Rapport de l AERES sur l unité :

Rapport de l AERES sur l unité : Section des Unités de recherche Rapport de l AERES sur l unité : Groupe de Recherche en Physique des Hautes Energies GRPHE sous tutelle des établissements et organismes : Université de Haute Alsace Janvier

Plus en détail

Modélisation: outillage et intégration

Modélisation: outillage et intégration Modélisation: outillage et intégration Emmanuel Gaudin emmanuel.gaudin@pragmadev.com Un réel besoin Le logiciel double tous les deux ans. Le volume final rend extrêmement difficile de garantir le niveau

Plus en détail

Sujet de bourse de thèse en Sciences de Gestion

Sujet de bourse de thèse en Sciences de Gestion Sujet de bourse de thèse en Sciences de Gestion Parcours de santé de la personne âgée en Auvergne : adéquation et complémentarité de l offre de soins Laboratoire d accueil : Centre de Recherche Clermontois

Plus en détail

La méthodologie DEEP CITY ou comment le souterrain peut rendre service à la ville

La méthodologie DEEP CITY ou comment le souterrain peut rendre service à la ville Association Ecoparc La méthodologie DEEP CITY ou comment le souterrain peut rendre service à la ville Prof. Aurèle Parriaux Directeur du projet DEEP CITY EPFL - École polytechnique fédérale de Lausanne

Plus en détail

ECOLE DOCTORALE SCIENCES ET TECHNOLOGIES DE L INFORMATION ET DE LA COMMUNICATION

ECOLE DOCTORALE SCIENCES ET TECHNOLOGIES DE L INFORMATION ET DE LA COMMUNICATION ECOLE DOCTORALE SCIENCES ET TECHNOLOGIES DE L INFORMATION ET DE LA COMMUNICATION ED Pôle 1: Automatique, Traitement du Signal, Traitement des Images, Robotique F. Lamnabhi-Lagarrigue lamnabhi@lss.supelec.fr

Plus en détail

GIS. Spécialité GIS. Génie Informatique et Statistique GIS. Stéphane Janot stephane.janot@polytech-lille.fr

GIS. Spécialité GIS. Génie Informatique et Statistique GIS. Stéphane Janot stephane.janot@polytech-lille.fr Spécialité Génie Informatique et Statistique Stéphane Janot stephane.janot@polytech-lille.fr Analyse, conception Modélisation Ingénieurs spécialistes du traitement de l'information Entrepôt de données

Plus en détail

SUJET DE STAGE DE MASTER 2 (BAC +5) 6 MOIS 2015 2016 ETUDE SUR LA ROBUSTESSE DE LOIS DE COMMANDE FACE AUX PERTURBATIONS ELECTROMAGNETIQUES

SUJET DE STAGE DE MASTER 2 (BAC +5) 6 MOIS 2015 2016 ETUDE SUR LA ROBUSTESSE DE LOIS DE COMMANDE FACE AUX PERTURBATIONS ELECTROMAGNETIQUES CONTEXTE DU STAGE : SUJET DE STAGE DE MASTER 2 (BAC +5) 6 MOIS 2015 2016 ETUDE SUR LA ROBUSTESSE DE LOIS DE COMMANDE FACE AUX PERTURBATIONS ELECTROMAGNETIQUES Les quatre business units de Faurecia, à savoir

Plus en détail

Cloud computing Votre informatique à la demande

Cloud computing Votre informatique à la demande Cloud computing Votre informatique à la demande Thomas RULMONT Définition du Cloud Computing L'informatique dans le nuage (en anglais, cloud computing) est un concept ( ) faisant référence à l'utilisation

Plus en détail

Fiche de poste. UNIVERSITE DE BRETAGNE SUD (préciser si IUT) Poste n 0134. 02 97 87 66 30 02 97 87 66 35 e-mail : drh.ens@listes.univ-ubs.

Fiche de poste. UNIVERSITE DE BRETAGNE SUD (préciser si IUT) Poste n 0134. 02 97 87 66 30 02 97 87 66 35 e-mail : drh.ens@listes.univ-ubs. Fiche de poste UNIVERSITE DE BRETAGNE SUD (préciser si IUT) Poste n 0134 Corps : Sections : Profil : Localisation : Etat du poste : Maître de conférences 27 informatique IUT de Vannes Vacant Article de

Plus en détail

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier Tanguy.Risset@insa-lyon.fr Marine.minier@insa-lyon.fr http://master-info.univ-lyon1.fr/m2rts/

Plus en détail

ADELFE : Atelier de développement de logiciels à fonctionnalité émergente

ADELFE : Atelier de développement de logiciels à fonctionnalité émergente ADELFE : Atelier de développement de logiciels à fonctionnalité émergente Gauthier Picard*, Carole Bernon*, Valérie Camps**, Marie- Pierre Gleizes* * Institut de Recherche en Informatique de Toulouse Université

Plus en détail

L'Ingénierie Dirigée par les Modèles : Une nouvelle formation diplômante à l'emnantes

L'Ingénierie Dirigée par les Modèles : Une nouvelle formation diplômante à l'emnantes L'Ingénierie Dirigée par les Modèles : Une nouvelle formation diplômante à l'emnantes "MDE-Diploma" : Un diplôme de spécialisation de troisième cycle habilité par le ministère français de l'industrie Un

Plus en détail

neocampus : campus du futur 27 février 2015

neocampus : campus du futur 27 février 2015 neocampus : campus du futur 27 février 2015 Démarrage juin 2013 ECO-CAMPUS TOULOUSE Président B Monthubert Confort au quotidien pour la communauté universitaire Diminution de l empreinte écologique de

Plus en détail

ED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013

ED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013 ED STIC - Proposition de Sujets de Thèse pour la campagne d'allocation de thèses 2013 Axe Sophi@Stic : Titre du sujet : aucun Composition de systèmes d information dirigée par les modèles : une démarche

Plus en détail

Développement d une ontologie pour la classification d images en télédétection

Développement d une ontologie pour la classification d images en télédétection Développement d une ontologie pour la classification d images en télédétection Omar Boussaid, David Sheeren, Anne Puissant et Pierre Gançarski Laboratoire ERIC, EA 3038 - Université Lyon 2 Omar.Boussaid@univ-lyon2.fr

Plus en détail

Acquisition des données - Big Data. Dario VEGA Senior Sales Consultant

Acquisition des données - Big Data. Dario VEGA Senior Sales Consultant Acquisition des données - Big Data Dario VEGA Senior Sales Consultant The following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated

Plus en détail

Une brève introduction aux Données Massives - Challenges et perspectives. Romain Picot-Clémente Cécile Bothorel Philippe Lenca

Une brève introduction aux Données Massives - Challenges et perspectives. Romain Picot-Clémente Cécile Bothorel Philippe Lenca Une brève introduction aux Données Massives - Challenges et perspectives Romain Picot-Clémente Cécile Bothorel Philippe Lenca Plan 1 Big Data 2 4Vs 3 Hadoop et son écosystème 4 Nouveaux challenges, nouvelles

Plus en détail

Contrainte globale sur un ensemble de trajectoires

Contrainte globale sur un ensemble de trajectoires LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Contrainte globale sur un

Plus en détail

Clustering par quantification en présence de censure

Clustering par quantification en présence de censure Clustering par quantification en présence de censure Svetlana Gribkova 1 Laboratoire de Statistique Théorique et Appliquée, Université Pierre et Marie Curie Paris 6, 4 place Jussieu, 75005 Paris Résumé.

Plus en détail

GESTION DES APPLICATIONS ORACLE. Application Management Suites

GESTION DES APPLICATIONS ORACLE. Application Management Suites GESTION DES APPLICATIONS ORACLE Application Management Suites 1 The following is intended to outline our general product direction. It is intended for information purposes only, and may not be incorporated

Plus en détail

Masters informatique et MIAGE

Masters informatique et MIAGE Masters informatique et MIAGE Formations en informatique de Lille Forum masters février 2012 IEEA / Informatique Formations en informatique de Lille http://fil.univ-lille1.fr 1 Master informatique Mention

Plus en détail

Mémoires 2011-2012. Euranova R&D. Objet du document. Contenu

Mémoires 2011-2012. Euranova R&D. Objet du document. Contenu Euranova R&D Euranova est une société Belge constituée depuis le 1er Septembre 2008. Sa vision est simple: «Être un incubateur technologique focalisé sur l utilisation pragmatique des connaissances». Les

Plus en détail

Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes

Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes 1 Sommaire Partie I Introduction au Model-Based Testing Comprendre ce qu est le Model Based Testing Le

Plus en détail

Tom Jorquera. Formation. Thèse

Tom Jorquera. Formation. Thèse Tom Jorquera 8 rue StJoseph 31400 France +336 71 05 35 58 tom@jorquera.net jorquera.net Formation 2009 2013 Doctorat Intelligence Artificielle, Équipe Systèmes MultiAgents Coopératifs (SMAC), Institut

Plus en détail

Gestion du déploiement de composants sur réseau P2P

Gestion du déploiement de composants sur réseau P2P Gestion du déploiement de composants sur réseau P2P Stéphane Frénot 1 INRIA ARES, Laboratoire CITI Bat. Léonard de Vinci 69621 Villeurbanne Cedex stephane.frenot@insa-lyon.fr ABSTRACT: The deployment of

Plus en détail

SHAREPOINT PORTAL SERVER 2013

SHAREPOINT PORTAL SERVER 2013 Powered by TCPDF (www.tcpdf.org) SHAREPOINT PORTAL SERVER 2013 Sharepoint portal server 2013 DEVELOPING MICROSOFT SHAREPOINT SERVER 2013 CORE SOLUTIONS Réf: MS20488 Durée : 5 jours (7 heures) OBJECTIFS

Plus en détail