Programmer des applications réparties

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

Download "Programmer des applications 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 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 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étail

Métriques de performance pour les algorithmes et programmes parallèles

Mé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étail

Une 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 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étail

Le Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire

Le 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étail

Figure 1. Structure répartie

Figure 1. Structure répartie Chapitre I: Applications Réparties et Middleware 1. Définition d une application répartie Une application répartie est constituée d un ensemble de processus (d objets, d agents, d acteurs) s exécutant

Plus en détail

Architecture Logicielle

Architecture Logicielle Architecture Logicielle Chapitre 3: UML pour la description et la documentation d une architecture logicielle Année universitaire 2013/2014 Semestre 1 Rappel L architecture d un programme ou d un système

Plus en détail

Problématiques de recherche. Figure Research Agenda for service-oriented computing

Problé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étail

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits 1 d Automatisation de la certification formelle de systèmes critiques par instrumentation d sous la direction de Michaël Périn Soutenance de Thèse de Doctorat Université de Grenoble - Laboratoire Verimag

Plus en détail

Une calculatrice qui manipule les régions cubiques

Une calculatrice qui manipule les régions cubiques Une calculatrice qui manipule les régions cubiques Emmanuel Haucourt 1 Introduction Alors qu une calculatrice usuelle effectue des opérations numériques (addition, multiplication, soustraction, division,

Plus en détail

Nouvelles 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 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étail

Exclusion Mutuelle. Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr. Université de Provence. 9 février 2011

Exclusion 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é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

Proposition de sujet de thèse CIFRE EUROCOPTER / LGI2P

Proposition 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étail

Analyse,, Conception des Systèmes Informatiques

Analyse,, 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étail

Curriculum Vitae 1 er février 2008

Curriculum 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étail

NFP111 Systèmes et Applications Réparties

NFP111 Systèmes et Applications Réparties NFP111 Systèmes et Applications Réparties 1 de 46 NFP111 Systèmes et Applications Réparties Cours 2 - Les appels de procédure distants (Partie 1) Claude Duvallet Université du Havre UFR Sciences et Techniques

Plus en détail

Processus de décision répartis

Processus de décision répartis Processus de décision répartis Florent Matignon Renato Matuzaki Honda Miguel Robles 30 mars 2010 Table des matières I Introduction 2 Système réparti 2 II L'état global 2 1 Introduction 2 1.1 La problématique.........................................

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

plan Systèmes et algorithmes répartis Plan Sources Principes et concepts Les parfums Les épines Exemple Un principe de conception

plan Systèmes et algorithmes répartis Plan Sources Principes et concepts Les parfums Les épines Exemple Un principe de conception Préambule Définition et problématique Modélisation des systèmes répartis Préambule Définition et problématique Modélisation des systèmes répartis plan Systèmes et algorithmes répartis et concepts Philippe

Plus en détail

[Résumé: Intégration d un contrôle automatisé dans une station de test électrique]

[Résumé: Intégration d un contrôle automatisé dans une station de test électrique] SEPTEMBRE 2013 INSA de Strasbourg Génie électrique : Option énergie Par : Adnane BOUKHEFFA Tuteur Institutionnel : M. Guy STURTZER Réalisé au sein du Groupe Legrand 290 Avenue de Colmar, Strasbourg 67100

Plus en détail

Travail collaboratif. Glossaire

Travail 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é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

Cours 1 : La compilation

Cours 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étail

Introduction 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 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étail

Conditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.

Conditions : 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étail

Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises

Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises Jihed Touzi, Frédérick Bénaben, Hervé Pingaud Thèse soutenue au Centre de Génie Industriel - 9

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

Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents

Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents Directeur de thèse : Bruno Zanuttini GREYC, UMR 6072 UNICAEN/CNRS/ENSICAEN, équipe MAD Démarrage

Plus en détail

OFFRE DE FORMATION L.M.D.

OFFRE DE FORMATION L.M.D. REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE OFFRE DE FORMATION L.M.D. MASTER PROFESSIONNEL ET ACADEMIQUE Systèmes d Information

Plus en détail

Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016

Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016 Programme du cycle ingénieur Cnam spécialité informatique par l alternance Année 2015-2016 Ingénieur en Informatique en Contrat de Professionnalisation - Année I1 RSX102 Technologies pour les applications

Plus en détail

High Performance by Exploiting Information Locality through Reverse Computing. Mouad Bahi

High 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étail

CAPE: Context-Aware Agile Business Process Engine

CAPE: Context-Aware Agile Business Process Engine CAPE: Context-Aware Agile Business Process Engine Irina Rychkova, Manuele Kirsch Pinheiro, Bénédicte Le Grand To cite this version: Irina Rychkova, Manuele Kirsch Pinheiro, Bénédicte Le Grand. CAPE: Context-Aware

Plus en détail

Évaluation et implémentation des langages

É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étail

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.

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. 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

4.2 Unités d enseignement du M1

4.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étail

INGENIERIE DES SYSTEMES INFORMATIQUES - PARCOURS : MOBILITE ET CLOUD COMPUTING

INGENIERIE 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étail

Introduction au développement du logiciel

Introduction au développement du logiciel Introduction au développement du logiciel Vers le génie logiciel Université de Nantes Master Miage M1 Plan 1 Introduction 2 Génie logiciel 3 Projet informatique 4 Méthode de développement 5 Qualité Bibliographie

Plus en détail

IFT2255 : Génie logiciel

IFT2255 : 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étail

Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel

Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel Coordonnateur Dominique Méry LORIA,Université Henri Poincaré Nancy 1 Partenaire 3 Mohamed Mosbah

Plus en détail

APPEL A PROJETS DE RECHERCHE 2015

APPEL A PROJETS DE RECHERCHE 2015 INSTITUT DE FORMATION SUPERIEURE DES CADRES DIRIGEANTS RESEAU DE CHERCHEURS DE L INSTITUT DE FORMATION SUPERIEUR DES CADRES DIRIGEANTS APPEL A PROJETS DE RECHERCHE 2015 La Fédération des Etablissements

Plus en détail

Cours : INF 752 Techniques de vérification et de validation Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI

Cours : INF 752 Techniques de vérification et de validation Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI Faculté des sciences Centre de formation en technologies de l information Cours : INF 752 Techniques de vérification et de validation Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI 1.

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

Introduction au génie logiciel

Introduction 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étail

Intégration d un mécanisme de reprise d applications parallèles dans un système d exploitation pour grappe

Intégration d un mécanisme de reprise d applications parallèles dans un système d exploitation pour grappe Institut de Formation Supérieur en Informatique et Communication Université de Rennes 1 Campus de Beaulieu 35042 RENNES Institut de Recherche en Informatique et Systèmes Aléatoires Campus Universitaire

Plus en détail

Vérification Formelle des Aspects de Cohérence d un Workflow net

Vérification Formelle des Aspects de Cohérence d un Workflow net Vérification Formelle des Aspects de Cohérence d un Workflow net Abdallah Missaoui Ecole Nationale d Ingénieurs de Tunis BP. 37 Le Belvédère, 1002 Tunis, Tunisia abdallah.missaoui@enit.rnu.tn Zohra Sbaï

Plus en détail

Optimisation des performances du programme mpiblast pour la parallélisation sur grille de calcul

Optimisation des performances du programme mpiblast pour la parallélisation sur grille de calcul Optimisation des performances du programme mpiblast pour la parallélisation sur grille de calcul Mohieddine MISSAOUI * Rapport de Recherche LIMOS/RR-06-10 20 novembre 2006 * Contact : missaoui@isima.fr

Plus en détail

Autostabilisation. de l exclusion mutuelle sur un anneau à l élection d un chef sur un graphe quelconque

Autostabilisation. de l exclusion mutuelle sur un anneau à l élection d un chef sur un graphe quelconque : de l exclusion mutuelle sur un anneau à l élection d un chef sur un graphe quelconque Laboratoire d Informatique Fondamentale d Orléans, Université d Orléans, Orléans, FRANCE JIRC 30 juin 2005 Blois

Plus en détail

Modélisation Principe Autre principe

Modélisation Principe Autre principe Modélisation Principe : un modèle est une abstraction permettant de mieux comprendre un objet complexe (bâtiment, économie, atmosphère, cellule, logiciel, ). Autre principe : un petit dessin vaut mieux

Plus en détail

Cryptologie. 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 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é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

Architectures logicielles pour les systèmes embarqués temps réel

Architectures logicielles pour les systèmes embarqués temps réel ETR 07 4 septembre 2007 Architectures logicielles pour les systèmes embarqués temps réel Jean-Philippe Babau, Julien DeAntoni jean-philippe.babau@insa-lyon.fr 1/31 Plan Architectures logicielles pour les

Plus en détail

Les Interacteurs Hiérarchisés 1

Les Interacteurs Hiérarchisés 1 Les Interacteurs Hiérarchisés 1 Une architecture orientée tâches pour la conception des dialogues. Patrick Girard, Guy Pierra, Laurent Guittet LISI, ENSMA, Site du Futuroscope - B.P. 109-86960 FUTUROSCOPE

Plus en détail

Sécurité des logiciels et analyse statique

Sécurité des logiciels et analyse statique Sécurité des logiciels et analyse statique David Pichardie Projet Lande, INRIA Rennes - Bretagne Atlantique Introduction générale à l analyse statique Analyse de programme Objet : déduire mécaniquement

Plus en détail

Problè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 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étail

Historique. Évolution des systèmes d exploitation (à travers les âges)

Historique. Évolution des systèmes d exploitation (à travers les âges) Historique Évolution des systèmes d exploitation (à travers les âges) Historique L histoire des systèmes d exploitation permet de dégager des concepts de base que l on retrouve dans les systèmes actuels

Plus en détail

Tolérance aux pannes

Tolérance aux pannes Tolérance aux pannes Arnaud Labourel Université de Provence 15 mars 2012 Arnaud Labourel (Université de Provence) Tolérance aux pannes 15 mars 2012 1 / 55 Présentation Tolérances aux pannes Pannes Définition

Plus en détail

Modèle multi-agents de prise de décision éthique

Modè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étail

ISFA 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 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étail

La chasse aux bugs : pourquoi? Les bugs en informatique. La chasse aux bugs : pourquoi? Des bugs logiciels aux conséquences désastreuses (1)

La chasse aux bugs : pourquoi? Les bugs en informatique. La chasse aux bugs : pourquoi? Des bugs logiciels aux conséquences désastreuses (1) La chasse aux bugs : pourquoi? Les bugs en informatique où pourquoi faire un peu de maths quand c est utile Les bugs sont partie intégrante de l informatique. Mais en fait... les bugs, est-ce si grave?

Plus en détail

Les principaux domaines de l informatique

Les principaux domaines de l informatique Les principaux domaines de l informatique... abordés dans le cadre de ce cours: La Programmation Les Systèmes d Exploitation Les Systèmes d Information La Conception d Interfaces Le Calcul Scientifique

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

Vérification formelle de la plate-forme Java Card

Vé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étail

Des 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 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étail

Cours n 12. Technologies WAN 2nd partie

Cours 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étail

Rôle des STIC dans les grands enjeux sociétaux, économiques et environnementaux. La Vision d ALLISTENE. 5 janvier 2012 Michel Cosnard

Rôle des STIC dans les grands enjeux sociétaux, économiques et environnementaux. La Vision d ALLISTENE. 5 janvier 2012 Michel Cosnard A Rôle des STIC dans les grands enjeux sociétaux, économiques et environnementaux La Vision d ALLISTENE 5 janvier 2012 Michel Cosnard Missions d Allistene Stratégie de recherche et d innovation Distingue

Plus en détail

Patrons de Conception (Design Patterns)

Patrons 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étail

L 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. 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é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

Standardisation des réseaux de Petri : état de l art et enjeux futurs. Lom M. Hillah 1 et Laure Petrucci 2

Standardisation des réseaux de Petri : état de l art et enjeux futurs. Lom M. Hillah 1 et Laure Petrucci 2 Standardisation des réseaux de Petri : état de l art et enjeux futurs Lom M. Hillah 1 et Laure Petrucci 2 1 LIP6, CNRS UMR 7606 et Université Paris Ouest Nanterre La Défense Lom-Messan.Hillah@lip6.fr 2

Plus en détail

Systèmes distribués Introduction

Systèmes distribués Introduction Systèmes distribués Introduction Nabil Abdennadher nabil.abdennadher@hesge.ch http://lsds.hesge.ch/distributed-systems/ 2015/2016 Semestre d Automne 1 Aujourd hui les réseaux et les SDI sont partout! Réseaux

Plus en détail

Les systèmes RAID Architecture des ordinateurs

Les systèmes RAID Architecture des ordinateurs METAIS Cédric 2 ème année Informatique et réseaux Les systèmes RAID Architecture des ordinateurs Cédric METAIS ISMRa - 1 - LES DIFFERENTS SYSTEMES RAID SOMMAIRE INTRODUCTION I LES DIFFERENTS RAID I.1 Le

Plus en détail

Principe de la messagerie électronique

Principe 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é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

MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB

MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine ministériel : Sciences, Technologies, Santé Mention : INFORMATIQUE Spécialité

Plus en détail

Machines virtuelles Cours 1 : Introduction

Machines 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étail

Évaluation des logiciels et autres réalisations

É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é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

Gé nié Logiciél Livré Blanc

Gé 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

Faites grandir votre carrière!

Faites 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étail

Les médaillés et lauréats de la Recherche Université Nice Sophia Antipolis

Les médaillés et lauréats de la Recherche Université Nice Sophia Antipolis 2014 Les médaillés et lauréats de la Recherche Université Nice Sophia Antipolis Andrew COMPORT Chargé de recherche CNRS Maxime MEILLAND Post-doctorant Laboratoire d Informatique, Signaux et Systèmes de

Plus en détail

Master Recherche Science Technologie Santé Mention : Informatique Spécialité : Informatique Fondamentale

Master Recherche Science Technologie Santé Mention : Informatique Spécialité : Informatique Fondamentale Master Recherche Science Technologie Santé Mention : Informatique Spécialité : Informatique Fondamentale E. Fleury Eric.Fleury@inria.fr http://perso.ens-lyon.fr/eric.fleury/ Présentation générale 3 parcours

Plus en détail

B : Une méthode de développement de logiciels sûrs

B : Une méthode de développement de logiciels sûrs B : Une méthode de développement de logiciels sûrs Loïc PELHATE, Responsable de l Atelier des Logiciels de Sécurité de l Ingénierie du Transport Ferroviaire loic.pelhate@ratp.fr 9/11/01 1 1 Plan Contexte

Plus en détail

Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test

Grandes 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étail

Techniques de Développement

Techniques de Développement Techniques de Développement Quelques définitions relatives au développement de logiciel Sébastien Faucou Université de Nantes (IUT de Nantes, département Informatique) Licence Professionnelle Systèmes

Plus en détail

Garantir une meilleure prestation de services et une expérience utilisateur optimale

Garantir 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étail

SUPPLEMENT AU DIPLOME

SUPPLEMENT 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étail

Algorithmique répartie

Algorithmique 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étail

Les 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 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étail

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués

Solution 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étail

Proposition de programme de formation pour les enseignants chargés de la spécialité Informatique et sciences du numérique en terminale S

Proposition de programme de formation pour les enseignants chargés de la spécialité Informatique et sciences du numérique en terminale S Proposition de programme de formation pour les enseignants chargés de la spécialité Informatique et sciences du numérique en terminale S La formation des enseignants chargés de la spécialité Informatique

Plus en détail

GL - 2 2.1 Le Génie Logiciel

GL - 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é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

CET AVIS EST VALABLE DU 29 JUILLET 2015 AU 18 AOUT 2015

CET AVIS EST VALABLE DU 29 JUILLET 2015 AU 18 AOUT 2015 REPUBLIQUE IENNE DEMOCRATIQUE ET POPULAIRE MINISTÈRE DE L ENSEIGNEMENT SUPÉRIEUR ET DE LA RECHERCHE SCIENTIFIQUE CENTRE DE DEVELOPPEMENT DES TECHNOLOGIES AVANCEES CET AVIS EST VALABLE DU 29 JUILLET 2015

Plus en détail

FORMATION CONTINUE SUR L UTILISATION D EXCEL DANS L ENSEIGNEMENT Expérience de l E.N.S de Tétouan (Maroc)

FORMATION 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étail

Le cloud,c est quoi au juste?

Le 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étail

MASTER ECONOMIE APPLIQUEE

MASTER 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étail

Programme Luminy 2014!

Programme Luminy 2014! Programme Luminy 2014 Lundi 21 Avril Lundi 10h45 Richard Lassaigne Université Paris Diderot Introduction à la théorie de la complexité. Lundi 14h Thierry Dumont Math-Info Paris 10 Utilisation de logiciels

Plus en détail

Direction Générale des Études Technologiques. Institut Supérieur des Etudes Technologiques de Djerba Département Technologies de l informatique

Direction Générale des Études Technologiques. Institut Supérieur des Etudes Technologiques de Djerba Département Technologies de l informatique Direction Générale des Études Technologiques Institut Supérieur des Etudes Technologiques de Djerba Département Technologies de l informatique Génie Logiciel Mejdi BLAGHGI m.blaghgi@gmail.com Chapitre

Plus en détail

Programmation d'agents intelligents Vers une refonte des fils de raisonnement. Stage de fin d'études Master IAD 2006

Programmation 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étail