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

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

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

Transcription

1 Liste de conférences et revues Thème Com A April 11th, 2007 Ci-dessous, la synthèse des listes de publications fournies par les projets. Il faut noter que ACES/CEPAGE/OASIS/ n ont pas répondu et ne sont potentiellement donc pas bien représentés malheureusement. (CEPAGE a été récemment créé dans ce thème et n avait pas reçu le premier message). Le thème Com A (systèmes distribués et architectures réparties) regroupe les projets/équipes suivants: ACES - Informatique diffuse et systèmes embarqués ADEPT - Algorithmes pour des systèmes dynamiques sûrs ARLES - Architecture logicielles et systèmes distribués ASAP - As Scalable As Possible : fondements des systèmes large-échelle dynamiques (domaine algorithmes et systèmes distribués, réseaux) CEPAGE : Chercher et Essaimer dans les plate-formes à grande échelle JACQUARD - Tissage de composants logiciels OASIS - Objets actifs, sémantique, Internet et sécurité OBASCO - Objets, aspects et composants (domaines langages, génie logiciel, systèmes) PHOENIX - Technologie des langages de programmation pour les services de communication POPS - Système et Réseau pour Petits Objets Portables et Sécurisés REGAL - Répartition et gestion d'applications à large échelle SARDES - Architecture de systèmes réflexifs pour les environnements distribués TRISKELL - Construction fiable et efficace d'applications par assemblage de composants logiciels Les domaines représentés sont les suivants 1 Algorithmique distribuée 2 Système/Système distribués/p2p/réseaux 2 Langages de programmation 3 Middleware/Intergiciel

2 4 Génie logiciel 5 Réseaux, informatique diffuse Discussions De la liste issue des échanges, il semble que la hiérarchisation ACM puis IEEE est relativement respectée pour les forums nord américains. Le classement A représente les «top» et B les «très bonnes». Une question générale issue des discussions est l utilisation d une telle liste. Ma réponse ici est qu une telle liste pourrait servir deux propos dans le processus d (auto)-évaluation et d incitation. Encore une fois, le dossier purement académique est un élément parmi d autre. 1) Inciter les chercheurs à tendre vers les revues et conférences top. Il s agit d un argument constructif ainsi que donner une hiérarchie des conférences/revues aux thésards et post docs. 2) Donner des éléments concrets pour juger de la qualité des publications des dossiers dans les concours. Une autre question, complémentaire est le poids des publications par rapport aux autres facettes (transfert, développement logiciel ) dans le processus d évaluation des chercheurs et projets INRIA et auprès de la CE. ARLES ne se sent pas solidaire de cette liste tant que son utilisation n est pas définie précisément. Le taux de sélectivité n est clairement pas un critère absolu, en particulier pour les conférences. Dans les conférences top, le taux d auto censure est très important. Le taux de sélectivité est malgré tout très élevé ce qui explique que pour certains domaines les conférences sont plus sélectives que les journaux). L impact des conférences et des revues, calculé par le nombre de citations serait alors un meilleur critère. Dans les domaines concernés, les conférences sont bien souvent plus importantes (y compris en terme d impact) que les revues. Nous avons ajouté un item «conférences spécialisées» car elles sont souvent importantes pour une communauté (par exemple quant il s agit de faire émerger un nouveau domaine ; typiquement ECOOP/OOPSLA ont donné naissance aux conférences Models/AOSD/Reflection/UML/ 1) Algorithmique distribuée 1 Distributed Computing (DC), 2 JACM: Journal of the ACM 2 ACM Transaction on Algorithms 3 SICOMP (SIAM), 4 JSCC

3 5 Acta Informatica 1 JPDC: Journal of Parallel and distributed computing Elsevier 2 IEEE TPDS: Trans on Parallel and Distributed Systems 1 PODC: ACM Symposium on Principles of Distributed Computing 2 SPAA: ACM Symposium on Parallel Algorithms and Architectures 2 STOC: ACM Symposium on Theory of Computing 3 FOCS: Symposium on Foundations of Computer Science 4 DISC: International Symposium on Distributed Computing 5 DSN: IEEE/IFIP Dependable systems and networks 6 ICDCS: IEEE International Conf on Distr. Comp. Systems. 7 SIROCCO: international Colloquium on Structural Information and Communication Complexity Autres conférences specialisées: EDCC, OPODIS, ISORC Projets : ADEPT, ASAP, REGAL, SARDES, POPS 2) Systèmes distribués/ Système/P2P/ Réseaux 1 ACM TOCS (Transaction on Computer Systems) 2 IEEE JSAC (Journal on selected areas in communications) 2 ACM Computing Surveys 1 IEEE TPDS: IEEE Transaction on Parallel and Distributed Systems 2 IEEE Transaction on Computer Systems (IEEE TCS) 2 IEEE Transactions on Dependable and secure computing (TDSC) 3 IEEE Transactions on Knowledge and Data Engineering (TKDE) 4 IEEE Computer 5 Software Practice and experience 1 SOSP : ACM Symposium on Operating Systems Principle 2 OSDI : ACM Operating System Design and Implementation 2 DSN: The International Conference on Dependable Systems and Networks 1 ICDCS: IEEE International Conf on Distr. Comp. Systems 2 Middleware : ACM/IFIP/Usenix 3 HPDC : International Symposium on High Performance Distributed Computing 4 EuroSys

