Memory Eye SSTIC Yoann Guillot. Sogeti / ESEC R&D yoann.guillot(at)sogeti.com

Size: px
Start display at page:

Download "Memory Eye SSTIC 2011. Yoann Guillot. Sogeti / ESEC R&D yoann.guillot(at)sogeti.com"

Transcription

1 Memory Eye SSTIC 2011 Yoann Guillot Sogeti / ESEC R&D yoann.guillot(at)sogeti.com

2 Y. Guillot Memory Eye 2/33 Plan

3 Y. Guillot Memory Eye 3/33 Memory Eye Analyse globale d un programme Un outil pour analyser la zone de mémoire dynamique d un programme Analyse de patterns

4 1. Y. Guillot Memory Eye 4/33 Pourquoi? L assembleur, c est compliqué Instructions bizarres xor pmulhrsw Architectures plus ou moins familières x64 arm Algorithmes bizarres 1

5 Y. Guillot Memory Eye 5/33 wtf.asm

6 L analyse de code Y. Guillot Memory Eye 6/33 Pros Bons outils IDA BinNavi a Grosse communauté a. M.I.A 01/03/11 Cons Approche bottom-up Changement de version de la cible == reset BinDiff prison

7 Y. Guillot Memory Eye 7/33 Plan

8 Y. Guillot Memory Eye 8/33 Taxinomie Pile Limité a une fonction (+ sous-fonctions) Taille contrainte Globales Fixé à la compilation Durée de vie : permanente Inclues dans le binaire a Rigide a. sauf.bss

9 Y. Guillot Memory Eye 9/33 Taxinomie (2) Tas (Heap) Dynamique Allocation/Déallocation à la demande Utilisation optimale de la RAM Durée de vie personnalisée

10 Y. Guillot Memory Eye 10/33 Structure du tas Tas = 1+ zones independantes Par librairie Par thread Chaque est une succession de chunks Chunk = header + data Gestion des chunks via malloc() et free() Optimisations (lookaside)

11 Y. Guillot Memory Eye 11/33 Heap

12 Y. Guillot Memory Eye 12/33 Heap

13 Y. Guillot Memory Eye 13/33 Allocateur personnalisé OS = Allocateur générique Application = Allocateur(s) personnalisé spécificités de taille de chunks gestion de la fragmentation rapidité

14 Y. Guillot Memory Eye 14/33 Plan

15 Y. Guillot Memory Eye 15/33 GLibc 2.11 Zone independante = arena Zone initiale main arena = sbrk() Zones secondaires = mmap() Gros chunks = mmap() Cache de chunks libre = lookaside

16 Y. Guillot Memory Eye 16/33 Heap Linux

17 Y. Guillot Memory Eye 17/33 GLibc : extraction du main arena L adresse du main arena n est pas disponible. Approche 1 Ignorer le problème Sbrk depuis /proc/pid/maps ([heap]) PB : pas d arenas secondaires, pas de lookaside Approche 2 1 Trouver une fonction qui réference la structure 2 En extraire l adresse 3 Liste chaînée des arenas secondaires Dans tous les cas, il faut scanner les chunks mmap()

18 Y. Guillot Memory Eye 18/33 GLibc : extraction du main arena dasm. d i s a s s e m b l e f a s t ( m a l l o c t r i m ) b = dasm. b l o c k a t ( m a l l o c t r i m ) i f b. l i s t. l a s t. opcode. name == c a l l # x86 g e t i p ( ) dasm. d i s a s s e m b l e b. t o n o r m a l. f i r s t end # mutex lock (& main arena. mutex ) g i v e s us the addr cmpxchg = dasm. decoded. v a l u e s. f i n d { d i d i. k i n d o f? D e c o d e d I n s t r u c t i o n and d i. opcode. name == cmpxchg } r a i s e no cmpxchg i f not cmpxchg i n d i r = cmpxchg. i n s t r u c t i o n. a r g s. f i r s t. s y m b o l i c a r e n a p t r = d. b a c k t r a c e ( i n d i r. p o i n t e r, cmpxchg. a d d r e s s ) i f arena ptr. length == 1 a r e n a p t r = a r e n a p t r. f i r s t. r e d u c e end r a i s e c a n t f i n d mainarena i f not a r e n a p t r. k i n d o f? I n t e g e r a r e n a p t r += l i b c b a s e

19 Y. Guillot Memory Eye 19/33 Enumeration des chunks Arena top chunk + len - system mem Enumérer Soustraire le lookaside Scanner les mmap chunks

20 Y. Guillot Memory Eye 20/33 Plan

21 Y. Guillot Memory Eye 21/33 Zone independante = HEAP Gros chunks = VirtualAlloc() Cache de chunks libre = LookAside ToolhelpSnapshot(HEAPLIST)

22 Y. Guillot Memory Eye 22/33 Windows heap Heaps divisés en Segments Taille d un segment = double du précedent FirstEntry LastEntryInSegment UncommittedRange

23 Y. Guillot Memory Eye 23/33 Heap Windows

24 Y. Guillot Memory Eye 24/33 Windows 7 Remaniement de HEAP Suppression du LookAside Remplacé par le Low Fragmentation Heap

25 Y. Guillot Memory Eye 25/33 Plan

