Programmer des applications réparties
|
|
- Jean-Louis Gignac
- il y a 8 ans
- Total affichages :
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 Programmer des applications réparties Vers une approche modulaire et efficace de la causalité Directeur de thèse NOM, Prénom : MOSTEFAOUI, Achour Équipe d accueil : GDD Unité de recherche : LINA (UMR 6241) Courriel : Achour.Mostefaoui (at) univ-nantes.fr Téléphone : (+33/0) Taux d encadrement : 50 % Nombre de thèses en cours : 2 Co-encadrant NOM, Prénom : GRALL, Hervé Équipe d accueil : Ascola Courriel : Herve.Grall (at) mines-nantes.fr Téléphone : (+33/0) Taux d encadrement : 50 % Nombre de thèses en cours : 1 Financement prévu : MESR, CNRS-Région
2 Sujet de thèse pour 2013 Programmer des applications réparties Vers une approche modulaire et efficace de la causalité Résumé. La programmation d applications distribuées est difficile car elle suppose de rompre avec le modèle séquentiel pour intégrer la causalité inhérente à la répartition. Nous proposons de développer un cadre formel facilitant la programmation d applications réparties en restituant la causalité d une manière modulaire et pratiquement efficace. Mots clés. Programmation répartie Causalité Programmation chimique Modularité 2
3 Introduction En 2011, à la conférence SPLASH, l une des plus importantes dans le domaine des langages de programmation, un groupe de spécialistes s est réuni pour débattre de la question suivante : "Multicore, Manycore, and Cloud Computing : Is a New Programming Language Paradigm Required?" [TBB + 11]. C est qu en effet une convergence structurelle se dessine. Le nuage entoure non seulement les serveurs sur Internet mais aussi progressivement les cœurs sur une puce : d abord présente à grande échelle, la répartition s impose maintenant à petite échelle. Le sujet proposé s inscrit dans cette tendance puisque la thèse visera à faciliter la programmation d applications réparties. Contexte et problématique La programmation d applications réparties impose de rompre avec le modèle séquentiel d exécution, aujourd hui encore dominant, remplacé par un modèle concurrent, impliquant des évènements répartis qui ne peuvent pas s ordonner séquentiellement : la causalité, associée à un ordre partiel, succède à la séquentialité, associée à un ordre total. Cette thèse aura essentiellement pour but de proposer un cadre formel facilitant la programmation d applications réparties en restituant la causalité d une manière modulaire et pratiquement efficace. Concernant la causalité, elle intéresse l équipe GDD ; concernant la programmation répartie, elle intéresse l équipe Ascola. Elle sera donc l occasion de construire une collaboration fondée sur des compétences complémentaires. Problèmes et opportunités Le mécanisme fondamental d échange de données et de synchronisation dans les systèmes répartis est la communication par messages. Lors de l exécution d une application répartie, les événements internes des processus, les émissions et les réceptions de messages s ordonnent suivant un ordre non pas total mais partiel : c est la relation de précédence causale, introduite par Lamport en Si des événements indépendants peuvent être exécutés simultanément en parallèle, il arrive aussi fréquemment que l ordre de réception des messages doive être relié à l ordre d émission des messages. Précisément, alors que certaines applications ne nécessitent aucun ordre particulier sur la livraison des messages diffusés (e.g. les listes de diffusion), d autres nécessitent de respecter un ordre plus ou moins fort (synchronisation avec l émission ou non, dans ce cas, ordre causal, ordre atomique, ordre relatif, ordre total, etc.). Par exemple, une communication est dite synchrone si l émission et la réception sont synchrones. C est une contrainte forte qui peut être affaiblie. Une communication est alors dite causale si un message émis causalement avant un autre doit être livré avant celui-ci chez tous les destinataires communs. La mise en oeuvre d une telle communication est coûteuse et nécessite l utilisation soit de compteurs vectoriels (coûteux en espace et en taille des messages) soit de protocoles de communications (coûteux en temps de communication et moins tolérants aux 3
4 défaillances). Ces dernières décennies, de nombreuses solutions théoriques à ces problèmes de causalité ont été proposées et étudiées, et les coûts des solutions optimales sont connus [CB91, CBMT96]. On peut considérer qu aujourd hui, avec la généralisation des applications réparties, nous entrons dans une période où ces solutions théoriques doivent être mises en œuvre concrètement et efficacement dans les langages de programmation. De ce point de vue, deux problèmes apparaissent rapidement : la modularité et l efficacité. Les solutions proposées en théorie ont le défaut de résoudre les problèmes isolément, sans examiner leur possible interaction. Par exemple, que se passe-t-il lorsqu on utilise simultanément des canaux de communication aux propriétés différentes en matière de causalité? Comme on l a vu, les solutions théoriques peuvent être coûteuses. Cependant, elles reposent toutes sur une hypothèse : elles utilisent un mode de communication asynchrone. Si en théorie la communication est asynchrone, bien souvent en pratique, elle ne l est pas : il existe un temps de latence maximal. C est le cas par exemple d Internet. Peuton profiter de cette majoration de la latence pour améliorer pratiquement l efficacité des solutions théoriques? L objectif principal de la thèse est de répondre à ces questions, et donc de proposer des solutions modulaires et pratiquement efficaces aux problèmes de causalité dans les applications réparties. Travail demandé Objectifs Concernant la causalité, cette thèse va aborder deux aspects duaux. L un est relatif à la partie applicative en fournissant d une manière modulaire des canaux de communication répondant à des besoins spécifiques relatifs à la causalité. L autre est lié au système sousjacent pour essayer d en tirer le meilleur parti pour l implémentation de ces canaux de communication. Le premier aspect est lié aux modes de communication nécessaires à une application. De manière pratique, il est préférable de pouvoir développer une application en disposant de différents types de canaux de communication. Pour certaines messages, une communication asynchrone est suffisante. Pour d autres, une synchronisation entre l émission et la réception est requise. Entre ces deux cas limites, différentes contraintes peuvent être fixées, comme par exemple l ordre causal. Chaque canal est implémenté au dessus de canaux asynchrones, par une annotation des messages (par des estampilles) ou par un protocole particulier. Si ces implémentations ont été vérifiées isolément, il n existe pas actuellement de travaux étudiant leur interaction. Autrement dit, on aimerait pouvoir 4
5 déduire la correction et la complexité d une implémentation de plusieurs canaux de la correction et la complexité des implémentations de chaque canal. Le second aspect concerne le système sous-jacent et ses caractéristiques de communication. En effet pour rester général, on suppose généralement que le système est asynchrone c est-à-dire sans borne supérieure sur les temps de transmission des messages ni sur la vitesse relative des processus. En réalité de telles bornes existent le plus souvent mais sont assez élevées pour rendre des solutions fondées dessus inefficaces. Des travaux récents au Technion prospectent la redéfinition de la notion de causalité dans le cas où la communication est synchrone. En effet, dans un tel contexte, on peut avoir de l information concernant un site distant sans communiquer avec lui alors que dans le cas des systèmes asynchrones toute information distante est véhiculée par une séquence causale de messages. Ainsi, il est possible de déterminer si un processus ne fonctionne plus, en attendant, alors que dans le cas purement asynchrone, cette défaillance peut être confondue avec une communication infiniment lente. Avec l hypothèse d une communication synchrone (avec un délai), il devient possible d améliorer pratiquement les algorithmes conçus pour la communication complètement asynchrone, par exemple pour les traitements exceptionnels dus aux défaillances. Mener à bien ces extensions modulaires et efficaces des solutions existantes suppose un cadre formel, permettant non seulement de définir les implémentations mais aussi de raisonner afin de prouver leur correction et de déterminer leur complexité. Pour ce cadre formel, nous proposons un modèle chimique. La programmation chimique est un modèle abstrait construit sur une métaphore, la réaction chimique, et intégrant nativement la répartition et le parallélisme [BFM00, BB92]. Un programme, défini par un ensemble de règles décrivant des réactions chimiques, s exécute sur une machine abstraite chimique. Cette machine est naturellement répartie et permet d exprimer aisément du parallélisme, pour lequel les réactions s effectuent réellement simultanément (et non séquentiellement par entrelacement). C est avant tout un cadre sémantique [BB92], dans lequel il est possible d interpréter les langages ou calculs tant concurrents que répartis. Il sera ainsi facile d instancier le modèle formel pour l utiliser concrètement dans des applications. Précisément, le cadre formel s appuiera sur un modèle chimique et son langage associé, tous deux développés au sein d Ascola ces dernières années [LGL10, ADG + 12, A + 11]. Fondé sur une sémantique chimique, le modèle est entièrement formalisé, fournissant une spécification précise du langage et ouvrant la possibilité de développer des méthodes et techniques de raisonnement formel. Le langage est une implémentation fidèle du modèle, programmée en Scala : il permettra des expérimentations. Pour les preuves, un assistant à la preuve comme Coq pourra être utilisé pour formaliser le modèle, syntaxiquement et sémantiquement, et ses propriétés. Cette dernière activité pourra s appuyer sur les compétences développées dans l équipe Ascola [LG09]. 5
6 Plan de travail prévisionnel de l étude Le travail commencera classiquement par l état de l art : il s agira d étudier et de comprendre les solutions classiques aux problèmes de causalité. Suivra une étape importante, la formalisation des solutions dans un cadre chimique, ainsi que la preuve de leur correction. Ce travail pourra être mené en utilisant un assistant à la preuve, ce qui implique un investissement initial non négligeable. Cette première étape est indispensable pour la contribution principale de la thèse : l élaboration d extensions modulaires et efficaces aux solutions classiques pour la causalité. Ces extensions pourront être développées incrémentalement, avec à chaque fois une formalisation suivie d une expérimentation. Candidats Compétences Les candidats doivent avoir des connaissances de base en programmation concurrente et répartie et en sémantique des langages de programmation. De bonnes aptitudes à la formalisation sont requises. Déclarations de candidature et résultats universitaires connus Un candidat de l école des mines de Nantes, actuellement dans l option "Génie des systèmes informatiques", effectuera son projet de fin d études sur ce sujet mêlant la causalité et la programmation chimique. Il est intéressé par une poursuite en thèse. 6
7 Bibliographie [A + 11] Diana Allam et al. Model and formal architecture specification. Deliverable D1.2, CESSA ANR project, no. 09-SEGI , January [ADG + 12] Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. A Message-Passing Model for Service Oriented Computing. In Karl- Heinz Krempels and José Cordeiro, editors, WEBIST, 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, April SciTePress Digital Library. [BB92] [BFM00] [CB91] Gérard Berry and Gérard Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1) : , Jean-Pierre Banâtre, Pascal Fradet, and Daniel Le Métayer. Gamma and the chemical reaction model : Fifteen years after. In Cristian Calude, Gheorghe Paun, Grzegorz Rozenberg, and Arto Salomaa, editors, Workshop on Multiset Processing, WMP 2000, volume 2235 of Lecture Notes in Computer Science, pages Springer, Bernadette Charron-Bost. Concerning the size of logical clocks in distributed systems. Inf. Process. Lett., 39(1) :11 16, [CBMT96] Bernadette Charron-Bost, Friedemann Mattern, and Gerard Tel. Synchronous, asynchronous, and causally ordered communication. Distributed Computing, 9(4) : , [LG09] [LGL10] Xavier Leroy and Hervà c Grall. Coinductive big-step operational semantics. Information and Computation, 207(2) : , Mayleen Lacouture, Herve Grall, and Thomas Ledoux. CREOLE : a Universal Language for Creating, Requesting, Updating and Deleting Resources. In International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), [TBB + 11] S. Tucker Taft, Joshua Bloch, Robert Bocchino, Sebastian Burckhardt, Hassan Chafi, Russ Cox, Benedict Gaster, Guy Steele, and David Ungar. Multicore, 7
8 Manycore, and Cloud Computing : Is a New Programming Language Paradigm Required? In Proceedings of the ACM international conference on Object oriented programming systems languages and applications, SPLASH 11, pages ACM,
9 CV du directeur de thèse Achour Mostefaoui est professeur à l Université de Nantes. Il est membre et responsable adjoint de l équipe GDD. Il est aussi responsable du Master 2 Compétences Complémentaires en Informatique (M2CCI). Son activité de recherche est centrée sur les systèmes répartis et aborde principalement la synchronisation et la tolérance aux fautes à travers les protocoles de communication et la conception et la mise en oeuvre de structures de données distribuées. Achour Mostefaoui a soutenu sa thèse de doctorat et son habilitation à diriger des recherches à l Université de Rennes 1 où il a été maître de conférences jusqu en
10 CV du co-encadrant Hervé Grall est chargé de recherche et d enseignement à l école des mines de Nantes. Il est membre de l équipe Ascola et responsable de l option "Génie des systèmes informatiques". Ses recherches concernent les langages de programmation et leur sémantique, ainsi que les méthodes formelles. Elles ont particulièrement eu pour domaine d application la sécurité. Avant de rejoindre l école des mines de Nantes, il a travaillé pendant dix-huit mois à Trusted Logic, une start-up issue de l INRIA spécialisée dans la sécurité pour les systèmes embarqués. Il est ingénieur civil et docteur en informatique de l école nationale des ponts et chaussées. 10
Conception des systèmes répartis
Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan
Plus en détailMétriques de performance pour les algorithmes et programmes parallèles
Métriques de performance pour les algorithmes et programmes parallèles 11 18 nov. 2002 Cette section est basée tout d abord sur la référence suivante (manuel suggéré mais non obligatoire) : R. Miller and
Plus en détailUne dérivation du paradigme de réécriture de multiensembles pour l'architecture de processeur graphique GPU
Une dérivation du paradigme de réécriture de multiensembles pour l'architecture de processeur graphique GPU Gabriel Antoine Louis Paillard Ce travail a eu le soutien de la CAPES, agence brésilienne pour
Plus en détailLe Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire
Communiquédepresse Mars2013 LeCollègedeFrancecréeunechairepérenned Informatique, Algorithmes,machinesetlangages, etnommeleprgérardberrytitulaire Leçoninauguralele28mars2013 2009avait marquéunpas importantdans
Plus en détailProblématiques de recherche. Figure Research Agenda for service-oriented computing
Problématiques de recherche 90 Figure Research Agenda for service-oriented computing Conférences dans le domaine ICWS (International Conference on Web Services) Web services specifications and enhancements
Plus en détailNouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires
Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires Julien Jorge, Xavier Gandibleux Laboratoire d Informatique de Nantes Atlantique
Plus en détailExclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011
Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 9 février 2011 Arnaud Labourel (Université de Provence) Exclusion Mutuelle 9 février 2011 1 / 53 Contexte Epistémologique
Plus en détailProposition de sujet de thèse CIFRE EUROCOPTER / LGI2P
EUROCOPTER SAS Groupe EADS Marignane Ecole des Mines d Alès Laboratoire de Génie Informatique et d Ingénierie de Production LGI2P Nîmes Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P Titre Domaine
Plus en détailTHÈ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étailAnalyse,, Conception des Systèmes Informatiques
Analyse,, Conception des Systèmes Informatiques Méthode Analyse Conception Introduction à UML Génie logiciel Définition «Ensemble de méthodes, techniques et outils pour la production et la maintenance
Plus en détailCurriculum Vitae 1 er février 2008
Curriculum Vitae 1 er février 2008 Informations générales Cédric MEUTER Nationalité belge Né à La Louvière, le 16 novembre 1979 Adresse personnelle : Adresse professionnelle : Ave Général Bernheim, 57
Plus en détailSujet 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étailTravail collaboratif. Glossaire
Glossaire Ajax Traduction anglaise : Ajax (Asynchronous JavaScript And XML) AJAX est un combiné de différents langages de développement Web comme XHTML, JavaScript ou XML, il est fréquemment utilisé pour
Plus en détailElasticité 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étailHigh Performance by Exploiting Information Locality through Reverse Computing. Mouad Bahi
Thèse High Performance by Exploiting Information Locality through Reverse Computing Présentée et soutenue publiquement le 21 décembre 2011 par Mouad Bahi pour l obtention du Doctorat de l université Paris-Sud
Plus en détailCours 1 : La compilation
/38 Interprétation des programmes Cours 1 : La compilation Yann Régis-Gianas yrg@pps.univ-paris-diderot.fr PPS - Université Denis Diderot Paris 7 2/38 Qu est-ce que la compilation? Vous avez tous déjà
Plus en détailConditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.
Proposition de stage de BAC+4 ou BAC+5 Pro ou Recherche Etude comparative des outils de vérification d'algorithmes parallèles Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide
Plus en détailMaî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étailIntroduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr
Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans
Plus en détailUne 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.
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
Plus en détailÉvaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
Plus en détail4.2 Unités d enseignement du M1
88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter
Plus en détailINGENIERIE DES SYSTEMES INFORMATIQUES - PARCOURS : MOBILITE ET CLOUD COMPUTING
INGENIERIE DES SYSTEMES INFORMATIQUES - PARCOURS : MOBILITE ET CLOUD COMPUTING Préparez ce diplôme à l école de d ingénierie de l IGA OBJECTIFS DE LA FORMATION Dans un contexte de mutation économique et
Plus en détailIFT2255 : Génie logiciel
IFT2255 : Génie logiciel Chapitre 6 - Analyse orientée objets Section 1. Introduction à UML Julie Vachon et Houari Sahraoui 6.1. Introduction à UML 1. Vers une approche orientée objet 2. Introduction ti
Plus en détailProblèmes arithmétiques issus de la cryptographie reposant sur les réseaux
Problèmes arithmétiques issus de la cryptographie reposant sur les réseaux Damien Stehlé LIP CNRS/ENSL/INRIA/UCBL/U. Lyon Perpignan, Février 2011 Damien Stehlé Problèmes arithmétiques issus de la cryptographie
Plus en détailCURRICULUM 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étailCryptologie. Algorithmes à clé publique. Jean-Marc Robert. Génie logiciel et des TI
Cryptologie Algorithmes à clé publique Jean-Marc Robert Génie logiciel et des TI Plan de la présentation Introduction Cryptographie à clé publique Les principes essentiels La signature électronique Infrastructures
Plus en détailArchitecture 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étailIntroduction au génie logiciel
Introduction au génie logiciel Guillaume Laurent ENSMM 2007 G. Laurent (ENSMM) Introduction au génie logiciel 2007 1 / 36 Plan du cours 1 Problématique du génie logiciel 2 Méthodes de développement logiciel
Plus en détailModèle multi-agents de prise de décision éthique
Équipe Modèles, Agents, Décision Laboratoire GREYC CNRS UMR 6072 Université de Caen Basse-Normandie ENSICAEN Boulevard du Maréchal Juin CS 14 032, 14 032 Caen Cedex 5 Tel. : +33 (0)2 31 56 74 84 Fax :
Plus en détailISFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES GRANDE ÉCOLE D ACTUARIAT ET DE GESTION DES RISQUES
ISFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES GRANDE ÉCOLE D ACTUARIAT ET DE GESTION DES RISQUES L ISFA et ses formations Focus sur S2IFA INSTITUT DE SCIENCE FINANCIÈRE ET D ASSURANCES L ISFA, CRÉÉ
Plus en détailDes solutions J2EE open source professionnelles adaptées à votre système d information d entreprise
Des solutions J2EE open source professionnelles adaptées à votre système d information d entreprise Vendredi 26 Novembre 2004 9h.00 Espace Batignolles 18 rue de la Condamine 75017 Paris www.espace-batignolles.com
Plus en détailMaster 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étailCours n 12. Technologies WAN 2nd partie
Cours n 12 Technologies WAN 2nd partie 1 Sommaire Aperçu des technologies WAN Technologies WAN Conception d un WAN 2 Lignes Louées Lorsque des connexions dédiées permanentes sont nécessaires, des lignes
Plus en détailVérification formelle de la plate-forme Java Card
Vérification formelle de la plate-forme Java Card Thèse de doctorat Guillaume Dufay INRIA Sophia Antipolis Cartes à puce intelligentes Java Card : Environnement de programmation dédié. Dernières générations
Plus en détailPrincipe de la messagerie électronique
Principe de la messagerie électronique Plan Des notions de base Principe de la messagerie électronique Une boîte aux lettres (compte) électronique? Une adresse électronique? Un courrier électronique? Un
Plus en détailL EAI. par la pratique. François Rivard. Thomas Plantain. Groupe Eyrolles, 2003 ISBN : 2-212-11199-1
L EAI par la pratique François Rivard Thomas Plantain ISBN : 2-212-11199-1 Table des matières Avant-propos................................................ Quel est l objectif de cet ouvrage...............................
Plus en détailPatrons de Conception (Design Patterns)
Patrons de Conception (Design Patterns) Introduction 1 Motivation Il est difficile de développer des logiciels efficaces, robustes, extensibles et réutilisables Il est essentiel de comprendre les techniques
Plus en détailMaster (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étailMachines virtuelles Cours 1 : Introduction
Machines virtuelles Cours 1 : Introduction Pierre Letouzey 1 pierre.letouzey@inria.fr PPS - Université Denis Diderot Paris 7 janvier 2012 1. Merci à Y. Régis-Gianas pour les transparents Qu est-ce qu une
Plus en détailGé nié Logiciél Livré Blanc
Gé nié Logiciél Livré Blanc Version 0.2 26 Octobre 2011 Xavier Blanc Xavier.Blanc@labri.fr Partie I : Les Bases Sans donner des définitions trop rigoureuses, il faut bien commencer ce livre par énoncer
Plus en détailÉvaluation des logiciels et autres réalisations
DOCUMENT D ANALYSE DE LA COMMISSION D ÉVALUATION DE L INRIA Évaluation des logiciels et autres réalisations Préparé par David Margery, Jean-Pierre Merlet, Cordelia Schmid, Agnès Sulem, Paul Zimmermann
Plus en détailVers 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étailSemestre 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étailFaites grandir votre carrière!
Faites grandir votre carrière! Executive Certificate Architecture et Cloud Computing www.centraleparis-si.com Découvrez l Executive Certificate Comprendre les enjeux du Cloud Computing et concevoir des
Plus en détailGarantir une meilleure prestation de services et une expérience utilisateur optimale
LIVRE BLANC Garantir une meilleure prestation de services et une expérience utilisateur optimale Mai 2010 Garantir une meilleure prestation de services et une expérience utilisateur optimale CA Service
Plus en détailbasée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML
basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB www.enseirb.fr/~legal Olivier Augereau Formation UML http://olivier-augereau.com Sommaire Introduction I) Les bases II) Les diagrammes
Plus en détailAlgorithmique répartie
Université Joseph Fourier 23/04/2014 Outline 1 2 Types de communication message envoyé à un groupe de processus Broadcast (diffusion) message envoyé à tous les processus du systèmes Unicast message envoyé
Plus en détailGL - 2 2.1 Le Génie Logiciel
GL - 2 2.1 Le Génie Logiciel Lydie du Bousquet Lydie.du-bousquet@imag.fr En collaboration avec J.-M. Favre, I. Parissis, Ph. Lalanda 1 Rappels La production logicielle est une activité complexe de façon
Plus en détailSUPPLEMENT AU DIPLOME
SUPPLEMENT AU DIPLOME Préambule : «Le présent supplément au diplôme suit le modèle élaboré par la Commission européenne, le Conseil de l Europe et l UNESCO/CEPES. Le supplément vise à fournir des données
Plus en détailGrandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test
Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite
Plus en détailSolution A La Gestion Des Objets Java Pour Des Systèmes Embarqués
International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des
Plus en détailMASTER ECONOMIE APPLIQUEE
Le Master Economie Appliquée est destiné à des étudiants ayant reçu une formation universitaire solide en économie, statistiques, mathématiques et économétrie. Ce Master propose un cursus sur deux années
Plus en détailLe cloud,c est quoi au juste?
Le cloud,c est quoi au juste? Yves LE ROUX Principal Consultant CA technologies Yves.leroux@ca.com Colloque «Cloud computing: Théorie et pratique» du 29 novembre 2012 Yves LE ROUX Yves Le Roux capitalise
Plus en détailComment promouvoir le Cloud dans l'entreprise?
Comment promouvoir le Cloud dans l'entreprise? Pascal OGNIBENE, Directeur Technique VALTECH pascal.ognibene@valtech.fr Hervé DESAUNOIS, Consultant Sénior VALTECH herve.desaunois@valtech.fr ph Sommaire
Plus en détailFORMATION CONTINUE SUR L UTILISATION D EXCEL DANS L ENSEIGNEMENT Expérience de l E.N.S de Tétouan (Maroc)
87 FORMATION CONTINUE SUR L UTILISATION D EXCEL DANS L ENSEIGNEMENT Expérience de l E.N.S de Tétouan (Maroc) Dans le cadre de la réforme pédagogique et de l intérêt que porte le Ministère de l Éducation
Plus en détailProcessus d Informatisation
Processus d Informatisation Cheminement de la naissance d un projet jusqu à son terme, deux grandes étapes : Recherche ou étude de faisabilité (en amont) L utilisateur a une idée (plus ou moins) floue
Plus en détailProgrammation d'agents intelligents Vers une refonte des fils de raisonnement. Stage de fin d'études Master IAD 2006
vendredi 8 septembre 2006 Programmation d'agents intelligents Vers une refonte des fils de raisonnement Stage de fin d'études Master IAD 2006 Benjamin DEVEZE Responsable : M. Patrick TAILLIBERT Plan Plan
Plus en détailSTATISTIQUES A DEUX VARIABLES
Evaluation de Mathématiques Bac Pro Date : STATISTIQUES A DEUX VARIABLES Liste des capacités, connaissances et attitudes évaluées Capacités Connaissances Attitudes Evaluation A l aide des TIC, représenter
Plus en détailSystèmes et algorithmes répartis
Systèmes et algorithmes répartis Tolérance aux fautes Philippe Quéinnec Département Informatique et Mathématiques Appliquées ENSEEIHT 4 novembre 2014 Systèmes et algorithmes répartis V 1 / 45 plan 1 Sûreté
Plus en détailMATHEMATIQUES ET SCIENCES POUR L INGENIEUR
MASTER SCIENCES, TECHNOLOGIES, SANTE/STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Informatique www.univ-littoral.fr OBJECTIFS DE LA FORMATION Le master Informatique se compose de deux parcours et se
Plus en détailGL - 2 2.2 Processus de développement Cycles de vie
GL - 2 2.2 Processus de développement Cycles de vie Lydie du Bousquet Lydie.du-bousquet@imag.fr En collaboration avec J.-M. Favre, Ph. Lalanda, I. Parissis, Y. Ledru 1 Plan Introduction Modèles en cascade
Plus en détailSMU MEDITERRANEAN. SOUTH MEDITERRANEAN UNIVERSITY Première Université Anglophone en Tunisie (Depuis 2002)
SMU SOUTH MEDITERRANEAN UNIVERSITY Première Université Anglophone en Tunisie (Depuis 2002) MEDITERRANEAN institute OF TECHNOLOGY The Unique English-Speaking Engineering School in Tunisia 'Masters in Systems
Plus en détailApplication de la méthode QFD comme outil d'extraction des connaissances métier en conception intégrée
Application de la méthode QFD comme outil d'extraction des connaissances métier en conception intégrée Estelle FREY, Samuel GOMES, Jean-Claude SAGOT Laboratoire Systèmes et Transports Equipe ERgonomie
Plus en détailOption GSI Génie et Systèmes Informatiques
MINES NANTES PROJETS de fin d étude Option GSI Génie et Systèmes Informatiques 1 er juillet 2013 2 juillet 2013 Août2013 > Amphithéâtre Jean Teillac > Amphithéâtre Sadi Carnot 1 er juillet 2013 / Amphithéâtre
Plus en détailCours Master 2, 2011
Révision Mobilité, Cours Master 2, 2011 Michel Habib habib@liafa.jussieu.fr http://www.liafa.jussieu.fr/~habib Mars 2011 Plan Le déclin programmé du pair-à-pair? Un peu d espoir quand même Grid et autres
Plus en détailLes systèmes de base de données temps réels. Pokrovskaya Natalia, Kabbali Nadia
Les systèmes de base de données temps réels Pokrovskaya Natalia, Kabbali Nadia Année académique 2008-2009 Table des matières 1 Introduction 2 2 Système de gestion de bases de données classiques 3 3 Systèmes
Plus en détailBusiness Process Execution Language
Business Process Execution Language Rapport du projet de systèmes distribués d information Markus Lindström 6 mai 2009 Motivation personnelle Le sujet que j ai retenu et présenté dans le cadre du cours
Plus en détailChange 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étailCours Bases de données
Informations sur le cours Cours Bases de données 9 (10) séances de 3h Polycopié (Cours + TD/TP) 3 année (MISI) Antoine Cornuéjols www.lri.fr/~antoine antoine.cornuejols@agroparistech.fr Transparents Disponibles
Plus en détailUniversité du Québec à Chicoutimi. Département d informatique et de mathématique. Plan de cours. Titre : Élément de programmation.
Université du Québec à Chicoutimi Département d informatique et de mathématique Plan de cours Titre : Élément de programmation Sigle : 8inf 119 Session : Automne 2001 Professeur : Patrice Guérin Local
Plus en détailCurriculum Vitae. Informations générales
Sandy CAMPART Maître de conférences de sciences économiques Membre permanent du CREM (UMR CNRS 6211) Directeur délégué à la formation continue de l IUP Banque Assurance de Caen Responsable de la licence
Plus en détailConseils, inscription et accompagnement pour vos études en Australie
Conseils, inscription et accompagnement pour vos études en Australie Représentant de plus de 100 établissements australiens, universités et centres de langues. NOS SERVICES Conseils, inscriptions et accompagnement
Plus en détailSOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique
SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique DOMAINE P3.C3.D1. Pratiquer une démarche scientifique et technologique, résoudre des
Plus en détailLaboratoire 4 Développement d un système intelligent
DÉPARTEMENT DE GÉNIE LOGICIEL ET DES TI LOG770 - SYSTÈMES INTELLIGENTS ÉTÉ 2012 Laboratoire 4 Développement d un système intelligent 1 Introduction Ce quatrième et dernier laboratoire porte sur le développement
Plus en détailFilière métier : Administrateur messagerie et portail collaboratif
Filière métier : Administrateur messagerie et portail collaboratif L émergence de nouveaux outils (webcam, forum en ligne, messagerie instantanée ) à côté des outils traditionnels (pack office, moteur
Plus en détailLes Architectures Orientées Services (SOA)
Les Architectures Orientées Services (SOA) Ulrich Duvent Guillaume Ansel Université du Littoral Côte d Opale 50, Rue Ferdinand Buisson BP 699 62228 Calais Cedex Téléphone (33) 03.21.46.36.92 Télécopie
Plus en détailProfil d études détaillé. Section : Informatique et systèmes Finalité : Technologie de l informatique
Section : Informatique et systèmes Finalité : Technologie de l informatique Page 1/6 1. Introduction L enseignement de la Haute Ecole Louvain en Hainaut donne la place centrale à l étudiant. Celui-ci trouvera
Plus en détailCEG4566/CSI4541 Conception de systèmes temps réel
CEG4566/CSI4541 Conception de systèmes temps réel Chapitre 6 Vivacité, sécurité (Safety), fiabilité et tolérance aux fautes dans les systèmes en temps réel 6.1 Introduction générale aux notions de sécurité
Plus en détailVIII- Circuits séquentiels. Mémoires
1 VIII- Circuits séquentiels. Mémoires Maintenant le temps va intervenir. Nous avions déjà indiqué que la traversée d une porte ne se faisait pas instantanément et qu il fallait en tenir compte, notamment
Plus en détailLes diagrammes de modélisation
L approche Orientée Objet et UML 1 Plan du cours Introduction au Génie Logiciel L approche Orientée Objet et Notation UML Les diagrammes de modélisation Relations entre les différents diagrammes De l analyse
Plus en détailNFP111 Systèmes et Applications Réparties
NFP111 Systèmes et Applications Réparties 1 de 34 NFP111 Systèmes et Applications Réparties Cours 7 - CORBA/Partie 1 Claude Duvallet Université du Havre UFR Sciences et Techniques 25 rue Philippe Lebon
Plus en détailEfficacité énergétique des réseaux de cœur et d accès
Efficacité énergétique des réseaux de cœur et d accès David Coudert Joanna Mouliérac, Frédéric Giroire MASCOTTE I3S (CNRS/Université Nice Sophia-Antipolis) INRIA Sophia-Antipolis Méditerranée 1 Contexte
Plus en détailGuide du/de la candidat/e pour l élaboration du dossier ciblé
Guide du/de la candidat/e pour l élaboration du dossier ciblé en vue de l obtention du titre de "Conseiller ère diplômé e en orientation professionnelle, universitaire et de carrière" par la validation
Plus en détailSugarCubes. Jean-Ferdinand Susini Maître de Conférences, CNAM Chaire systèmes enfouis et embarqués. Paris, le 9 janvier, 2009
SugarCubes Jean-Ferdinand Susini Maître de Conférences, CNAM Chaire systèmes enfouis et embarqués Paris, le 9 janvier, 2009 Plan 2 Les SugarCubes au dessus de J2ME Quelques résultats expérimentaux Les
Plus en détailRapport d activité. Mathieu Souchaud Juin 2007
Rapport d activité Mathieu Souchaud Juin 2007 Ce document fait la synthèse des réalisations accomplies durant les sept premiers mois de ma mission (de novembre 2006 à juin 2007) au sein de l équipe ScAlApplix
Plus en détailTEPZZ 568448A_T EP 2 568 448 A1 (19) (11) EP 2 568 448 A1 (12) DEMANDE DE BREVET EUROPEEN. (51) Int Cl.: G07F 7/08 (2006.01) G06K 19/077 (2006.
(19) TEPZZ 68448A_T (11) EP 2 68 448 A1 (12) DEMANDE DE BREVET EUROPEEN (43) Date de publication: 13.03.2013 Bulletin 2013/11 (1) Int Cl.: G07F 7/08 (2006.01) G06K 19/077 (2006.01) (21) Numéro de dépôt:
Plus en détailSemarchy Convergence for MDM La Plate-Forme MDM Évolutionnaire
FICHE PRODUIT Semarchy Convergence for MDM La Plate-Forme MDM Évolutionnaire BENEFICES POUR LES DSI Réussir les projets de gouvernance dans les délais et les budgets Démarrer de manière tactique tout en
Plus en détailUne proposition d extension de GML pour un modèle générique d intégration de données spatio-temporelles hétérogènes
303 Schedae, 2007 Prépublication n 46 Fascicule n 2 Une proposition d extension de GML pour un modèle générique d intégration de données spatio-temporelles hétérogènes Samya Sagar, Mohamed Ben Ahmed Laboratoire
Plus en détailPour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur
Pour chaque projet est indiqué son titre, le ou les laboratoires participants ainsi que le coordinateur ARROWS Structures de données avec pointeurs sûres : une approche déclarative de leur spécification
Plus en détailMessagerie asynchrone et Services Web
Article Messagerie asynchrone et Services Web 1 / 10 Messagerie asynchrone et Services Web SOAP, WSDL SONT DES STANDARDS EMERGEANT DES SERVICES WEB, LES IMPLEMENTATIONS DE CEUX-CI SONT ENCORE EN COURS
Plus en détailMon métier, mon parcours
Mon métier, mon parcours Anthony, ingénieur d études diplômé d un Master Réseaux, application documentaire, ingénierie et sécurité Les métiers de l Informatique Le domaine Sciences, Technologies, Santé
Plus en détail_Mathan, thomas & laura, étudiants esiea DE NOUVEAUX VISAGES POUR LE NUMÉRIQUE. Cycle ingénieur Campus de Paris & Laval
_Mathan, thomas & laura, étudiants esiea DE NOUVEAUX VISAGES POUR LE NUMÉRIQUE Cycle ingénieur Campus de Paris & Laval avec l'esiea Plongez au coeur des SCienCES & technologies du numérique Les nouveaux
Plus en détailLa vie privée à l ère du numérique : approches philosophiques et informatiques
La vie privée à l ère du numérique : approches philosophiques et informatiques - Doctorant Encadrement : Christine Verdier, Philippe Saltel Aurelien.Faravelon@imag.fr 1 Plan Introduction : un monde de
Plus en détailModélisation aléatoire en fiabilité des logiciels
collection Méthodes stochastiques appliquées dirigée par Nikolaos Limnios et Jacques Janssen La sûreté de fonctionnement des systèmes informatiques est aujourd hui un enjeu économique et sociétal majeur.
Plus en détailT. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet 5
Modélisation de la performance et optimisation d un algorithme hydrodynamique de type Lagrange-Projection sur processeurs multi-cœurs T. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet
Plus en détailJeudi 19 Juin 2014 Novotel Paris Bercy http://www.plmlab.fr/btb10
Journée «Back to basics 10» de l association PLM lab PLM et Ingénierie Concourante Mettre en place une collaboration entre les métiers ; le cas de la mécatronique et autres exemples Jeudi 19 Juin 2014
Plus en détailStructuration des décisions de jurisprudence basée sur une ontologie juridique en langue arabe
Structuration des décisions de jurisprudence basée sur une ontologie juridique en langue arabe Karima Dhouib, Sylvie Després Faiez Gargouri ISET - Sfax Tunisie, BP : 88A Elbustan ; Sfax karima.dhouib@isets.rnu.tn,
Plus en détailServices OSI. if G.Beuchot. Services Application Services Présentation - Session Services Transport - Réseaux - Liaison de Données - Physique
Services OSI Services Application Services Présentation - Session Services Transport - Réseaux - Liaison de Données - Physique 59 SERVICES "APPLICATION" Architecture spécifique : ALS (Application Layer
Plus en détail