4 5 Usenix Annual Tech 6 NSDI: USENIX Symposium on Networked Systems Design & Implementation 7 SRDS: Symp on Reliable Distributed Systems 8 IPDPS : IEEE International Parallel & Distributed Processing Symposium 9 EMSOFT ACM Conference on Embedded Systems Software Conférence spécialisées : P2P, SSS, workshop IPTPS, hotnets, Hot OS Projets : ADEPT, (ARLES), ASAP, JACQUARD/ADAM, PHOENIX, OBASCO, REGAL, SARDES, POPS 3) Réseaux, pervasive computing 1 IEEE/ACM Transaction on Networking (TON) 2 ACM Wireless Networks 2 ACM TOCS 1 IEEE TPDS 2 IEEE Computer 1 SIGCOMM: ACM Conf on Comm Architectures, Protocols & Apps 2 MOBICOM: ACM Intl Conf on Mobile Computing and Networking 2 SIGMETRICS 3 Infocom, MobiCom, 1 MASS, MobiHoc, 2 LCN: IEEE Annual Conference on Local Computer Networks 2 MOBISYS: International Conference on Mobile Systems, Applications, and Services 3 ICC: Intl Conf on Comm Projets : ADEPT, ARLES, ASAP, POPS, SARDES 4) Langages de programmation 1 ACM TOPLAS 2 ACM TOSEM 3 JACM 1 TCS (Theoretical Computer Science) 2 Elsevier Computer Languages 3 ASPLOS ; International Conference on Architectural Support for Programming Languages and Operating Systems 4 PLDI : ACM/SIGPLAN programming Langage Design and

5 Implementation 5 POPL : Principles of Programming Languages 6 ICALP: International Colloquium on Automata, Languages and Programming 7 ECOOP 1 AOSD 2 GPCE 3 OOPSLA: ACM Object-Oriented Programming, Systems, Languages & Applications 4 PEPM Partial Evaluation and Program Manipulation Projets: ADEPT, (ARLES), POPS, SARDES, JACQUARD?ADAM, PHOENIX, OBASCO, TRISKELL 5) Software engineering 1 ACM TOSEM, 2 IEEE TSE 2 JASE 3 IEEE TPDS, 4 SP&E (Software Practice and experience), 5 LNCS Transaction on Aspect-Oriented Software Development 6 JFP Information and Computation 7 JCSS 8 IEEE Software 9 SoSym 10 Software 11 Systems and Structures 12 Testing Verification and reliability, 13 Trans on AOSD, Information Systems, 14 Journal of Systems and Software. 1 Middleware 2 ICSE: Int. Conference on Software Engineering 2 IEEE ASE: IEEE International Conference on Automated Software 3 ACM FSE : ACM SIGSOFT Symposium on Foundations of Software Engineering 4 ESEC: European Software Engineering Conference (ESEC) 5 ECOOP: European Conference on Object-Oriented Programming 6 OOPSLA 1 ESOP 2 FAST 2 IEEE Symp on Security and Privacy, 3 GPCE Generative Programming and Component Engineering

6 4 ASE: Automated Software Engineering Conference 5 Autres: PPDP, USITS,, MODELS/UML,, ISSRE, ISSTA, ICSM, RE, SPLC,, CBSE, WICSA, FMOODS, SAS Static Analysis Symposium, ETAPS European Joint Conferences on Theory and Practice of Software, Projets : (ARLES), SARDES, TRISKELL, JACQUARD/ADAM, OBASCO ) Misc Conférences obtenant un score different/domaine 1 IPDPS 2 Middleware 2 IEEE JSAC 3 DISC 4 EuroSys 5 Infocom 6 ICSE 7 SRDS 8 ASE 9 FMOODS 10 SSS 11 Euro-Par, CC Grid, IPDPS, IEEE Cluster 12 OPODIS 13 LADC 14 EDCC 15 PPAM 16 NCA 17 DOA 18 ICDCN PRDC 19 ISORC 20 ISPDC 21 ICPADS 22 FTDCS Site utiles

Modalité de contrôle des connaissances Master 2 Informatique : spécialité IFI

Modalité de contrôle des connaissances Master 2 Informatique : spécialité IFI Modalité de contrôle des connaissances Master Informatique : spécialité IFI La deuxième année de la spécialité IFI est constituée de plusieurs parcours identifiés, chacun sous la responsabilité d un enseignant-

Plus en détail

5. Gestion des données et vie privée du citoyen urbain

5. Gestion des données et vie privée du citoyen urbain 5. Gestion des données et vie privée du citoyen urbain Architectures de gestion de données face au respect de la vie privée Gestion de la vie privée dans les réseaux sociaux mobiles Privacy-by-design:

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

Objectif du cours. Outline. Complexité des systèmes modernes. La modélisation et UML dans les activités du Génie Logiciel...

Objectif du cours. Outline. Complexité des systèmes modernes. La modélisation et UML dans les activités du Génie Logiciel... Objectif du cours La modélisation et UML dans les activités du Génie Logiciel... ESIR2, GL (LSI) Benoit Combemale Université de Rennes 1, ESIR & IRISA (Triskell team) Benoit.Combemale@irisa.fr Identifier

