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

Save this PDF as:
 WORD  PNG  TXT  JPG

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

É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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Synchronisation en réseau de capteurs

Synchronisation en réseau de capteurs Plan de la présentation Introduction Synchronisation en réseau de capteurs Nathalie Mitton Nathalie.mitton@inria.fr (LIFL, projet INRI/CNRS/USTL POPS) Synchronisation en réseau filaire Synchronisation

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

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

Cluster de calcul, machine Beowulf, ferme de PC Principes, problématique et échanges d expérience

Cluster de calcul, machine Beowulf, ferme de PC Principes, problématique et échanges d expérience Cluster de calcul, machine Beowulf, ferme de PC Principes, problématique et échanges d expérience 29 mars 2002 Olivier BOEBION - Laboratoire de Mathématiques et de Physique Théorique - Tours 1 Principes

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

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

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

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

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

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

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

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

PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03

PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03 PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03 Plan Contexte Problèmes CORBA PaCO++ Conclusion / perspectives Contexte : couplage de code Structural Mechanics Optics Thermal Dynamics Satellite design

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

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

Génie logiciel (Un aperçu)

Génie logiciel (Un aperçu) (Un aperçu) (sommerville 2010) Laurent Pérochon INRA URH 63122 St Genès Champanelle Laurent.perochon@clermont.inra.fr Ensemble d activités conduisant à la production d un logiciel Sur un échantillon de

Plus en détail

Cénotélie. Rapport Moral - Année Laurent Wouters. 05 Mars 2017

Cénotélie. Rapport Moral - Année Laurent Wouters. 05 Mars 2017 Rapport Moral - Année 2016 Laurent Wouters 05 Mars 2017 Association Cénotélie 2 rue Nicolas Copernic 92160 ANTONY, FRANCE contact@cenotelie.fr https://cenotelie.fr Sommaire Sommaire iii 1 L Assocation

Plus en détail

Le Distributed Computing Environment de OSF

Le Distributed Computing Environment de OSF 1 sur 6 Le Distributed Computing Environment de OSF Définition L'architecture de DCE L'organisation en cellules Comment former une cellule Les RPC sous DCE Le "stub" client Le RPCRuntime Le "stub" serveur

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

TÉMOIGNAGE ET POINT DE VUE D UN ÉDITEUR LOGICIEL CO FONDATEUR, EXALEAD,

TÉMOIGNAGE ET POINT DE VUE D UN ÉDITEUR LOGICIEL CO FONDATEUR, EXALEAD, ENSEIGNEMENTDESSTIC ENSEIGNEMENT DES STIC, TÉMOIGNAGE ET POINT DE VUE D UN ÉDITEUR LOGICIEL FRANÇOIS BOURDONCLE CO FONDATEUR, EXALEAD, TELECOM PARISTECH, 24 JUIN 2009 2009 L informatique: science ou outil?

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

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

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

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

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

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

Etude sur interopérabilité IS-SdF. Présentation Séminaire SdF de l X 28 Septembre 2012

Etude sur interopérabilité IS-SdF. Présentation Séminaire SdF de l X 28 Septembre 2012 Etude sur interopérabilité IS-SdF Présentation Séminaire SdF de l X 28 Septembre 22 Gilles Deleuze, EDF R&D Sommaire Cadre de l étude ravaux effectués à septembre 22 Cas test Choix d outil pour l Ingénierie

Plus en détail

Modèle d implémentation

Modèle d implémentation Modèle d implémentation Les packages UML: Unified modeling Language Leçon 5/6-9-16/10/2008 Les packages - Modèle d implémentation - Méthodologie (RUP) Un package ou sous-système est un regroupement logique

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

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

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

IRL : Simulation distribuée pour les systèmes embarqués

IRL : Simulation distribuée pour les systèmes embarqués IRL : Simulation distribuée pour les systèmes embarqués Yassine El Khadiri, 2 ème année Ensimag, Grenoble INP Matthieu Moy, Verimag Denis Becker, Verimag 19 mai 2015 1 Table des matières 1 MPI et la sérialisation

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

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

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

MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée)

MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée) MI3/GL Cours de Génie Logiciel Programmation Orientée Objet (Avancée) Daniel Le Berre CRIL-CNRS FRE 2499, Université d Artois, Lens, FRANCE {leberre}@cril.univ-artois.fr 4 novembre 2004 MI3GL 2004/2005

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

Informatique de base : Principes de programmation Basic computing: programming 58h40 66h40 0h00 30h00 155h20 8,5 11

Informatique de base : Principes de programmation Basic computing: programming 58h40 66h40 0h00 30h00 155h20 8,5 11 Sécurité et Technologies Informatiques Semestre 5 / Computer Security and Technologies Semester 5 UE/EC C TD TP P Total Coef. EC Coef. UE ECTS Informatique de base : Principes de programmation Basic computing:

Plus en détail

Université Libre de Tunis

Université Libre de Tunis Ingénieur: Génie Informatique Code et Intitulé des Matières Enseignées Plan d'etudes : Semestre 1 S1-01 Algorithmique et Structures de Données 1 S1-02 Programmation C S1-03 Logiques Mathématiques S1-04

Plus en détail

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23 Table des Figures 7 Introduction Générale 9 1. Outils et plate-formes de construction d application 9 2. Intégration de paradigmes de conception dans le cycle de vie 10 2.1. Equilibrage de charge et équilibrage

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

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

ANALYSE DES RISQUES ET MANAGENEMENT DES RISQUES

ANALYSE DES RISQUES ET MANAGENEMENT DES RISQUES ANALYSE DES RISQUES ET MANAGENEMENT DES RISQUES Introduction : Le management des risques est un processus qui permet au Business Manager d équilibrer les coûts économiques et opérationnels et faire du

Plus en détail

Jean Raymond Lévesque Animateur de Code_Aster ProNet

Jean Raymond Lévesque Animateur de Code_Aster ProNet Modèles économiques pour les logiciels Open Source Jean Raymond Lévesque Animateur de Code_Aster ProNet Pour définir un modèle économique il est indispensable d identifier les acteurs leur rôle leurs attentes

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