26 Y. Guillot Memory Eye 26/33 Et après? Construction du graphe de cross-references Scanne le contenu de chaque chunk Pointeur vers chunk arête du graphe

27 Classes d équivalences Y. Guillot Memory Eye 27/33 Tableaux 1 chunk pointant sur de nombreux chunks de même taille Listes chaînées chunk pointant sur un autre de même taille le suivant fait pareil le pointeur est au même offset

28 Y. Guillot Memory Eye 28/33 Plan

29 Y. Guillot Memory Eye 29/33 Jeu massivement unijoueur Simulation d un univers fantasy Communauté de hackers active Univers extrêmement détaillé Code C++ Mis à jour régulièrement Application idéale

30 Y. Guillot Memory Eye 30/33 Démo Démo

31 Autres applications Y. Guillot Memory Eye 31/33 Tout programme manipulant des données bien différenciées

32 Y. Guillot Memory Eye 32/33 Questions?

33 Y. Guillot Memory Eye 33/33 Reférences bh-usa-09/mcdonald/ BHUSA09-McDonald-WindowsHeap-PAPER.pdf ruxcon-nov-2008.pdf branches/eglibc-2_13/libc/malloc/malloc.c? rev=12752&view=markup

Note concernant votre accord de souscription au service «Trusted Certificate Service» (TCS)

Note concernant votre accord de souscription au service «Trusted Certificate Service» (TCS) Note concernant votre accord de souscription au service «Trusted Certificate Service» (TCS) Veuillez vérifier les éléments suivants avant de nous soumettre votre accord : 1. Vous avez bien lu et paraphé

More information

1-20020138637 26-sept-2002 Computer architecture and software cells for broadband networks Va avec 6526491

1-20020138637 26-sept-2002 Computer architecture and software cells for broadband networks Va avec 6526491 Les brevets CELL 14 décembre 2006 1 ARCHITECTURE GENERALE 1-20020138637 26-sept-2002 Computer architecture and software cells for broadband networks 6526491 2-6526491 25-févr-03 Memory protection system

More information

Introduction ToIP/Asterisk Quelques applications Trixbox/FOP Autres distributions Conclusion. Asterisk et la ToIP. Projet tuteuré

Introduction ToIP/Asterisk Quelques applications Trixbox/FOP Autres distributions Conclusion. Asterisk et la ToIP. Projet tuteuré Asterisk et la ToIP Projet tuteuré Luis Alonso Domínguez López, Romain Gegout, Quentin Hourlier, Benoit Henryon IUT Charlemagne, Licence ASRALL 2008-2009 31 mars 2009 Asterisk et la ToIP 31 mars 2009 1

More information

Liste d'adresses URL

Liste d'adresses URL Liste de sites Internet concernés dans l' étude Le 25/02/2014 Information à propos de contrefacon.fr Le site Internet https://www.contrefacon.fr/ permet de vérifier dans une base de donnée de plus d' 1

More information

Audit de sécurité avec Backtrack 5

Audit de sécurité avec Backtrack 5 Audit de sécurité avec Backtrack 5 DUMITRESCU Andrei EL RAOUSTI Habib Université de Versailles Saint-Quentin-En-Yvelines 24-05-2012 UVSQ - Audit de sécurité avec Backtrack 5 DUMITRESCU Andrei EL RAOUSTI

More information

Reconstruction d un modèle géométrique à partir d un maillage 3D issu d un scanner surfacique

Reconstruction d un modèle géométrique à partir d un maillage 3D issu d un scanner surfacique Reconstruction d un modèle géométrique à partir d un maillage 3D issu d un scanner surfacique Silvère Gauthier R. Bénière, W. Puech, G. Pouessel, G. Subsol LIRMM, CNRS, Université Montpellier, France C4W,

More information

Calcul parallèle avec R