Plus en détail

MODALITE DE CONTROLE DES CONNAISSANCES MASTER 2 INFORMATIQUE : SPECIALITE IFI

MODALITE DE CONTROLE DES CONNAISSANCES MASTER 2 INFORMATIQUE : SPECIALITE IFI MODALITE DE CONTROLE DES CONNAISSANCES MASTER INFORMATIQUE : SPECIALITE IFI La deuxième année de la spécialité IFI est constituée de plusieurs parcours identifiés, chacun sous la responsabilité d un enseignant-chercheur

Plus en détail

Vers l intégration automatique d une politique de sécurité Or-BAC

Vers l intégration automatique d une politique de sécurité Or-BAC 315 Prépublication n 48 Fascicule n 2 Vers l intégration automatique d une politique de sécurité Or-BAC Yliès Falcone, Mohamad Jaber Vérimag & Laboratoire d Informatique de Grenoble Ylies.Falcone@imag.fr,

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

Réponse à la campagne Postes d accueil 2006 Consolidation des Standards implémentés dans ProActive : OSGi, JMX, Fractal GCM

Réponse à la campagne Postes d accueil 2006 Consolidation des Standards implémentés dans ProActive : OSGi, JMX, Fractal GCM Réponse à la campagne Postes d accueil 2006 Consolidation des Standards implémentés dans ProActive : OSGi, JMX, Fractal GCM Projet OASIS, INRIA Sophia-Antipolis Février 2006 Le logiciel ProActive est diffusé

Plus en détail

Programme blanc 2006

Programme blanc 2006 Programme blanc 2006 APPEL A PROJETS DE RECHERCHE ATTENTION : Cette partie (I) sera également à saisir directement sur le site de soumission I - FICHE D IDENTITE DU PROJET Référence : (reprendre la référence

Plus en détail

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

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

Plus en détail

DUETI R&T 2015 2016. Fiches de formation

DUETI R&T 2015 2016. Fiches de formation DUETI R&T 2015 2016 Fiches de formation CE DOCUMENT N EST PAS CONTRACTUEL Les conditions (financières notamment, mais aussi les conditions d inscription) ainsi que les programmes sont donnés à titre indicatif

Plus en détail

Guide d utilisation de la base de données : ACMDL

Guide d utilisation de la base de données : ACMDL partenaire du Guide d utilisation de la base de données : ACMDL Adresse: Rue la flanelle, cité Ain ellah Dely brahim Tél: (021) 91 03 52, Mob: (0770) 87 66 38, Fax: (021) 91 03 51 E mail: cadoc@cadoc.dz

Plus en détail

Introduction aux applications réparties

Introduction aux applications réparties Introduction aux applications réparties Noël De Palma Projet SARDES INRIA Rhône-Alpes http://sardes.inrialpes.fr/~depalma Noel.depalma@inrialpes.fr Applications réparties Def : Application s exécutant

Plus en détail

ACI SI MOSAIC. 29/09/2005 Yves Roudier Institut Eurécom

ACI SI MOSAIC. 29/09/2005 Yves Roudier Institut Eurécom ACI SI MOSAIC 29/09/2005 Yves Roudier Institut Eurécom 1) Collaboration Observation de la collaboration? Immédiate : e.g. routage MANETs (service immédiat) Non immédiate dans notre cas (promesse de service

Plus en détail

Détection d'intrusions en environnement haute performance

Détection d'intrusions en environnement haute performance Symposium sur la Sécurité des Technologies de l'information et des Communications '05 Détection d'intrusions en environnement haute performance Clusters HPC Fabrice Gadaud (fabrice.gadaud@cea.fr) 1 Sommaire

Plus en détail

Gestion de copies multiples en environnement mobile

Gestion de copies multiples en environnement mobile Gestion de copies multiples en environnement mobile Lydialle Chateigner, Sophie Chabridon et Guy Bernard CNRS UMR Samovar 5157 13 septembre 2004 Plan Gestion de copies multiples en environnement mobile

Plus en détail

Langage de nouvelle génération pour la modélisation et la vérification formelle de systèmes parallèles asynchrones

Langage de nouvelle génération pour la modélisation et la vérification formelle de systèmes parallèles asynchrones Langage de nouvelle génération pour la modélisation et la vérification formelle de systèmes parallèles asynchrones Frédéric Lang LIG et Inria/CONVECS CADP (Construction and Analysis of Distributed Processes)

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

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

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

Plus en détail

développement de serveurs Internet

développement de serveurs Internet Un modèle génératif pour le développement de serveurs Internet Soutenance de thèse de l Université Paris-Est Gautier LOYAUTÉ Gautier.Loyaute@univ-mlv.fr 5 Septembre 2008 Laboratoire d Informatique Institut

Plus en détail

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Pluquet Frédéric July, 3rd 2012 Etude de techniques efficaces de versionnement d objets pour les langages orientés

Plus en détail

HWS Vol de travail hiérarchique

HWS Vol de travail hiérarchique RenPar 19 / SympA 13 / CFSE 7 Toulouse, France, du 9 au 11 septembre 2009 HWS Vol de travail hiérarchique Jean-Noël Quintin, et Frédéric Wagner Équipe projet INRIA MOAIS, Laboratoire CNRS LIG, Universités

Plus en détail

Ingénierie Dirigée par les Modèles et Domain Specific Languages:

Ingénierie Dirigée par les Modèles et Domain Specific Languages: Ingénierie Dirigée par les Modèles et Domain Specific Languages: Applications au calcul haute performance Forum ORAP CEA CESTA David Lugato : DSGA/SSPP/LMFA david.lugato@cea.fr 5 novembre 2015 Architectures

Plus en détail

Formation de recherche. Master MI (MoSIG), 2e année, spécialité Informatique UFRIMAG (UJF) & Ensimag (Grenoble INP)

Formation de recherche. Master MI (MoSIG), 2e année, spécialité Informatique UFRIMAG (UJF) & Ensimag (Grenoble INP) Formation de recherche Master MI (MoSIG), 2e année, spécialité Informatique UFRIMAG (UJF) & Ensimag (Grenoble INP) Massih-Reza Amini mars 2015 Qu est ce qu une thèse de doctorat? Un travail de 36 mois

Plus en détail

Introduction à la Recherche en Laboratoire

Introduction à la Recherche en Laboratoire Introduction à la Recherche en Laboratoire Transferts de données pour le vol de travail Tristan Darricau tristan.darricau@ensimag.grenoble-inp.fr 26 mai 2014 Grenoble INP - ENSIMAG Ecadrement Frédéric

Plus en détail

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

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

Plus en détail

Table des matières. Introduction. Stage : Kuka Étudiant : Paul Chavent Période : du 16 au 18 juin 2003 Thème : Étude du système client/serveur OPC.

Table des matières. Introduction. Stage : Kuka Étudiant : Paul Chavent Période : du 16 au 18 juin 2003 Thème : Étude du système client/serveur OPC. Stage : Kuka Étudiant : Paul Chavent Période : du 16 au 18 juin 2003 Thème : Étude du système client/serveur OPC. Pour la réalisation d'une interface au robot Kuka, OPC semble être la solution la plus

Plus en détail

Mesure et modélisation de l énergie logicielle

Mesure et modélisation de l énergie logicielle Mesure et modélisation de l énergie logicielle Adel Noureddine, Romain Rouvoy, Lionel Seinturier Green Days @ Lille 29 novembre 2013 Plan Contexte! Problèmes et limitations! Mesure énergétique des logiciels

Plus en détail

Calendrier des projets en informatique pour 2010-2011

Calendrier des projets en informatique pour 2010-2011 INFO BIOL-F-02 Biologie générale De Cannière C. BIOL-F-05 Biologie et société Van Helden J. GEOG-F-06 Société et environnement Pattyn F./Decroly J-M. GEOL-F-0 Introduction aux sciences de la terre Regnier

Plus en détail

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation.

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation. Master mention Informatique M1 Construction d s Réparties Lionel Seinturier USTL-LIFL Équipe GOAL/Projet INRIA Jacquard Lionel.Seinturier@lifl.fr 2006/2007 1 Objectifs du cours Appréhender la conception

Plus en détail

Introduction au projet ebxml. Alain Dechamps

Introduction au projet ebxml. Alain Dechamps Introduction au projet ebxml Alain Dechamps 1 Introduction ebes Plan Le pourquoi de la réunion Contexte et projet ebxml Fonctionnement Avantages 2 Lexique Business process = processus métier Core component

Plus en détail

Administration de composants logiciels : application aux systèmes sans fil

Administration de composants logiciels : application aux systèmes sans fil Administration de composants logiciels : application aux systèmes sans fil Fabien Romeo LIUPPA Université de Pau et des Pays de l Adour F-64000 Pau, France +33 5 59 40 76 52 fabien.romeo@univ-pau.fr RESUME

Plus en détail

GPU, processeurs multi-coeurs et bio-informatique

GPU, processeurs multi-coeurs et bio-informatique GPU, processeurs multi-coeurs et bio-informatique Jean-Stéphane Varré jean-stephane.varre@lifl.fr Equipe BONSAI Université Lille 1 - LIFL -INRIA Qu est-ce que c est? Le processeur (CPU) La carte graphique

Plus en détail

BTS : Service Informatique aux Organisations (Programme SLAM)

BTS : Service Informatique aux Organisations (Programme SLAM) BTS : Service Informatique aux Organisations (Programme SLAM) 1 TRONC COMMUN SOLUTIONS INFORMATIQUES - Support système des accès utilisateurs Solutions techniques d accès et systèmes d'exploitation associés

Plus en détail

Analyse statique de SCADE par interprétation abstraite

Analyse statique de SCADE par interprétation abstraite Analyse statique de SCADE par interprétation abstraite soutenance de stage Alex AUVOLAT ANSYS-Esterel Technologies sous l encadrement de Jean-Louis Colaço Juin-Juillet 2014 1/33 Introduction SCADE : programmation

Plus en détail

Introduction aux Composants Logiciels

Introduction aux Composants Logiciels Introduction aux Composants Logiciels Christian Pérez LIP/INRIA Année 2010-11 Plan Introduction aux composants logiciels Pourquoi des composants logiciels Notions de composants logiciels Conclusion Survol

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

Action Concertée Incitative SÉCURITÉ INFORMATIQUE. Descriptif complet du projet I - FICHE D IDENTITÉ DU PROJET

Action Concertée Incitative SÉCURITÉ INFORMATIQUE. Descriptif complet du projet I - FICHE D IDENTITÉ DU PROJET ACI Sécurité Informatique Projet CRISS 1 Action Concertée Incitative SÉCURITÉ INFORMATIQUE Descriptif complet du projet I - FICHE D IDENTITÉ DU PROJET Nom du Projet : CRISS 1 Titre du Projet : Contrôle

Plus en détail

Études de bachelor en informatique

Études de bachelor en informatique 1 Études de bachelor en informatique Informatique A notre époque, il n y a pratiquement plus aucune activité qui puisse se passer de l ordinateur. On ne le trouve pas seulement sur les bureaux et dans

Plus en détail

Le clustering dans les réseaux ad-hoc

Le clustering dans les réseaux ad-hoc Le clustering dans les réseaux ad-hoc Auteur : Florent NOLOT Florent NOLOT 1 Présentation Le modèle et les motivations Le clustering à 1 saut et à k sauts Quelques résultats de simulation L'adaptation

Plus en détail

Oracle Learning Library Tutoriel Database 12c Installer le logiciel Oracle Database et créer une Database

Oracle Learning Library Tutoriel Database 12c Installer le logiciel Oracle Database et créer une Database Installer le logiciel Oracle Database et créer une Database Présentation Objectif Ce tutoriel montre comment utiliser Oracle Universal Installer (OUI) pour installer le logiciel Oracle Database 12c et

Plus en détail

Détection d anomalies d configurations de composants de. stere.preda@enst-bretagne.fr

Détection d anomalies d configurations de composants de. stere.preda@enst-bretagne.fr Détection d anomalies d dans les configurations de composants de sécurité réseau Stere Preda stere.preda@enst-bretagne.fr 8 février 2006 Plan Contexte de l étude Anomalies dans la configuration des composants

Plus en détail

Groupe de Discussion - IoT Enjeux de l adoption de réseaux de capteurs IPv6. Sébastien Dawans 06/06/2012

Groupe de Discussion - IoT Enjeux de l adoption de réseaux de capteurs IPv6. Sébastien Dawans 06/06/2012 Groupe de Discussion - IoT Enjeux de l adoption de réseaux de capteurs IPv6 Sébastien Dawans 06/06/2012 Le CETIC en quelques mots Software & Services Technologies Helping industry to exploit faster distributed,

Plus en détail

Prise de position de la section 7. travail sur une possible partition

Prise de position de la section 7. travail sur une possible partition Prise de position de la section 7 travail sur une possible partition Notre prise de position est structurée comme suit : dans une première partie, nous expliquons le contexte dans lequel notre travail

Plus en détail

Pour des architectures logicielles ouvertes et adaptables. La réflexion : pourquoi et comment?

Pour des architectures logicielles ouvertes et adaptables. La réflexion : pourquoi et comment? Pour des architectures logicielles ouvertes et adaptables. La réflexion : pourquoi et comment? P. Cointe et T. Ledoux pour l'équipe OCM (Objets, Composants, Modèles) de l'emn Contexte Aujourd'hui, la complexité

Plus en détail

Les conteneurs : une approche générique pour la conception d un système à image unique

Les conteneurs : une approche générique pour la conception d un système à image unique RENPAR 14 / ASF / SYMPA Hamamet, Tunisie, 10 13 avril 2002 Les conteneurs : une approche générique pour la conception d un système à image unique Renaud Lottiaux, projet PARIS IRISA/INRIA, Campus universitaire

Plus en détail

Clouds/Big Data @ Inria. Frédéric Desprez Frederic.Desprez@inria.fr

Clouds/Big Data @ Inria. Frédéric Desprez Frederic.Desprez@inria.fr Clouds/Big Data @ Inria Frédéric Desprez Frederic.Desprez@inria.fr May 20, 2013 Outline 1. Inria Strategy in Clouds 2. HPC, Clouds: Where within Inria? 3. Inria Large-Scale initiatives Introduction Cloud

Plus en détail

DevOps2. De l intégration continue à la livraison continue. Samira Bataouche Ingénieur Consultant

DevOps2. De l intégration continue à la livraison continue. Samira Bataouche Ingénieur Consultant DevOps2 De l intégration continue à la livraison continue Samira Bataouche Ingénieur Consultant Les challenges d aujourd hui Lignes de produits Délais trop long de mise à disposition de nouveaux produits/services.

Plus en détail

CONTRAT D ETUDES - LEARNING AGREEMENT

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

Plus en détail

Préparer un état de l art

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

Plus en détail

Restructuration de composants logiciels

Restructuration de composants logiciels Restructuration de composants logiciels Une approche d adaptation structurelle pour les composants logiciels basée sur la refactorisation de code orientéobjet Gautier Bastide *,** * Ecole des Mines de

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

Vers les objets CORBA parallèles portables

Vers les objets CORBA parallèles portables Vers les objets CORBA parallèles portables C. Pérez PARIS IRISA/INRIA Contribueurs: C. René, T. Priol Grappes 2001 Plan Contexte: Grid Computing & couplage de code Les objets CORBA parallèle 1ère génération:

Plus en détail

ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques. Ioannis Parissis - Claudia Roncancio

ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques. Ioannis Parissis - Claudia Roncancio ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques Ioannis Parissis - Claudia Roncancio LCIS LIG 1 Contexte et motivation! Capteurs omniprésents, en pleine

Plus en détail

Bachelor Informatique et Systèmes de Communication

Bachelor Informatique et Systèmes de Communication Ecole Polytechnique Fédérale de Lausanne EPFL Faculté Informatique et Communications IC 1 Présentation de la 2 ème année 2015-2016 Bachelor Informatique et Systèmes de Communication Prof. P. Fua et Prof.

Plus en détail

Analyse et vérification automatique de systèmes asynchrones. Hubert Garavel INRIA / VASY http://www.inrialpes.fr/vasy

Analyse et vérification automatique de systèmes asynchrones. Hubert Garavel INRIA / VASY http://www.inrialpes.fr/vasy 1 Analyse et vérification automatique de systèmes asynchrones Hubert Garavel INRIA / VASY http://www.inrialpes.fr/vasy 2 Systèmes asynchrones P2 P1 P4 P5 P3 Caractéristiques : différents processus / tâches

Plus en détail

Grille de calcul et physique des particules

Grille de calcul et physique des particules Grille de calcul et physique des particules Vincent Garonne CPPM, Marseille Contenu de la présentation Etat de l art : Grille de calcul Domaine d application : La physique des particules et LHCb Quelques

Plus en détail

APX et VCE, Modèle d industrialisation de l intégration et du déploiement. Olivier BERNARD, VCE

APX et VCE, Modèle d industrialisation de l intégration et du déploiement. Olivier BERNARD, VCE APX et VCE, Modèle d industrialisation de l intégration et du déploiement Olivier BERNARD, VCE Généralisation des réseaux, suprématie d IP Consumérisation des terminaux informatiques Evolution vers une

Plus en détail

ABILIAN SICS-PC. Abilian SYSTÈME D INFORMATION COLLABORATIF ET SÉCURISÉ POUR LES PÔLES DE COMPÉTITIVITÉ

ABILIAN SICS-PC. Abilian SYSTÈME D INFORMATION COLLABORATIF ET SÉCURISÉ POUR LES PÔLES DE COMPÉTITIVITÉ SOLUTIONS 2.0 POUR LA COMPÉTITIVITÉ ET L INNOVATION ABILIAN SICS-PC SYSTÈME D INFORMATION COLLABORATIF ET SÉCURISÉ POUR LES PÔLES DE COMPÉTITIVITÉ Abilian Quels outils pour la compétitivité des acteurs

Plus en détail

Sécurisation du stockage de données sur le Cloud Michel Kheirallah

Sécurisation du stockage de données sur le Cloud Michel Kheirallah Sécurisation du stockage de données sur le Cloud Michel Kheirallah Introduction I Présentation du Cloud II Menaces III Exigences de sécurité IV Techniques de sécurisation 2 26/02/2015 Présentation du Cloud

Plus en détail

Introduction au développement avec des composants logiciels

Introduction au développement avec des composants logiciels ENVOL 2012 Introduction au développement avec des composants logiciels Jean-Christophe Souplet jcsouplet@lri.fr Licence CC BY-NC-SA 3.0 Constat Lors d un développement beaucoup de développeurs partent

Plus en détail

Service de réconciliation pour la synchronisation de copies

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

Plus en détail

projet SIMPATIC ANR INS 2012

projet SIMPATIC ANR INS 2012 projet SIMPATIC ANR INS 2012 SIMPATIC pour SIM and PAiring Theory for Information and Communications security appel INS 2012 (Ingénierie Numérique et Sécurité) durée : 36 mois labellisation par les pôles

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

Modélisation Multi-Paradigme : enjeux et problématiques

Modélisation Multi-Paradigme : enjeux et problématiques Modélisation Multi-Paradigme : enjeux et problématiques Séminaire DI 15 Mai 2008 Cécile HARDEBOLLE cecile.hardebolle@supelec.fr Remarques préliminaires Objectifs de la présentation : Présenter la modélisation

Plus en détail

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

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

Plus en détail

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Pierre Olivier*, Jalil Boukhobza*, Jean-Philippe Babau +, Damien Picard +, Stéphane Rubini + *Lab-STICC, + LISyC, Université

Plus en détail

Métiers - informatique et Internet Jobs - IT and Internet

Métiers - informatique et Internet Jobs - IT and Internet Métiers - informatique et Internet Jobs - IT and Internet Le tableau ci-dessous, qui sera enrichi progressivement, donne la correspondance entre les termes français et les termes anglais utilisés pour

Plus en détail

Laboratoire 4 Développement d un système intelligent

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

Scalable XML Collaborative Editing with Undo

Scalable XML Collaborative Editing with Undo INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE Scalable XML Collaborative Editing with Undo Stéphane Martin Pascal Urso Stéphane Weiss N 7362 August 2010 Thème COG apport de recherche

Plus en détail

Solu%ons Ethernet Industriel Moxa

Solu%ons Ethernet Industriel Moxa Solu%ons Ethernet Industriel Moxa 2014 Agenda! L activité Ethernet Industriel ARC Info! Moxa en quelques chiffres! Les points forts Moxa! Les solutions Ethernet Industriel Moxa! Capacité d accompagnement

Plus en détail

2003-2006 Etudiant en classe préparatoire, Lycée Henri Wallon, Valenciennes.

2003-2006 Etudiant en classe préparatoire, Lycée Henri Wallon, Valenciennes. Vincent Cheval School of Computing University of Kent Canterbury, CT2 7NF, UK +44 (0)7479 555701 +44 (0)1227 823816 vincent.cheval@icloud.com homepage: www.cs.kent.ac.uk/ vc218/web Nationalité : Française

Plus en détail

Support matériel, logiciel et cryptographique pour

Support matériel, logiciel et cryptographique pour Support matériel, logiciel et cryptographique pour une exécution sécurisée de processus Guillaume Duc Thèse dirigée par Jacques Stern (Ens Ulm) et encadrée par Ronan Keryell (Enst Bretagne) Journées des

Plus en détail

Pair-à-Pair: Architectures et Services

Pair-à-Pair: Architectures et Services Pair-à-Pair: Architectures et Services Fabrice Le Fessant Fabrice.Le_Fessant@inria.fr Équipe ASAP (Réseaux très large échelle) INRIA Saclay Île de France Octobre 2008 Fabrice Le Fessant () Architectures

Plus en détail

Une méthodologie de conception des systèmes distribués basée sur UML

Une méthodologie de conception des systèmes distribués basée sur UML Une méthodologie de conception des systèmes distribués basée sur UML Nouvelles Technologies de la Répartition (NOTERE 2005) 1 er septembre 2005 Ludovic Apvrille Pierre de Saqui-Sannes Axelle Apvrille Page

Plus en détail

Curriculum Vitæ. Fonctions

Curriculum Vitæ. Fonctions Curriculum Vitæ Bechir ZALILA Ingénieur Docteur État civil : Marié Adresse : BP N 70, bureau de poste de Chihia 3041, Sfax, Tunisie Tél : (+216) 74 274 088 (Poste 215) Fax : (+216) 74 666 578 D. de Naiss.

Plus en détail

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

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

Plus en détail

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

Containers : évolution ou révolution? Quelle stratégie adopter? William HOFFMANN Enterprise Solution Architect

Containers : évolution ou révolution? Quelle stratégie adopter? William HOFFMANN <william@redhat.com> Enterprise Solution Architect Containers : évolution ou révolution? Quelle stratégie adopter? William HOFFMANN Enterprise Solution Architect DÉVELOPPEMENT OPPOSÉ AUX OPÉRATIONS LES OPÉRATIONS SONT SOUS PRESSION

Plus en détail

Software Engineering and Middleware A Roadmap

Software Engineering and Middleware A Roadmap Software Engineering and Middleware A Roadmap Ecrit par: Dr. Wolfgang Emmerich Présenté par : Mustapha Boushaba Cours : IFT6251 Wolfgang Emmerich Enseignant à University College London: Distributed Systems

Plus en détail

Rappels. Génie logiciel. Implemented tactics. Oldest architecture: Batch-Sequential

Rappels. Génie logiciel. Implemented tactics. Oldest architecture: Batch-Sequential Rappels Génie logiciel Philippe Dugerdil Composants, packages Couches & dépendances Principes de structuration Réutilisation / responsabilité Réutilisation & composants 09.12.2010 Oldest architecture:

Plus en détail

Demandez le programme! La 7 ème édition du congrès ERTS, au cœur des enjeux du marché mondial des systèmes embarqués

Demandez le programme! La 7 ème édition du congrès ERTS, au cœur des enjeux du marché mondial des systèmes embarqués Demandez le programme! Communiqué de presse Toulouse, le 9 janvier 2014 La 7 ème édition du congrès ERTS, au cœur des enjeux du marché mondial des systèmes embarqués Evènement de référence pour les industriels

Plus en détail

SDL: 20 ans de programmation basée modèle

SDL: 20 ans de programmation basée modèle SDL: 20 ans de programmation basée modèle Emmanuel Gaudin emmanuel.gaudin @ pragmadev.com Principes MDE, MDA et MDD: Approche orienté modèle PIM: Platform Independant Model PDM: Platform Definition Model

Plus en détail

Programmation paresseuse et causale des architectures orientées services

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

Plus en détail

Les critères de qualification (MC)

Les critères de qualification (MC) Les critères de qualification (MC) Être capable de remplir les fonctions d un maître de conférences en Informatique Idéal Formation en Informatique Recherche en Informatique Avec au moins une publication

Plus en détail

Pour une programmation par aspects expressive, bien définie et correcte

Pour une programmation par aspects expressive, bien définie et correcte Pour une programmation par aspects expressive, bien définie et correcte Mario Südholt Projet OBASCO Habilitation à diriger des recherches 11 juillet 2007 ECOLE DES MINES DE NANTES Mario Südholt (OBASCO)

Plus en détail

Groupe VALORIA/CASA. Composants Adaptables et Supports Adaptables

Groupe VALORIA/CASA. Composants Adaptables et Supports Adaptables Groupe VALORIA/CASA Composants Adaptables et Supports Adaptables F. Guidec / Y. Mahéo / L. Courtrai / N. Le Sommer / H. Roussain / D. Hoareau Université de Bretagne-Sud (Vannes) Laboratoire VALORIA Email:

Plus en détail

Entraînement au concours ACM-ICPC

Entraînement au concours ACM-ICPC Entraînement au concours ACM-ICPC Concours ACM-ICPC : format et stratégies Page 1 / 16 Plan Présentation Stratégies de base Page 2 / 16 Qu est-ce que c est? ACM-ICPC : International Collegiate Programming

Plus en détail

M2 - MICRO - Architecture interne des microprocesseurs

M2 - MICRO - Architecture interne des microprocesseurs M2 - MICRO - Architecture interne des microprocesseurs 2005-2006 François Anceau, CNAM / ASIM - LIP6 Nathalie Drach-Temam, UPMC / ASIM - LIP6 Advanced Architecture and Compiler for High-Performance Embedded

Plus en détail

Mise en œuvre des serveurs d application

Mise en œuvre des serveurs d application Nancy-Université Mise en œuvre des serveurs d application UE 203d Master 1 IST-IE Printemps 2008 Master 1 IST-IE : Mise en œuvre des serveurs d application 1/54 Ces transparents, ainsi que les énoncés

Plus en détail

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base

SOA et Services Web. 23 octobre 2011. SOA: Concepts de base SOA et Services Web 23 octobre 2011 1 SOA: Concepts de base 2 Du client serveur à la SOA N est Nest pas une démarche entièrement nouvelle: années 1990 avec les solutions C/S Besoins d ouverture et d interopérabilité

Plus en détail

Membre de la Commission Consultative Représentative du LAMSADE (depuis Decembre 2009)

Membre de la Commission Consultative Représentative du LAMSADE (depuis Decembre 2009) EL HADDAD Joyce Maître de conférences joyce.elhaddad@dauphine.fr Tél : 01 44 05 49 19 Bureau : P614 Site web : Site web Poste actuel et responsabilités à Dauphine Département de rattachement : MIDO Centre

Plus en détail

état et perspectives

état et perspectives La Normalisation de l informatique en Nuage «Cloud Computing» état et perspectives Séminaire Aristote: L'interopérabilit rabilité dans le Cloud Ecole Polytechnique 23/03/2011 Jamil CHAWKI Orange Labs Networks

Plus en détail

PLATEFORME INTEGREE DE GESTION DU FONCIER

PLATEFORME INTEGREE DE GESTION DU FONCIER Atelier Régional EuroAfrica-ICT/P8 Recherche collaborative Afrique-Europe dans le domaine des TIC / Horizon 2020: atelier de sensibilisation et de formation 25-26 Juin, 2013 Terrou-Bi Hôtel - Dakar, Sénégal

Plus en détail

Portage de l architecture sécurisée CryptoPage sur un microprocesseur x86

Portage de l architecture sécurisée CryptoPage sur un microprocesseur x86 Portage de l architecture sécurisée CryptoPage sur un microprocesseur x86 Guillaume Duc Ronan Keryell Département Informatique École Nationale Supérieure des Télécommunications de Bretagne Symposium en

Plus en détail

Vers Une Implémentation d un Système d Enseignement à Distance basé sur le filtrage

Vers Une Implémentation d un Système d Enseignement à Distance basé sur le filtrage Vers Une Implémentation d un Système d Enseignement à Distance basé sur le filtrage I. Introduction SBIHI Boubker Professeur à l Ecole des sciences de l Information BP 6204 Agdal-Rabat MAROC Bsbihi@esi.ac.ma

Plus en détail

Vers l orchestration des grilles de PCs par les mécanismes de publication-souscription issus des technologies du WEB

Vers l orchestration des grilles de PCs par les mécanismes de publication-souscription issus des technologies du WEB Vers l orchestration des grilles de PCs par les mécanismes de publication-souscription issus des technologies du WEB Présenté par Leila Abidi sous la direction de Christophe Cerin & Mohamed Jemni Université

Plus en détail

Domaines Réutilisables Dirigés par les Modèles

Domaines Réutilisables Dirigés par les Modèles Publié à IDM05, Paris, les 30 Juin et 1 er Juillet 2005. Domaines Réutilisables Dirigés par les Modèles Anca Daniela Ionita, Jacky Estublier, German Vega LSR-IMAG, Grenoble, France Résumé Pour faciliter

Plus en détail

Rappels. Génie logiciel. Broker. Problem: service location. Patterns. Philippe Dugerdil. Layer Batch sequential Publish subscribe MVC Proxy.

Rappels. Génie logiciel. Broker. Problem: service location. Patterns. Philippe Dugerdil. Layer Batch sequential Publish subscribe MVC Proxy. Rappels Génie logiciel Philippe Dugerdil 24..20 Patterns Layer Batch sequential Publish subscribe MVC Proxy Problem: service location Broker network Broker Implemented tactics Modifiability tactics Use

Plus en détail

AVATAR. Un profil SysML temps réel outillé

AVATAR. Un profil SysML temps réel outillé AVATAR Un profil SysML temps réel outillé Ludovic Apvrille, Pierre de Saqui-Sannes ludovic.apvrille@telecom-paristech.fr pdss@isae.fr SysML France, 6 décembre 2010 Agenda De TURTLE à AVATAR Le langage

Plus en détail