Calcul parallèle avec R Calcul parallèle avec R ANF R Vincent Miele CNRS 07/10/2015 Pour chaque exercice, il est nécessaire d ouvrir une fenètre de visualisation des processes (Terminal + top sous Linux et Mac OS X, Gestionnaire

More information

Archived Content. Contenu archivé

Archived Content. Contenu archivé ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

Introduction. GEAL Bibliothèque Java pour écrire des algorithmes évolutionnaires. Objectifs. Simplicité Evolution et coévolution Parallélisme

Introduction. GEAL Bibliothèque Java pour écrire des algorithmes évolutionnaires. Objectifs. Simplicité Evolution et coévolution Parallélisme GEAL 1.2 Generic Evolutionary Algorithm Library http://dpt-info.u-strasbg.fr/~blansche/fr/geal.html 1 /38 Introduction GEAL Bibliothèque Java pour écrire des algorithmes évolutionnaires Objectifs Généricité

More information

Archived Content. Contenu archivé

Archived Content. Contenu archivé ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

Archived Content. Contenu archivé

Archived Content. Contenu archivé ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

Introduction au BIM. ESEB 38170 Seyssinet-Pariset Economie de la construction email : contact@eseb.fr

Introduction au BIM. ESEB 38170 Seyssinet-Pariset Economie de la construction email : contact@eseb.fr Quel est l objectif? 1 La France n est pas le seul pays impliqué 2 Une démarche obligatoire 3 Une organisation plus efficace 4 Le contexte 5 Risque d erreur INTERVENANTS : - Architecte - Économiste - Contrôleur

More information

Archived Content. Contenu archivé

Archived Content. Contenu archivé ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

Measuring Policing Complexity: A Research Based Agenda

Measuring Policing Complexity: A Research Based Agenda ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

Licence Informatique Année 2005-2006. Exceptions

Licence Informatique Année 2005-2006. Exceptions Université Paris 7 Java Licence Informatique Année 2005-2006 TD n 8 - Correction Exceptions Exercice 1 La méthode parseint est spécifiée ainsi : public static int parseint(string s) throws NumberFormatException

More information

MapReduce Détails Optimisation de la phase Reduce avec le Combiner

MapReduce Détails Optimisation de la phase Reduce avec le Combiner MapReduce Détails Optimisation de la phase Reduce avec le Combiner S'il est présent, le framework insère le Combiner dans la pipeline de traitement sur les noeuds qui viennent de terminer la phase Map.

More information

The Need For Speed. leads to PostgreSQL. Dimitri Fontaine dimitri@2ndquadrant.fr. 28 Mars 2013

The Need For Speed. leads to PostgreSQL. Dimitri Fontaine dimitri@2ndquadrant.fr. 28 Mars 2013 The Need For Speed leads to PostgreSQL Dimitri Fontaine dimitri@2ndquadrant.fr 28 Mars 2013 Dimitri Fontaine dimitri@2ndquadrant.fr The Need For Speed 28 Mars 2013 1 / 23 Dimitri Fontaine 2ndQuadrant France

More information

Tanenbaum, Computer Networks (extraits) Adaptation par J.Bétréma. DNS The Domain Name System

Tanenbaum, Computer Networks (extraits) Adaptation par J.Bétréma. DNS The Domain Name System Tanenbaum, Computer Networks (extraits) Adaptation par J.Bétréma DNS The Domain Name System RFC 1034 Network Working Group P. Mockapetris Request for Comments: 1034 ISI Obsoletes: RFCs 882, 883, 973 November

More information

Personnalisez votre intérieur avec les revêtements imprimés ALYOS design

Personnalisez votre intérieur avec les revêtements imprimés ALYOS design Plafond tendu à froid ALYOS technology ALYOS technology vous propose un ensemble de solutions techniques pour vos intérieurs. Spécialiste dans le domaine du plafond tendu, nous avons conçu et développé

More information

Archived Content. Contenu archivé

Archived Content. Contenu archivé ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

Archived Content. Contenu archivé

Archived Content. Contenu archivé ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

Retour vers le futur des bibliothèques de squelettes algorithmiques et DSL

Retour vers le futur des bibliothèques de squelettes algorithmiques et DSL Retour vers le futur des bibliothèques de squelettes algorithmiques et DSL Sylvain Jubertie sylvain.jubertie@lri.fr Journée LaMHA - 26/11/2015 Squelettes algorithmiques 2 / 29 Squelettes algorithmiques

More information

Enterprise Risk Management & Board members. GUBERNA Alumni Event June 19 th 2014 Prepared by Gaëtan LEFEVRE

Enterprise Risk Management & Board members. GUBERNA Alumni Event June 19 th 2014 Prepared by Gaëtan LEFEVRE Enterprise Risk Management & Board members GUBERNA Alumni Event June 19 th 2014 Prepared by Gaëtan LEFEVRE Agenda Introduction Do we need Risk Management? The 8 th EU Company Law Directive Art 41, 2b Three

More information

Langages Orientés Objet Java

Langages Orientés Objet Java Langages Orientés Objet Java Exceptions Arnaud LANOIX Université Nancy 2 24 octobre 2006 Arnaud LANOIX (Université Nancy 2) Langages Orientés Objet Java 24 octobre 2006 1 / 32 Exemple public class Example

More information

BILL C-665 PROJET DE LOI C-665 C-665 C-665 HOUSE OF COMMONS OF CANADA CHAMBRE DES COMMUNES DU CANADA

BILL C-665 PROJET DE LOI C-665 C-665 C-665 HOUSE OF COMMONS OF CANADA CHAMBRE DES COMMUNES DU CANADA C-665 C-665 Second Session, Forty-first Parliament, Deuxième session, quarante et unième législature, HOUSE OF COMMONS OF CANADA CHAMBRE DES COMMUNES DU CANADA BILL C-665 PROJET DE LOI C-665 An Act to

More information

CSS : petits compléments

CSS : petits compléments CSS : petits compléments Université Lille 1 Technologies du Web CSS : les sélecteurs 1 au programme... 1 ::before et ::after 2 compteurs 3 media queries 4 transformations et transitions Université Lille

More information

General Certificate of Education Advanced Level Examination June 2012

General Certificate of Education Advanced Level Examination June 2012 General Certificate of Education Advanced Level Examination June 2012 French Unit 4 Speaking Test Candidate s Material To be conducted by the teacher examiner between 7 March and 15 May 2012 (FRE4T) To

More information

Bibliothèque numérique de l enssib

Bibliothèque numérique de l enssib Bibliothèque numérique de l enssib European integration: conditions and challenges for libraries, 3 au 7 juillet 2007 36 e congrès LIBER How much does it cost? The LIFE Project Davies, Richard LIFE 2 Project

More information

527796-LLP-1-2012-1-ES-LEONARDO-LMP. http://www.adam-europe.eu/adam/project/view.htm?prj=9975

527796-LLP-1-2012-1-ES-LEONARDO-LMP. http://www.adam-europe.eu/adam/project/view.htm?prj=9975 innovative methodology 527796-LLP-1-2012-1-ES-LEONARDO-LMP 1 Information sur le projet Titre: Code Projet: Année: 2012 Type de Projet: Statut: Accroche marketing: Learn Play Manage. Collaborative Learning

More information

Strategic Workforce Planning and Competency Management at Schneider Electric

Strategic Workforce Planning and Competency Management at Schneider Electric Strategic Workforce Planning and Competency Management at Schneider Electric Congres HR 7 et 8 octobre 2015 - http://www.congreshr.com/ Cecile Rayssiguier 1 Cécile RAYSSIGUIER Workforce and Competency

More information

EPREUVE D EXPRESSION ORALE. SAVOIR et SAVOIR-FAIRE

EPREUVE D EXPRESSION ORALE. SAVOIR et SAVOIR-FAIRE EPREUVE D EXPRESSION ORALE SAVOIR et SAVOIR-FAIRE Pour présenter la notion -The notion I m going to deal with is The idea of progress / Myths and heroes Places and exchanges / Seats and forms of powers

More information

Survey on Conference Services provided by the United Nations Office at Geneva

Survey on Conference Services provided by the United Nations Office at Geneva Survey on Conference Services provided by the United Nations Office at Geneva Trade and Development Board, fifty-eighth session Geneva, 12-23 September 2011 Contents Survey contents Evaluation criteria

More information

Covert Channels inside DNS

Covert Channels inside DNS Covert Channels inside DNS Lucas Nussbaum Lucas Nussbaum Covert Channels inside DNS 1 / 23 Introduction On many networks, to access the Internet: you have to pay (airports, train stations, hotels) or you

More information

Archived Content. Contenu archivé

Archived Content. Contenu archivé ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

Troncatures dans les modèles linéaires simples et à effets mixtes sous R

Troncatures dans les modèles linéaires simples et à effets mixtes sous R Troncatures dans les modèles linéaires simples et à effets mixtes sous R Lyon, 27 et 28 juin 2013 D.Thiam, J.C Thalabard, G.Nuel Université Paris Descartes MAP5 UMR CNRS 8145 IRD UMR 216 2èmes Rencontres

More information

Installation troubleshooting guide

Installation troubleshooting guide Installation troubleshooting guide Content ERROR CODE PROBLEMS... 3 Error code 301: Unknown protection system. Verify the installation.... 3 Error code 302: The software cannot be used. The computer date

More information

Stockage distribué sous Linux

Stockage distribué sous Linux Félix Simon Ludovic Gauthier IUT Nancy-Charlemagne - LP ASRALL Mars 2009 1 / 18 Introduction Répartition sur plusieurs machines Accessibilité depuis plusieurs clients Vu comme un seul et énorme espace

More information

RAPPORT FINANCIER ANNUEL PORTANT SUR LES COMPTES 2014

RAPPORT FINANCIER ANNUEL PORTANT SUR LES COMPTES 2014 RAPPORT FINANCIER ANNUEL PORTANT SUR LES COMPTES 2014 En application de la loi du Luxembourg du 11 janvier 2008 relative aux obligations de transparence sur les émetteurs de valeurs mobilières. CREDIT

More information

How To Become A Successful Computer Scientist

How To Become A Successful Computer Scientist EIT ICT Labs Information & Communication Technology Labs Master in ICT Comment passer 1 an ailleurs en Europe, puis revenir à UNS dans le M2 IFI Parcours UBINET EIT ICT Labs Strategy Integrating the Knowledge

More information

SIXTH FRAMEWORK PROGRAMME PRIORITY [6

SIXTH FRAMEWORK PROGRAMME PRIORITY [6 Key technology : Confidence E. Fournier J.M. Crepel - Validation and certification - QA procedure, - standardisation - Correlation with physical tests - Uncertainty, robustness - How to eliminate a gateway

More information

Fondation Rennes 1. Atelier de l innovation. Fondation Rennes 1. Fondation Rennes 1 MANAGEMENT AGILE. Fondation Rennes 1 ET INNOVATION

Fondation Rennes 1. Atelier de l innovation. Fondation Rennes 1. Fondation Rennes 1 MANAGEMENT AGILE. Fondation Rennes 1 ET INNOVATION Atelier de l innovation MANAGEMENT AGILE ET INNOVATION Chaire Economie de l innovation - Mourad Zeroukhi 2012-2014 Centre de Recherche en иconomie et Management UniversitИ de Rennes 1 Chaire Economie de

More information

Contenu Expert en Marketing

Contenu Expert en Marketing Contenu Expert en Marketing 2013-1-PL1-LEO05-37732 1 Information sur le projet Titre: Code Projet: Contenu Expert en Marketing 2013-1-PL1-LEO05-37732 Année: 2013 Type de Projet: Statut: Pays: Accroche

More information

ATP Co C pyr y ight 2013 B l B ue C o C at S y S s y tems I nc. All R i R ghts R e R serve v d. 1

ATP Co C pyr y ight 2013 B l B ue C o C at S y S s y tems I nc. All R i R ghts R e R serve v d. 1 ATP 1 LES QUESTIONS QUI DEMANDENT RÉPONSE Qui s est introduit dans notre réseau? Comment s y est-on pris? Quelles données ont été compromises? Est-ce terminé? Cela peut-il se reproduire? 2 ADVANCED THREAT

More information

Setting up a monitoring and remote control tool

Setting up a monitoring and remote control tool Setting up a monitoring and remote control tool Oral examination for internship - Second year of Master in Computer Sciences Kevin TAOCHY Department of Mathematics and Computer Sciences University of Reunion

More information

Survey on use of Taser International 21ft cartridges

Survey on use of Taser International 21ft cartridges ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

Enterprise Informa/on Modeling: An Integrated Way to Track and Measure Asset Performance

Enterprise Informa/on Modeling: An Integrated Way to Track and Measure Asset Performance Enterprise Informa/on Modeling: An Integrated Way to Track and Measure Asset Performance This session will provide a0endees with insight on how to track and measure the performance of their assets from

More information

Bluetooth Low Energy

Bluetooth Low Energy Bluetooth Low Energy Responsable de l épreuve : L. Toutain Tous documents autorisés. Répondez uniquement sur la copie en annexe. Lisez bien tout le document avant de commencer à répondre 1 Bluetooth Low

More information

Level 2 French, 2014

Level 2 French, 2014 91121 911210 2SUPERVISOR S Level 2 French, 2014 91121 Demonstrate understanding of a variety of written and / or visual French text(s) on familiar matters 9.30 am Wednesday 26 November 2014 Credits: Five

More information

Guidance on Extended Producer Responsibility (EPR) Analysis of EPR schemes in the EU and development of guiding principles for their functioning

Guidance on Extended Producer Responsibility (EPR) Analysis of EPR schemes in the EU and development of guiding principles for their functioning (EPR) Analysis of in the EU and development of guiding principles for their functioning In association with: ACR+ SITA LUNCH DEBATE 25 September 2014 Content 1. Objectives and 2. General overview of in

More information

Hours: The hours for the class are divided between practicum and in-class activities. The dates and hours are as follows:

Hours: The hours for the class are divided between practicum and in-class activities. The dates and hours are as follows: March 2014 Bienvenue à EDUC 1515 Français Langue Seconde Partie 1 The following information will allow you to plan in advance for the upcoming session of FSL Part 1 and make arrangements to complete the

More information

Remote Method Invocation

Remote Method Invocation 1 / 22 Remote Method Invocation Jean-Michel Richer jean-michel.richer@univ-angers.fr http://www.info.univ-angers.fr/pub/richer M2 Informatique 2010-2011 2 / 22 Plan Plan 1 Introduction 2 RMI en détails

More information

Administrer les solutions Citrix XenApp et XenDesktop 7.6 CXD-203

Administrer les solutions Citrix XenApp et XenDesktop 7.6 CXD-203 Administrer les solutions Citrix XenApp XenDesktop 7.6 CXD-203 MIEL Centre Agréé : N 11 91 03 54 591 Pour contacter le service formation : 01 60 19 16 27 Pour consulter le planning des formations : www.miel.fr/formation

More information

Méthodes ensemblistes pour une localisation robuste de robots sous-marins

Méthodes ensemblistes pour une localisation robuste de robots sous-marins Méthodes ensemblistes pour une localisation robuste de robots sous-marins Jan Sliwka To cite this version: Jan Sliwka. Méthodes ensemblistes pour une localisation robuste de robots sous-marins. Automatique

More information

Connected objects: The internet of things

Connected objects: The internet of things Connected objects: The internet of things Katia HERSARD Chief E-commerce & Marketing Officer Fnac Fnac Group / 12.06.2014 An in-depth survey conducted through our Fnac innovation panel Respondents specifics:

More information

Veritas Storage Foundation 5.0 Software for SPARC

Veritas Storage Foundation 5.0 Software for SPARC Veritas Storage Foundation 5.0 Software for SPARC Release Note Supplement Sun Microsystems, Inc. www.sun.com Part No. 819-7074-10 July 2006 Submit comments about this document at: http://www.sun.com/hwdocs/feedback

More information

New European Models for Plastic Welding Education

New European Models for Plastic Welding Education New European Models for Plastic Welding Education 2010-1-NO1-LEO05-01968 http://www.adam-europe.eu/adam/project/view.htm?prj=7702 1 Information sur le projet Titre: Code Projet: Année: 2010 Type de Projet:

More information

GSAC CONSIGNE DE NAVIGABILITE définie par la DIRECTION GENERALE DE L AVIATION CIVILE Les examens ou modifications décrits ci-dessous sont impératifs. La non application des exigences contenues dans cette

More information

TP1 : Correction. Rappels : Stream, Thread et Socket TCP

TP1 : Correction. Rappels : Stream, Thread et Socket TCP Université Paris 7 M1 II Protocoles réseaux TP1 : Correction Rappels : Stream, Thread et Socket TCP Tous les programmes seront écrits en Java. 1. (a) Ecrire une application qui lit des chaines au clavier

More information

Créer une carte. QGIS Tutorials and Tips. Author. Ujaval Gandhi http://google.com/+ujavalgandhi. Translations by

Créer une carte. QGIS Tutorials and Tips. Author. Ujaval Gandhi http://google.com/+ujavalgandhi. Translations by Créer une carte QGIS Tutorials and Tips Author Ujaval Gandhi http://google.com/+ujavalgandhi Translations by Sylvain Dorey Allan Stockman Delphine Petit Alexis Athlani Florian Texier Quentin Paternoster

More information

AgroMarketDay. Research Application Summary pp: 371-375. Abstract

AgroMarketDay. Research Application Summary pp: 371-375. Abstract Fourth RUFORUM Biennial Regional Conference 21-25 July 2014, Maputo, Mozambique 371 Research Application Summary pp: 371-375 AgroMarketDay Katusiime, L. 1 & Omiat, I. 1 1 Kampala, Uganda Corresponding

More information

Asset management in urban drainage

Asset management in urban drainage Asset management in urban drainage Gestion patrimoniale de systèmes d assainissement Elkjaer J., Johansen N. B., Jacobsen P. Copenhagen Energy, Sewerage Division Orestads Boulevard 35, 2300 Copenhagen

More information

DHI a.s. Na Vrsich 51490/5, 100 00, Prague 10, Czech Republic ( t.metelka@dhi.cz, z.svitak@dhi.cz )

DHI a.s. Na Vrsich 51490/5, 100 00, Prague 10, Czech Republic ( t.metelka@dhi.cz, z.svitak@dhi.cz ) NOVATECH Rehabilitation strategies in wastewater networks as combination of operational, property and model information Stratégies de réhabilitation des réseaux d'égouts combinant des données d exploitation,

More information

Archived Content. Contenu archivé

Archived Content. Contenu archivé ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

Il est repris ci-dessous sans aucune complétude - quelques éléments de cet article, dont il est fait des citations (texte entre guillemets).

Il est repris ci-dessous sans aucune complétude - quelques éléments de cet article, dont il est fait des citations (texte entre guillemets). Modélisation déclarative et sémantique, ontologies, assemblage et intégration de modèles, génération de code Declarative and semantic modelling, ontologies, model linking and integration, code generation

More information

Assessment software development for distributed firewalls

Assessment software development for distributed firewalls Assessment software development for distributed firewalls Damien Leroy Université Catholique de Louvain Faculté des Sciences Appliquées Département d Ingénierie Informatique Année académique 2005-2006

More information

Archived Content. Contenu archivé

Archived Content. Contenu archivé ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

Qu est-ce que le Cloud? Quels sont ses points forts? Pourquoi l'adopter? Hugues De Pra Data Center Lead Cisco Belgium & Luxemburg

Qu est-ce que le Cloud? Quels sont ses points forts? Pourquoi l'adopter? Hugues De Pra Data Center Lead Cisco Belgium & Luxemburg Qu est-ce que le Cloud? Quels sont ses points forts? Pourquoi l'adopter? Hugues De Pra Data Center Lead Cisco Belgium & Luxemburg Agenda Le Business Case pour le Cloud Computing Qu est ce que le Cloud

More information

Sun Management Center Change Manager 1.0.1 Release Notes

Sun Management Center Change Manager 1.0.1 Release Notes Sun Management Center Change Manager 1.0.1 Release Notes Sun Microsystems, Inc. 4150 Network Circle Santa Clara, CA 95054 U.S.A. Part No: 817 0891 10 May 2003 Copyright 2003 Sun Microsystems, Inc. 4150

More information

Solaris 10 Documentation README

Solaris 10 Documentation README Solaris 10 Documentation README Sun Microsystems, Inc. 4150 Network Circle Santa Clara, CA 95054 U.S.A. Part No: 817 0550 10 January 2005 Copyright 2005 Sun Microsystems, Inc. 4150 Network Circle, Santa

More information

Account Manager H/F - CDI - France

Account Manager H/F - CDI - France Account Manager H/F - CDI - France La société Fondée en 2007, Dolead est un acteur majeur et innovant dans l univers de la publicité sur Internet. En 2013, Dolead a réalisé un chiffre d affaires de près

More information

COLLABORATIVE LCA. Rachel Arnould and Thomas Albisser. Hop-Cube, France

COLLABORATIVE LCA. Rachel Arnould and Thomas Albisser. Hop-Cube, France COLLABORATIVE LCA Rachel Arnould and Thomas Albisser Hop-Cube, France Abstract Ecolabels, standards, environmental labeling: product category rules supporting the desire for transparency on products environmental

More information

Sélection adaptative de codes polyédriques pour GPU/CPU

Sélection adaptative de codes polyédriques pour GPU/CPU Sélection adaptative de codes polyédriques pour GPU/CPU Jean-François DOLLINGER, Vincent LOECHNER, Philippe CLAUSS INRIA - Équipe CAMUS Université de Strasbourg Saint-Hippolyte - Le 6 décembre 2011 1 Sommaire

More information

ENABLING OBJECTIVE AND TEACHING POINTS. DRILL: 401.02 5. TIME: One 30 minutes period. 6. METHOD/APPROACH: a. demonstration; and. b. performance.

ENABLING OBJECTIVE AND TEACHING POINTS. DRILL: 401.02 5. TIME: One 30 minutes period. 6. METHOD/APPROACH: a. demonstration; and. b. performance. CHAPTER 4: LESSON SPECIFICATIONS COURSE TITLE: GREEN STAR COURSE ENABLING OBJECTIVE AND TEACHING POINTS CTS NUMBER: A-CR-CCP-116/PC-001 TRAINING DETAILS DRILL: 401.02 5. TIME: One 30 minutes period. 1.

More information

Interfaces de programmation pour les composants de la solution LiveCycle ES (juillet 2008)

Interfaces de programmation pour les composants de la solution LiveCycle ES (juillet 2008) Interfaces de programmation pour les composants de la solution LiveCycle ES (juillet 2008) Ce document répertorie les interfaces de programmation que les développeurs peuvent utiliser pour créer des applications

More information

An In-Context and Collaborative Software Localisation Model: Demonstration

An In-Context and Collaborative Software Localisation Model: Demonstration An In-Context and Collaborative Software Localisation Model: Demonstration Amel FRAISSE Christian BOITET Valérie BELLYNCK LABORATOIRE LIG, Université Joseph Fourier, 41 rue des Mathématiques, 38041 Grenoble,

More information

In-Home Caregivers Teleconference with Canadian Bar Association September 17, 2015

In-Home Caregivers Teleconference with Canadian Bar Association September 17, 2015 In-Home Caregivers Teleconference with Canadian Bar Association September 17, 2015 QUESTIONS FOR ESDC Temporary Foreign Worker Program -- Mr. Steve WEST *Answers have been updated following the conference

More information

TIMISKAMING FIRST NATION

TIMISKAMING FIRST NATION Post-Secondary Financial Assistance Forms TFN EDUCATION 2014-05-01 TIMISKAMING FIRST NATION 0 Education Dept. Application Check List Please enclose the following when applying: Form: Statement of Intent

More information

How To Become A Foreign Language Teacher

How To Become A Foreign Language Teacher Université d Artois U.F.R. de Langues Etrangères MASTER A DISTANCE Master Arts, Lettres et Langues Spécialité «CLE/ CLS en milieu scolaire» Voie Professionnelle ou Voie Recherche University of Artois Faculty

More information

Le projet européen ECOLABEL

Le projet européen ECOLABEL 4/02/2015 Le projet européen ECOLABEL Agnès JULLIEN (Ifsttar) WP1 leader (key performance indicators) agnes.jullien@ifsttar.fr ECOLABEL PROJECT PROPOSED METHODOLOGY and KPIs Main concepts Development of

More information

Thursday, February 7, 2013. DOM via PHP

Thursday, February 7, 2013. DOM via PHP DOM via PHP Plan PHP DOM PHP : Hypertext Preprocessor Langage de script pour création de pages Web dynamiques Un ficher PHP est un ficher HTML avec du code PHP

More information

Linux A multi-purpose executive support for civil avionics applications?

Linux A multi-purpose executive support for civil avionics applications? August 2004 Serge GOIFFON Pierre GAUFILLET AIRBUS France Linux A multi-purpose executive support for civil avionics applications? Civil avionics software context Main characteristics Required dependability

More information

Optimizing and interfacing with Cython. Konrad HINSEN Centre de Biophysique Moléculaire (Orléans) and Synchrotron Soleil (St Aubin)

Optimizing and interfacing with Cython. Konrad HINSEN Centre de Biophysique Moléculaire (Orléans) and Synchrotron Soleil (St Aubin) Optimizing and interfacing with Cython Konrad HINSEN Centre de Biophysique Moléculaire (Orléans) and Synchrotron Soleil (St Aubin) Extension modules Python permits modules to be written in C. Such modules

More information

Bac + 04 Licence en science commerciale, option marketing et communication. Degree in computer science, engineering or equivalent

Bac + 04 Licence en science commerciale, option marketing et communication. Degree in computer science, engineering or equivalent L un de ces postes vous intéresse? Postulez sur djezzy@talents-network.com Communication Brand senior manager Bac + 04 Licence en science commerciale, option marketing et communication. 05 years minimum

More information

Bibliothèque numérique de l enssib

Bibliothèque numérique de l enssib Bibliothèque numérique de l enssib Turning the library inside out, 4 au 7 juillet 2006 35 e congrès LIBER Permanent access to the record of science: the international role of the e-depot at the KB, National

More information

A web-based multilingual help desk

A web-based multilingual help desk LTC-Communicator: A web-based multilingual help desk Nigel Goffe The Language Technology Centre Ltd Kingston upon Thames Abstract Software vendors operating in international markets face two problems:

More information

Product / Produit Description Duration /Days Total / Total

Product / Produit Description Duration /Days Total / Total DELL Budget Proposal / Proposition Budgétaire Solutions Design Centre N o : 200903201602 Centre de Design de Solutions Date: 2009-03-23 Proposition valide pour 30 jours / Proposal valid for 30 days Customer

More information

ANIMATION OF CONTINUOUS COMPUTER SIMULATIONS C.M. Woodside and Richard Mallet Computer Center, Carleton University ABSTRACT

ANIMATION OF CONTINUOUS COMPUTER SIMULATIONS C.M. Woodside and Richard Mallet Computer Center, Carleton University ABSTRACT 19.1 ANIMATION OF CONTINUOUS COMPUTER SIMULATIONS C.M. Woodside and Richard Mallet Computer Center, Carleton University ABSTRACT A block-oriented graphics program called ANIM8 has been developed for animating

More information

Technical Service Bulletin

Technical Service Bulletin Technical Service Bulletin FILE CONTROL CREATED DATE MODIFIED DATE FOLDER OpenDrive 02/05/2005 662-02-25008 Rev. : A Installation Licence SCO sur PC de remplacement English version follows. Lors du changement

More information

APPLICATION SPECIFICATION

APPLICATION SPECIFICATION CONNECTEURS 1 x 6 VOIES / CONNECTOR 1 x 6 way MOLEX PART NUMBER : 98193-0001 Revision MODIFICATION SHEET Date A Première édition/ First edition All 2002-05 Mise à jour du document / Update document All

More information

Vincent Rullier Technology specialist Microsoft Suisse Romande

Vincent Rullier Technology specialist Microsoft Suisse Romande Vincent Rullier Technology specialist Microsoft Suisse Romande Pourquoi virtualiser Différents types de virtualisation Présentation Applications Postes de travail Serveurs Bénéfices Conclusion Q&A Technology

More information

A Lean journey. Presented at the APEX symposium May 27, 2015. Jennifer Little Transport Canada. France Bergeron Alpen Path Solutions Inc.

A Lean journey. Presented at the APEX symposium May 27, 2015. Jennifer Little Transport Canada. France Bergeron Alpen Path Solutions Inc. A Lean journey Presented at the APEX symposium May 27, 2015 Jennifer Little Transport Canada France Bergeron Alpen Path Solutions Inc. Alpen Path Solutions Inc. 2015 What is Lean for Government? Lean is

More information

How To Write A Police Budget

How To Write A Police Budget ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

"Internationalization vs. Localization: The Translation of Videogame Advertising"

Internationalization vs. Localization: The Translation of Videogame Advertising Article "Internationalization vs. Localization: The Translation of Videogame Advertising" Raquel de Pedro Ricoy Meta : journal des traducteurs / Meta: Translators' Journal, vol. 52, n 2, 2007, p. 260-275.

More information

ISO 10303-xx STEP. Sommaire. étendue. STandard for the Exchange of Product model data. Hervé Panetto CRAN Herve.Panetto@cran.uhp-nancy.fr. nancy.

ISO 10303-xx STEP. Sommaire. étendue. STandard for the Exchange of Product model data. Hervé Panetto CRAN Herve.Panetto@cran.uhp-nancy.fr. nancy. ISO 10303-xx STEP STandard for the Exchange of Product model data Hervé Panetto CRAN Herve.Panetto@cran.uhp-nancy.fr nancy.fr Sommaire 1. Architecture 2. Un protocole d application : AP214 3. Conclusions

More information

SunFDDI 6.0 on the Sun Enterprise 10000 Server

SunFDDI 6.0 on the Sun Enterprise 10000 Server SunFDDI 6.0 on the Sun Enterprise 10000 Server Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303-4900 USA 650 960-1300 Fax 650 969-9131 Part No.: 806-3610-11 November 1999, Revision A Send

More information

Office of the Auditor General / Bureau du vérificateur général FOLLOW-UP TO THE 2007 AUDIT OF THE DISPOSAL OF PAVEMENT LINE MARKER EQUIPMENT 2009

Office of the Auditor General / Bureau du vérificateur général FOLLOW-UP TO THE 2007 AUDIT OF THE DISPOSAL OF PAVEMENT LINE MARKER EQUIPMENT 2009 Office of the Auditor General / Bureau du vérificateur général FOLLOW-UP TO THE 2007 AUDIT OF THE DISPOSAL OF PAVEMENT LINE MARKER EQUIPMENT 2009 SUIVI DE LA VÉRIFICATION DE L ALIÉNATION D UNE TRACEUSE

More information

Archived Content. Contenu archivé

Archived Content. Contenu archivé ARCHIVED - Archiving Content ARCHIVÉE - Contenu archivé Archived Content Contenu archivé Information identified as archived is provided for reference, research or recordkeeping purposes. It is not subject

More information

NUNAVUT HOUSING CORPORATION - BOARD MEMBER RECRUITMENT

NUNAVUT HOUSING CORPORATION - BOARD MEMBER RECRUITMENT NUNAVUT HOUSING CORPORATION - BOARD MEMBER RECRUITMENT The is seeking Northern Residents interested in being on our Board of Directors We are seeking individuals with vision, passion, and leadership skills

More information

2 RENSEIGNEMENTS CONCERNANT L ASSURÉ SI CELUI-CI N EST PAS LE REQUÉRANT INFORMATION CONCERNING THE INSURED PERSON IF OTHER THAN THE APPLICANT

2 RENSEIGNEMENTS CONCERNANT L ASSURÉ SI CELUI-CI N EST PAS LE REQUÉRANT INFORMATION CONCERNING THE INSURED PERSON IF OTHER THAN THE APPLICANT SÉCURITÉ SOCIALE SOCIAL SECURITY ACCORD DU 9 FÉVRIER 1979 ENTRE LA FRANCE ET LE CANADA AGREEMENT OF FEBRUARY 9, 1979 BETWEEN FRANCE AND CANADA Formulaire FORM SE 401-06 INSTRUCTION D UNE DEMANDE DE PENSION

More information