Ordonnancement et Power Management
|
|
- Marie-Claire Grenon
- il y a 8 ans
- Total affichages :
Transcription
1 Action spécifique Low Power Ordonnancement et Power Management C.Belleudy Laboratoire I3S (UNSA/CNRS) N. Navet INRIA projet TRIO (LORIA)
2 PLAN Définition du problème Les techniques de Power Management pour des systèmes mono-processeur (N. Navet) Les techniques de Power Management pour des systèmes multi-processeurs Conclusion
3 Les sources de dissipation (E et P) P = Pdynamique + Pstatique = α.c.f.vdd 2 + Pstatique E = N i= 1 Ti. Pi AApplication nécessitant N cycles d horloge de période Ti Vdd F Tr = K. Cout.Vdd/(Vdd-Vt) 2 Réduire Vdd implique de baisser la fréquence de fonctionnement => Modification du couple V,F => E et P réduits E reste inchangée? P diminue?
4 Technologie des processeurs Variation de tension et de fréquence (DVS, DFS), Exemple : Crusoé, Xscale, LpArm, Pentium4M.. Modes de repos basse consommation (idle, sleep ) Pénalités : Energie, Temps. Exemple processeur StrongArm couples F,V : (59 Mhz, 0.8 V) -> (206 Mhz, 1.5 V) 400 mw RUN 10µs 160ms 10µs 90µs IDLE 160 mw 90µs SLEEP 50 mw
5 Du coté des batteries A Typical Discharge Profile (Li/MnO 2 DL2/3A Cells) [Ge01] Alternance de périodes d activation et de repos (idle) [Ge01] Le taux de décharge de la batterie dépend fortement : de Pmoyen si V(P) faible, de Ppic si V(P) grande.
6 DVS/DFS ou mode repos? F1,V1 Tâche1 Processeur inactif WCET (Worst Case Execution Time) E = E tâche1,f1,v1 + E inactif F2<F1,V2<V1 Tâche1 WCET F1,V1 Tâche1 WCET Processeur en mode repos = E tâche1,f2,v2 + E transition < E tâche1,f1,v1 pic réduit. E = E tâche1,f1,v1 + E transition + E mode repos E > E tâche1,f1,v1 Ppic inchangé, Prepos => rechargeme de la batterie?
7 Le problème Recherche des différentes vitesses de fonctionnement du ou des processeurs. PE1 T1 (V,F) T3 (V3,F3) Mode repos T6 (V,F) Echéance PE2 T2 (V2,F2) T4 (V,F) T5 (V,F) Exploitation des modes repos lorsque F n est plus disponible.
8 PLAN Définition du problème Les techniques de Power Management pour des systèmes mono-processeur (N. Navet) Les techniques de Power Management pour des systèmes multi-processeurs Conclusion
9 Le power management pour des systèmes monoprocesseur Politique hors ligne (ou Static Power Management) : T2 Deadline T1 T3 T4 Choix des couples V,F ou mode repos lors de la conception T1 (V1,F1) T2 (V2,F2) T3 (V3,F3) Politiques en-ligne (ou Dynamic Power Management) : Hors ligne puis Choix des couples V,F et des modes repos en cours d exécution de l application PE1 PE2 PE1 PE2 T1 (V1,F1) T2 (V2,F2) T4 (V4,F4) Deadlin Si T1 finit avant son WCET T3 (V3,F3 ) Idle Idle T4 (V4,F4) Deadli
10 Le power management pour des systèmes monoprocesseur Définition de quelques termes : Ci (Worst Case Execution Time : WCET) : pire temps d exécution d une tâche i, AETi : temps effectif d exécution d une tâche i, Ai : Date d activation d une tâche i, Ti : Période d une tâche i, Di : Echéance d une tâche i (hypothèse : Ti=Di). Notre problème : => Rechercher : S = F/F ref : vitesse CPU ou facteur de ralentissement.
11 Politiques hors ligne monoprocesseur Earliest Deadline first (EDF) [Gr02] : Priorité à la tâche dont l échéance est la plus proche. aisable si : U N = i= 1 Ci Ti 1 N i= 1 On cherche Ci =Ci/Smin tel que : N Ci' = (1/Smin)* Ti i= 1 Ci Ti 1 => Smin = U Vitesse choisie par cycle : Ordonnancement Stochastique P WCET Augmentation graduelle de la vitesse, les vitesses élevées étant peu voir pas utilisées [Gr02]. t
12 Politiques hors ligne monoprocesseur Vitesse par instance de tâches : EDF modifié[ga03] A D A(t) D(t) = = N i= 1 N i = 1 ci.1 c i.1 [ Ai [ Di t ] t ] Fonction d arrivée de travail Quantité de travail j T=max(Di) : horizon d optimisation ( t) U ( t) = u( s) ds t 0 A( t) => Si U(t) satisfait ces contraintes, il s agit du plus court chemin entre les murs constitués par A et D.
13 Politiques en ligne pour des systèmes monoprocesseurs Principe : redistributions des gains Lorqu une tâche termine, on calcule la différence entre le WCET et le AET et on redistribue le temps gagné : à la tâche qui débute son exécution [Ay04], à toutes les tâches en attente [Pi01]. he WCET 3 ms 3 ms Période 8 ms 10 ms Exécution 1 2 ms 1 ms Exécution 2 1 ms 1 ms N i= 1 Ci puis AETi Ti S min = > F = S min.fr 1 ms 14 ms 1 ms 1 ms S F T1 T T3 T T T3
14 PLAN Définition du problème Les techniques de Power Management pour des systèmes mono-processeur (N. Navet) Les techniques de Power Management pour des systèmes multi-processeurs Conclusion
15 Le problème T1 T3 3 3 E1 T4 3 Ordonnancement vitesse nominale PE1 Bus T1 E1 E2 T5 6 T2 line(t2)=19 E2 4 PE2 T3 T4 T2 D(T2) D(T5 eadline(t5)=22 T5 3 : tâche i : Communication entre unités Modifier V,F ou passer en mode de repos de façon à réduire E, P?
16 Politique hors ligne : vitesse adaptée à chaque tâche [LU02 6 T1 T3 3 Ordonnancement vitesse nominale PE1 Bus T1 E1 E2 T5 3 E1 T4 3 PE2 T3 T4 T2 6 T2 E2 4 Ti : tâche i Ei : Communication entre unités D(T2) D( adline(t2)=19 Deadline(t5)=22 T5 3 ur chaque chemin critique i, calcul du cteur de Ralentissement (S) : = Σi sur processeur WCETi / (Tfin - ébut Σi WCETi) PE1 Bus PE2 T1 E1 E2 T3 T4 T2 T5-30 Su max(si) => nouveau deadline Itération D(T2) D(T5)
17 Politique hors ligne pour des systèmes multiprocesseurs Calcul d un facteur de ralentissement par processeur/puis par tâche [Gu3b] : 2 phases 1 - On calcule par chemin critique S. On retient Smax pour l ensemble. systèmes homogènes => Scpu proche de S, Systèmes hétérogènes => Choix de différents Scpui. 2 - Recherche de S par tâche. Réduction du nombre de changements de vitesse. -46% sur E pour une application de caméra embarquée. Calcul d un facteur de ralentissement par région [Wu03] : On redistribue les cycles non utilisés à un groupe de tâches => -36% sur E.
18 Politique Hors ligne pour des systèmes multiprocesseurs Maîtrise du pic de puissance : Les cycles non utilisés sont allouées aux tâches où P>Pmoyen [Lu01], Mouvement des tâches tel que V(P) soit minimale [Lu01] (+70% de durée de vie de la batterie), Lorsque P > Pmax, diminution du parallélisme [Ch02]. Modes repos : Echec de DVS/DFS [Gu3b], Mouvement des tâches de façon à grouper les cycles non utilisés => augmentation du temps passer en mode repos [Ch02].
19 Politique en ligne pour des systèmes multiprocesseurs Redistribution des cycles WCETi AETi : à toutes les tâches en attente [Zh03] 1. Etude de E en fonction de a=aeti/wceti : Deux processeurs et a <0.5 Tâches non dépendantes (100) : gain de 60% sur E, Tâches dépendantes (20) : gain de 40% sur E. 2. Etude de E en fonction du nombre de processeurs (a=0.5): Energie sensiblement constante jusqu à 8 processeurs au delà ugmentation très rapide. Si il existe des événements apériodiques (soft event) => Ordonnancement si leur WCET<WCETi[Lu02], Sinon : le facteur de ralentissement est recalculé par rapport au chemin critique (complexe?)
20 PLAN Définition du problème Les techniques de Power Management pour des systèmes mono-processeur Les techniques de Power Management pour des systèmes multi-processeurs Conclusion
21 Conclusion Compromis Emin, Ppic et Tidle? => Modèles de batteries plus réalistes. Les pénalités liés aux changements de tension et de fréquence ne sont pas toujours prises en compte. Comparaison/validation (ex: synchrone/asynchrone). Systèmes multiprocesseur => le plus souvent système homogène. Pour les unités de type FPGA, ASIC : pas de DFS/DVS/Mode repos actuellement. Récupération de charge sur Trepos + nouvelle technologie (=>Pstatique++) => Exploitation plus judicieuse des modes repos. Gestion Thermique/Energétique couplée.
22 Bibliographie [Ac03] A. Acquaviva, T. Simunic, L. benini, «LP-ECOS : An energy efficient RTOS», HP Lanoratories, April [Ay04] H. Aydin, R. Melhem, D. Mosse and P.M. Alvarez, «Power_Aware Scheduling for Periodic real Time Tasks. To appear in IEEE transactions on Computers. [Be98] Luca Benini, Giovanni De Micheli, «Dynamic Power Management, Luca Benini, Giovanni De Micheli», Kluwer Academic Plublishers,1998. [Be00] L. Benini, A. Bogliolo, G. De Micheli, «A survey of design technique for system Level dynamic power Management», IEEE transactions on VLSi Systems, vol. 8, No. 3, Juin 2000, pp [Ch02] P. H.Chou, J. Liu, D. Li, N. Bagherzadeh, «IMPACCT : Methodology and tools for Power-Aware Embedded Systems», Design Automation for Embedded Systems, Kluwer Academic Plublishers, pp , [Da99] P. dave, G. Lakshminarayana, N. Jha, «COSYN: Hardware-Software Co- Synthesis of heterogeneous distributed Embedded Systems, IEEE Transactions on VLSI systems, Vol. 7, No. 1, mars [Do94] M. Doyle, J. newman, J. Reimers, «A quick method for measuring the capacity versus the discharge rate for a dual Lithium-ion insertion cell undergoing cycling», Journal of pwoer sources, Vol. 52, No. 2, décembre 1994, pp [Ga03] B. Gaujal, N. Navet, and C. Walsh, «Real Time scheduling for optimal enregy use», FTFC 03, 4iéme journées d études faible consommation, pages , Mai 2003.
23 Bibliographie [Ge01] Jun fei Geng, Battery Modeling: a Longer Lifetime, (duke University). [Gr02] F. Gruian, «Energy centric Scheduling for Real Time Systems», PhD thesis Lund Institute of Technology, [Gu03a] P. Guitton-Ouhamou, K. Ben Chehida, C. Belleudy, M. Auguin, «Automatical architecture exploration : Energy optimisations of a codesign tool for embedded HW/SW systems», first Northeast Workshop on Circuits and Systems (NEWCAS'2003), sponsored by IEEE June 17-20, 2003, in Montréal, Canada. [Gu03b] GUITTON-OUHAMOU Patricia, BELLEUDY Cécile, AUGUIN Michel, «Dynamic Voltage Scaling: implementations during the scheduling step of a codesign tool», Sophia Antipolis Microelectronics Forum (SAME2003), IEEE CAS Society, 6th edition, October , Sophia-Antipolis, France. [Lu01] Jiong Luo, Niraj K. Jha "Battery-Aware Static Scheduling for Distributed Real- Time Embedded Systems", in proceedings of 38th Design Automation Conference 2001 [p. 444] June 18-22, 2001 Las Vegas. [Lu02] J. Luo and N. K. Jha, Static and dynamic variable voltage scheduling algorithms for real-time heterogeneous distributed embedded systems, Int. Conf. on VLSI Design, Jan
24 Bibliographie [Ma99] Thomas Martin and Daniel Seiwiorek, "Non-Ideal Battery Behavior and Its Impact on Power Performance Trade-offs in Wearable Computing," Proceedings of the 1999 International Symposium on Wearable Computers, San Francisco, October 18-19, 1999; pp [Pi01] P. Pillai, Kang G. Shin, " Real-Time dynamic Voltage scaling for Low Power Embedded Operating Systems ", 18th Symposium on operating System Principles, October [Wu03] Dong Wu and Bashir M. Al-Hashimi, Petru Eles, "Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded Systems", in proceedings of Design Automation Test in Europe 2003 Munich, Germany, March 3-7, 2003, p [Ya95] F. Yao, A. Demers, S. shenker, «A sheduling model for reduced CPU energy», Proc. IEEE FOCS [Zh03] D. Zhu, R. Melhem, and B. Childers; "Scheduling with Dynamic Voltage/Speed Adjustment Using Slack Reclamation in Multi-Processor Real-Time Systems", IEEE Trans. on Parallel & Distributed Systems, vol. 14, no. 7, pp , 2003.
Ordonnancement temps réel et minimisation de la consommation d énergie
Chapitre 4 Ordonnancement temps réel et minimisation de la consommation d énergie 4.1. Introduction La consommation en énergie est devenue un problème crucial dans la conception des équipements électroniques
Plus en détailEquilibrage de charge (Load
Equilibrage de charge (Load balancing) dans les MPSoCs Présenté Le : 02 Décembre 2013 Par : A. AROUI Encadreur : A.E. BENYAMINA 01/12/2013 1 Problématique Comportement dynamique des applications et la
Plus en détailOrdonnancement temps réel
Ordonnancement temps réel Laurent.Pautet@enst.fr Version 1.5 Problématique de l ordonnancement temps réel En fonctionnement normal, respecter les contraintes temporelles spécifiées par toutes les tâches
Plus en détailProgrammation temps-réel Cours 1 et 2 Introduction et ordonnancement
Master 2 pro Programmation temps-réel Cours 1 et 2 Introduction et ordonnancement Isabelle PUAUT / Rémi COZOT Université de Rennes I 1 Applications temps-réel embarquées Systèmes en interaction avec l
Plus en détailImplé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étailOrdonnancement sous contraintes de Qualité de Service dans les Clouds
Ordonnancement sous contraintes de Qualité de Service dans les Clouds GUÉROUT Tom DA COSTA Georges (SEPIA) MONTEIL Thierry (SARA) 05/12/2014 1 Contexte CLOUD COMPUTING Contexte : Environnement de Cloud
Plus en détailOptimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie
Optimisation multi-critère pour l allocation de ressources sur Clouds distribués avec prise en compte de l énergie 1 Présenté par: Yacine KESSACI Encadrement : N. MELAB E-G. TALBI 31/05/2011 Plan 2 Motivation
Plus en détailChapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE
Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE 1. Rappel de ce qu est un SE 2. Conception au niveau système (ESL) Méthodologie de conception (codesign logiciel/matériel)
Plus en détailHétérogénéité pour atteindre une consommation énergétique proportionnelle dans les clouds
Hétérogénéité pour atteindre une consommation énergétique proportionnelle dans les clouds Mardi Laurent Lefèvre LIP Inria/ENS Lyon Jean-Marc Pierson, Georges Da Costa, Patricia Stolf IRIT Toulouse Hétérogénéité
Plus en détailMoteur DC: Comment faire varier sa vitesse?
Moteur DC: Comment faire varier sa vitesse? Zone d'utilisation Moteur à excitation shunt Influence I e Petite perturbation : e.g. augmentation vitesse À partir de P : couple moteur P'' < couple résistant
Plus en détailLa Recherche du Point Optimum de Fonctionnement d un Générateur Photovoltaïque en Utilisant les Réseaux NEURO-FLOUS
Rev. Energ. Ren. : Chemss 2000 39-44 La Recherche du Point Optimum de Fonctionnement d un Générateur Photovoltaïque en Utilisant les Réseaux NEURO-FLOUS D.K. Mohamed, A. Midoun et F. Safia Département
Plus en détailGestion optimale des unités de production dans un réseau compte tenu de la dynamique de la température des lignes
Gestion optimale des unités de production dans un réseau compte tenu de la dynamique de la température des lignes M. Nick, R. Cherkaoui, M. Paolone «Le réseau électrique de demain» - EPFL, 21.05.2015 Table
Plus en détailIntroduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr
Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans
Plus en détailCURRICULUM VITAE. Informations Personnelles
CURRICULUM VITAE Informations Personnelles NOM: BOURAS PRENOM : Zine-Eddine STRUCTURE DE RATTACHEMENT: Département de Mathématiques et d Informatique Ecole Préparatoire aux Sciences et Techniques Annaba
Plus en détailContrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre.
Contrôle par commande prédictive d un procédé de cuisson sous infrarouge de peintures en poudre. Isabelle Bombard, Bruno da Silva, Pascal Dufour *, Pierre Laurent, Joseph Lieto. Laboratoire d Automatique
Plus en détailEvaluation des performances de programmes parallèles haut niveau à base de squelettes
Evaluation des performances de programmes parallèles haut niveau à base de squelettes Enhancing the Performance Predictability of Grid Applications with Patterns and Process Algebras A. Benoit, M. Cole,
Plus en détailEquilibrage de charge pour les grilles de calcul : classe des tâches dépendantes et indépendantes.
Equilibrage de charge pour les grilles de calcul : classe des tâches dépendantes et indépendantes. Meriem Meddeber 1 et Belabbas Yagoubi 2 1 Université de Mascara, Faculté des sciences, Département des
Plus en détailApplication de K-means à la définition du nombre de VM optimal dans un cloud
Application de K-means à la définition du nombre de VM optimal dans un cloud EGC 2012 : Atelier Fouille de données complexes : complexité liée aux données multiples et massives (31 janvier - 3 février
Plus en détailCONTEC CO., LTD. Novembre 2010
La gamme CONTEC CONTEC CO., LTD. Novembre 2010 1 Agenda Introduction Data acquisition and control Data Communication Expansion chassis and accessory Distributed I/O and media converter Stainless steel
Plus en détailLe Cloud Compu+ng modèle et évalua+on de performances
Le Cloud Compu+ng modèle et évalua+on de Par Valérie D. JUSTAFORT Candidate au Ph.D. École Polytechnique 28 Mars 2014 Sous la direction de M. Samuel PIERRE, Ph.D. École Polytechnique Et la co-direction
Plus en détailMécanismes de protection dans AUTOSAR OS
Mécanismes de protection dans AUTOSAR OS Nicolas Navet, RTaW Hervé Perrault, PSA Peugeot Citroën Conférence à RTS 09 le 31/03/2009 Plan 1. Code ECU : besoin de ré-utilisabilité et multi-source 2. Concepts
Plus en détailGénération de code binaire pour application multimedia : une approche au vol
Génération de binaire pour application multimedia : une approche au vol http://hpbcg.org/ Henri-Pierre Charles Université de Versailles Saint-Quentin en Yvelines 3 Octobre 2009 Présentation Présentation
Plus en détailIntroduction au temps réel
Introduction au temps réel Laurent.Pautet@enst.fr Version 2.0 Définition d un système temps réel Un système temps réel se compose d'un ou plusieurs sous-systèmes devant répondre en un temps fini et spécifié
Plus en détailEfficient 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étailLaboratoire 4 Développement d un système intelligent
DÉPARTEMENT DE GÉNIE LOGICIEL ET DES TI LOG770 - SYSTÈMES INTELLIGENTS ÉTÉ 2012 Laboratoire 4 Développement d un système intelligent 1 Introduction Ce quatrième et dernier laboratoire porte sur le développement
Plus en détailClustering pour l optimisation de la durée de vie des réseaux de capteurs sans fil.
Clustering pour l optimisation de la durée de vie des réseaux de capteurs sans fil. ALGOTEL 2012 INRIA Lille - Nord Europe Tony Ducrocq, Nathalie Mitton, Michaël Hauspie 29 Mai 2012 Projet BinThatThinks
Plus en détailORDONNANCEMENT CONJOINT DE TÂCHES ET DE MESSAGES DANS LES RÉSEAUX TEMPS RÉELS 4. QUELQUES EXEMPLES DU DYNAMISME ACTUEL DU TEMPS RÉEL
i LE TEMPS RÉEL 1. PRÉSENTATION DU TEMPS RÉEL 1.1. APPLICATIONS TEMPS RÉEL 1.2. CONTRAINTES DE TEMPS RÉEL 2. STRUCTURES D'ACCUEIL POUR LE TEMPS RÉEL 2.1. EXÉCUTIFS TEMPS RÉEL 2.2. RÉSEAUX LOCAUX TEMPS
Plus en détailInformatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre. Partie I : Introduction
Informatique industrielle A7-19571 Systèmes temps-réel J.F.Peyre Partie I : Introduction Plan de la première partie Quelques définitions Caractéristiques communes des applications temps-réel Exemples d
Plus en détailOPTIMISATION DE LA MAINTENANCE DES EQUIPEMENTS DE MANUTENTION DU TERMINAL A CONTENEURS DE BEJAIA (BMT)
OPTIMISATION DE LA MAINTENANCE DES EQUIPEMENTS DE MANUTENTION DU TERMINAL A CONTENEURS DE BEJAIA (BMT) LAGGOUNE Radouane 1 et HADDAD Cherifa 2 1,2: Dépt. de G. Mécanique, université de Bejaia, Targa-Ouzemour
Plus en détailHigh Performance by Exploiting Information Locality through Reverse Computing. Mouad Bahi
Thèse High Performance by Exploiting Information Locality through Reverse Computing Présentée et soutenue publiquement le 21 décembre 2011 par Mouad Bahi pour l obtention du Doctorat de l université Paris-Sud
Plus en détailMinimisation de la consommation énergétique à l'aide du système d'exploitation
Minimisation de la consommation énergétique à l'aide du système d'exploitation Gilbert Cabillic INRIA Projet ACES IRISA Ecole ARCHI 23 Introduction Niveaux La gestion de l'énergie peut être faite à plusieurs
Plus en détailEnseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing
Enseignant: Lamouchi Bassem Cours : Système à large échelle et Cloud Computing Les Clusters Les Mainframes Les Terminal Services Server La virtualisation De point de vue naturelle, c est le fait de regrouper
Plus en détailphysicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178
Thèse no. 7178 PROBLEMES D'OPTIMISATION DANS LES SYSTEMES DE CHAUFFAGE A DISTANCE présentée à l'ecole POLYTECHNIQUE FEDERALE DE ZURICH pour l'obtention du titre de Docteur es sciences naturelles par Alain
Plus en détailPrésentation du sujet de thèse Schémas temporels hybrides fondés sur les SVMs pour l analyse du comportement du conducteur
Présentation du sujet de thèse Schémas temporels hybrides fondés sur les SVMs pour l analyse du comportement du conducteur Réalisé par : Bassem Besbes Laboratoire d Informatique, Traitement de l Information
Plus en détailListe de conférences et revues Thème Com A
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
Plus en détailOptimisation for Cloud Computing and Big Data
1 / 23 Optimisation for Cloud Computing and Big Data Olivier Beaumont, Lionel Eyraud-Dubois 2 / 23 Aujourd hui Problèmes de fiabilité on va oublier la dynamicité Placement de VMs en programmation par contraintes
Plus en détailSolution A La Gestion Des Objets Java Pour Des Systèmes Embarqués
International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des
Plus en détailVers l'orchestration de grilles de PC par les mécanismes de publicationsouscription
Vers l'orchestration de grilles de PC par les mécanismes de publicationsouscription Présentée par Leila Abidi Sous la direction de Mohamed Jemni & Christophe Cérin Plan Contexte Problématique Objectifs
Plus en détailAnnexe 6. Notions d ordonnancement.
Annexe 6. Notions d ordonnancement. APP3 Optimisation Combinatoire: problèmes sur-contraints et ordonnancement. Mines-Nantes, option GIPAD, 2011-2012. Sophie.Demassey@mines-nantes.fr Résumé Ce document
Plus en détailLes systèmes embarqués Introduction. Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon
Les systèmes embarqués Introduction Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon Introduction aux systèmes embarqués Définition. Caractéristiques d
Plus en détailAnalyse du temps de réponse des systèmes temps réel
Analyse du temps de réponse des systèmes temps réel Pascal Richard Laboratoire d Informatique Scientifique et Industrielle, ENSMA BP 40198 Téléport 2 F-86960 Futuroscope pascal.richard@ensma.fr RÉSUMÉ.
Plus en détailLes simulations dans l enseignement des sondages Avec le logiciel GENESIS sous SAS et la bibliothèque Sondages sous R
Les simulations dans l enseignement des sondages Avec le logiciel GENESIS sous SAS et la bibliothèque Sondages sous R Yves Aragon, David Haziza & Anne Ruiz-Gazen GREMAQ, UMR CNRS 5604, Université des Sciences
Plus en détailNouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires
Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires Julien Jorge, Xavier Gandibleux Laboratoire d Informatique de Nantes Atlantique
Plus en détailInitiation au HPC - Généralités
Initiation au HPC - Généralités Éric Ramat et Julien Dehos Université du Littoral Côte d Opale M2 Informatique 2 septembre 2015 Éric Ramat et Julien Dehos Initiation au HPC - Généralités 1/49 Plan du cours
Plus en détailRé-ordonnancement adaptatif de messages dans un réseau ad hoc de véhicules
Ré-ordonnancement adaptatif de messages dans un réseau ad hoc de véhicules M. Shawky, K. Chaaban, P. Crubillé Heudiasyc UMR 6599 CNRS, Univ. Tech. De Compiègne 1 ADAS (Advanced Driving Aid System) Reactive
Plus en détailSurveillance de Scripts LUA et de réception d EVENT. avec LoriotPro Extended & Broadcast Edition
Surveillance de Scripts LUA et de réception d EVENT avec LoriotPro Extended & Broadcast Edition L objectif de ce document est de présenter une solution de surveillance de processus LUA au sein de la solution
Plus en détailLes systèmes de base de données temps réels. Pokrovskaya Natalia, Kabbali Nadia
Les systèmes de base de données temps réels Pokrovskaya Natalia, Kabbali Nadia Année académique 2008-2009 Table des matières 1 Introduction 2 2 Système de gestion de bases de données classiques 3 3 Systèmes
Plus en détail2013 IIHF WORLD WOMEN S HOCKEY CHAMPIONSHIP
2013 IIHF WORLD WOMEN S HOCKEY CHAMPIONSHIP Name Mailing address Phone Girl s Hockey Association 2011/ 12 Team Name Email TICKET PACKAGE Price/ Seat 100 Level (12 games, Lower Bowl) $ 289 200 Level (12
Plus en détailContrôle stochastique d allocation de ressources dans le «cloud computing»
Contrôle stochastique d allocation de ressources dans le «cloud computing» Jacques Malenfant 1 Olga Melekhova 1, Xavier Dutreilh 1,3, Sergey Kirghizov 1, Isis Truck 2, Nicolas Rivierre 3 Travaux partiellement
Plus en détailMEAD : temps réel et tolérance aux pannes pour CORBA
MEAD : un intergiciel temps-réel et tolérant aux pannes pour CORBA Master 2 Informatique Recherche Université de Marne-la-Vallée Vendredi 3 mars 2006 Plan 1 Introduction 2 Solutions existantes 3 Concilier
Plus en détailLISTE DES PUBLICATIONS
LISTE DES PUBLICATIONS DE GABRIELLA SALZANO Bases de données et Systèmes d'information A - Chapitres d ouvrages collectifs édités A1. SALZANO, G., Dimension géographique des Systèmes d'information de santé,
Plus en détailChapitre 5 : Flot maximal dans un graphe
Graphes et RO TELECOM Nancy A Chapitre 5 : Flot maximal dans un graphe J.-F. Scheid 1 Plan du chapitre I. Définitions 1 Graphe Graphe valué 3 Représentation d un graphe (matrice d incidence, matrice d
Plus en détailTEPZZ 568448A_T EP 2 568 448 A1 (19) (11) EP 2 568 448 A1 (12) DEMANDE DE BREVET EUROPEEN. (51) Int Cl.: G07F 7/08 (2006.01) G06K 19/077 (2006.
(19) TEPZZ 68448A_T (11) EP 2 68 448 A1 (12) DEMANDE DE BREVET EUROPEEN (43) Date de publication: 13.03.2013 Bulletin 2013/11 (1) Int Cl.: G07F 7/08 (2006.01) G06K 19/077 (2006.01) (21) Numéro de dépôt:
Plus en détailTHÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par.
École Doctorale d Informatique, Télécommunications et Électronique de Paris THÈSE présentée à TÉLÉCOM PARISTECH pour obtenir le grade de DOCTEUR de TÉLÉCOM PARISTECH Mention Informatique et Réseaux par
Plus en détailAIDE FINANCIÈRE POUR ATHLÈTES FINANCIAL ASSISTANCE FOR ATHLETES
AIDE FINANCIÈRE POUR ATHLÈTES FINANCIAL ASSISTANCE FOR ATHLETES FORMULAIRE DE DEMANDE D AIDE / APPLICATION FORM Espace réservé pour l utilisation de la fondation This space reserved for foundation use
Plus en détailMathématique et Automatique : de la boucle ouverte à la boucle fermée. Maïtine bergounioux Laboratoire MAPMO - UMR 6628 Université d'orléans
Mathématique et Automatique : de la boucle ouverte à la boucle fermée Maïtine bergounioux Laboratoire MAPMO - UMR 6628 Université d'orléans Maitine.Bergounioux@labomath.univ-orleans.fr Plan 1. Un peu de
Plus en détailMust Today s Risk Be Tomorrow s Disaster? The Use of Knowledge in Disaster Risk Reduction
Must Today s Risk Be Tomorrow s Disaster? The Use of Knowledge in Disaster Risk Reduction Website: https://dce.yorku.ca/crhn/ Submission information: 11th Annual Canadian Risk and Hazards Network Symposium
Plus en détailQy y a-t-il de nouveau? NetSupport ServiceDesk v3
Qy y a-t-il de nouveau? NetSupport ServiceDesk v3 La disponibilité des systèmes critiques est essentielle au succès de toute organisation moderne, ainsi qu à la productivité du personnel qui les utilise.
Plus en détailModélisation de la Reconfiguration Dynamique appliquée à un décodeur LDPC Non Binaire
Modélisation de la Reconfiguration Dynamique appliquée à un décodeur LDPC Non Binaire LAURA CONDE-CANENCIA 1, JEAN-CHRISTOPHE.PREVOTET 2, YASET OLIVA 2, YVAN EUSTACHE 1 1 Université Européenne de Bretagne
Plus en détailStratégie de réduc-on des déchets Waste Reduc-on Strategy: Contrat 2016 Contract
Stratégie de réduc-on des déchets Waste Reduc-on Strategy: Contrat 2016 Contract Andrew Duffield Directeur des Travaux publics Director of Public Works 2015-05- 25 Résultats des ini-a-ves de la Stratégie
Plus en détailCurriculum Vitae 1 er février 2008
Curriculum Vitae 1 er février 2008 Informations générales Cédric MEUTER Nationalité belge Né à La Louvière, le 16 novembre 1979 Adresse personnelle : Adresse professionnelle : Ave Général Bernheim, 57
Plus en détailMaîtrise énergétique des centres de données
LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Maîtrise énergétique des
Plus en détailSérie 77 - Relais statiques modulaires 5A. Caractéristiques. Relais temporisés et relais de contrôle
Série 77 - Relais statiques modulaires 5A Caractéristiques 77.01.x.xxx.8050 77.01.x.xxx.8051 Relais statiques modulaires, Sortie 1NO 5A Largeur 17.5mm Sortie AC Isolation entre entrée et sortie 5kV (1.2/
Plus en détailMesurer la consommation électrique des serveurs dans les data-centers: besoins & challenges Code-Watchers!
Mesurer la consommation électrique des serveurs dans les data-centers: besoins & challenges Code-Watchers! Laurent Lefèvre Inria - laurent.lefevre @ inria.fr M. Diouri, J.-P. Gelas, O. Gluck, A.-C. Orgerie,
Plus en détailMultitension Monofonction. Multitension Multifonction
Série - Relais temporisés modulaires 16 A SERIE Caractéristiques.01.11 Relais temporisés multifonction et monofonction.01 - Multifonction et multitension.11 - Temporisé à la mise sous tension, multitension
Plus en détailagile Datacenter vert Le monde naissant des datacenters de nouvelle génération ICAR-2013 Gérald.Dulac@eolas.fr Ibrahim.Safieddine@eolas.
Le monde naissant des datacenters de nouvelle génération ICAR-2013 Datacenter vert agile Grenoble Lyon Paris Gérald.Dulac@eolas.fr Ibrahim.Safieddine@eolas.fr Datacenter de nouvelle génération vert agile?
Plus en détailVers une approche Adaptative pour la Découverte et la Composition Dynamique des Services
69 Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services M. Bakhouya, J. Gaber et A. Koukam Laboratoire Systèmes et Transports SeT Université de Technologie de Belfort-Montbéliard
Plus en détailIntroduction aux systèmes temps réel
Introduction aux systèmes temps réel Frank Singhoff Bureau C-203 Université de Brest, France LISyC/EA 3883 singhoff@univ-brest.fr UE applications de l informatique, Université de Brest Page 1/22 Plan du
Plus en détailPropriétés du Document EMA. Résumé
Propriétés du Document Source du Document FSN OpenPaaS Titre du Document Définition et exploitation d un référentiel de processus collaboratifs : Rapport de synthèse quant aux référentiels existants Module(s)
Plus en détailMesure 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étailEMETTEUR ULB. Architectures & circuits. Ecole ULB GDRO ESISAR - Valence 23-27/10/2006. David MARCHALAND STMicroelectronics 26/10/2006
EMETTEUR ULB Architectures & circuits David MARCHALAND STMicroelectronics 26/10/2006 Ecole ULB GDRO ESISAR - Valence 23-27/10/2006 Introduction Emergence des applications de type LR-WPAN : Dispositif communicant
Plus en détailThèmes de recherche. Projets en cours
Formation Michel Baroni Professeur, Département Finance Responsable Pédagogique des Mastères Spécialisés en Techniques Financières et Finance & Asset Management Habilitation à Diriger des Recherches, Université
Plus en détailA GRASPxELS approach for the Job Shop with generic time-lags and new statistical determination of the parameters
A GRASPxELS approach for the Job Shop with generic time-lags and new statistical determination of the parameters Présenté par : Equipe de travail : Laboratoire : Maxime CHASSAING Philippe LACOMME, Nikolay
Plus en détailCOMMANDER la puissance par MODULATION COMMUNIQUER
SERIE 4 MODULER - COMMUNIQUER Fonctions du programme abordées : COMMANDER la puissance par MODULATION COMMUNIQUER Objectifs : Réaliser le câblage d un modulateur d après le schéma de puissance et de commande,
Plus en détailApplications Embarquées Critiques
Applications Embarquées Critiques Jean-Marc Pierson pierson@irit.fr Cours DL Jean-Marc Pierson Applications Embarquées Critiques (1/50) Applications Embarquées Critiques: Plan Caractéristiques générales,
Plus en détailExemples de problèmes et d applications. INF6953 Exemples de problèmes 1
Exemples de problèmes et d applications INF6953 Exemples de problèmes Sommaire Quelques domaines d application Quelques problèmes réels Allocation de fréquences dans les réseaux radio-mobiles Affectation
Plus en détailRetours d expériences et perspectives sur les aspects énergétiques
Retour d expériences Retours d expériences et perspectives sur les aspects énergétiques d un mesocentre (Grenoble) GreenDays@Luxembourg CIMENT, LIG 28-29 Janvier 2013 Bruno Bzeznik Retour d expériences
Plus en détailMaster4Light. Caractérisation Optique et Electrique des Sources Lumineuses. Equipement 2-en-1 : source de courant et spectrophotomètre
DSF-M4L-Rev2.0-04/12 Master4Light Equipement 2-en-1 : source de courant et spectrophotomètre Interface graphique logicielle, connexion USB Configuration personnalisable : laboratoire et in-situ http://www.majantys.com
Plus en détailOrdonnancement des applications temps réel réparties
Ordonnancement des applications temps réel réparties Frank Singhoff Bureau C-203 Université de Brest, France LISyC/EA 3883 singhoff@univ-brest.fr UE systèmes temps réel, Université de Brest Page 1/100
Plus en détailCommutateur statique de transfert Liebert La solution incontournable pour vos systèmes d alimentation à haute disponibilité
Commutateur statique de transfert Liebert La solution incontournable pour vos systèmes d alimentation à haute disponibilité AC Power Systems for Business-Critical Continuity Emerson Network Power est une
Plus en détailTechniques d interaction dans la visualisation de l information Séminaire DIVA
Techniques d interaction dans la visualisation de l information Séminaire DIVA Zingg Luca, luca.zingg@unifr.ch 13 février 2007 Résumé Le but de cet article est d avoir une vision globale des techniques
Plus en détailTests de performance du matériel
3 Tests de performance du matériel Après toute la théorie du dernier chapitre, vous vous demandez certainement quelles sont les performances réelles de votre propre système. En fait, il y a plusieurs raisons
Plus en détailELEC2753 Electrotechnique examen du 11/06/2012
ELEC2753 Electrotechnique examen du 11/06/2012 Pour faciliter la correction et la surveillance, merci de répondre aux 3 questions sur des feuilles différentes et d'écrire immédiatement votre nom sur toutes
Plus en détailEntreprise. Gestion énergétique de votre parc informatique
Entreprise Gestion énergétique de votre parc informatique AVOB Energy Saver 5, c est l opportunité pour votre entreprise de réduire drastiquement le coût énergétique et l empreinte carbone de son parc
Plus en détailDifferential Synchronization
Differential Synchronization Neil Fraser Google 2009 BENA Pierrick CLEMENT Lucien DIARRA Thiemoko 2 Plan Introduction Stratégies de synchronisation Synchronisation différentielle Vue d ensemble Dual Shadow
Plus en détailSé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étailT101, serveur de temps haute précision
T101, serveur de temps haute précision T101Compact Serveur de temps NTP/SNTP, horloge GPS de strate 1, avec PoE, et fonctions d entrées/sorties d échantillonnage et de synchronisation. T101Rack 1 Bd d
Plus en détailOptimisation for Cloud Computing and Big Data
1 / 31 Optimisation for Cloud Computing and Big Data Olivier Beaumont, Lionel Eyraud-Dubois 2 / 31 Le Cloud, qu est-ce que c est? C est récent Amazon qui commence (2006) avec AWS Dropbox, Google App Engine
Plus en détailEL70x1 en mode position. Mise en œuvre rapide. VERSION : Beta / DATE : 31 Juillet 2011
- EL70x1 en mode position Mise en œuvre rapide VERSION : Beta / DATE : 31 Juillet 2011 Les bornes EL70x1 permettent de contrôler des moteurs pas à pas. Soit la consigne est générée par une tâche NC, soit
Plus en détailLogitech Tablet Keyboard for Windows 8, Windows RT and Android 3.0+ Setup Guide Guide d installation
Logitech Tablet Keyboard for Windows 8, Windows RT and Android 3.0+ Setup Guide Guide d installation English.......................................... 3 Français.........................................
Plus en détailLES MÉMOIRES FLASH : ENTRE MÉMOIRE VIVE ET MÉMOIRE DE STOCKAGE. Etienne Nowak 12 mars 2015. Etienne Nowak - 12 mars 2015 - GIS-SPADON
LES MÉMOIRES FLASH : ENTRE MÉMOIRE VIVE ET MÉMOIRE DE STOCKAGE Etienne Nowak 12 mars 2015 PRÉSENTATION ETIENNE NOWAK
Plus en détailLe théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche
Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche Bachir Bekka Février 2007 Le théorème de Perron-Frobenius a d importantes applications en probabilités (chaines
Plus en détailIngénierie et gestion des connaissances
Master Web Intelligence ICM Option Informatique Ingénierie et gestion des connaissances Philippe BEAUNE Philippe.Beaune@emse.fr 18 novembre 2008 Passer en revue quelques idées fondatrices de l ingénierie
Plus en détailSynthèse des convertisseurs statiques DC/AC pour les systèmes photovoltaïques
Revue des Energies Renouvelables ICESD 11 Adrar (2011) 101 112 Synthèse des convertisseurs statiques DC/AC pour les systèmes photovoltaïques M. Meddah *, M. Bourahla et N. Bouchetata Faculté de Génie Electrique,
Plus en détailPrincipe de symétrisation pour la construction d un test adaptatif
Principe de symétrisation pour la construction d un test adaptatif Cécile Durot 1 & Yves Rozenholc 2 1 UFR SEGMI, Université Paris Ouest Nanterre La Défense, France, cecile.durot@gmail.com 2 Université
Plus en détailPolar. Nouveautés Polar
Polar Nouveautés Polar POLAR ELECTRO Fondé en 1977 Premier moniteur de fréquence cardiaque sans fil au monde Travail en collaboration avec les plus grands instituts sportifs & universités Reconnu comme
Plus en détailUNIVERSITE SIDI MOHAMED BEN ABDELLAH ECOLE SUPERIEURE DE TECHNOLOGIE
UNIVERSITE SIDI MOHAMED BEN ABDELLAH ECOLE SUPERIEURE DE TECHNOLOGIE Route d'imouzzer - BP 47 - FES Téléphone 05 35 60 05 84/85/86 Télécopie 05 35 60 05 88 BORDEREAU DES PRIX - DETAIL ESTIMATIF 0 DEPENSES
Plus en détailGrenoble Institute of Technology Esisar department. Speaker : Laurent.Lefevre@grenoble-inp.fr
Grenoble Institute of Technology Esisar department Speaker : Laurent.Lefevre@grenoble-inp.fr Grenoble INP 6 Departments organized along the European standard «Bachelor, Master, Doctorate» Ense3 Energy,
Plus en détailFabricant. 2 terminals
Specifications Fabricant Nominal torque (Nm) 65 Minimal torque (Nm) 0,63 Coil resistance - 20 C (ohms) 20 Rated current DC (A) 1 Rotor inertia (kg.m 2 ) 2.10-3 Weight (kg) 7,20 Heat dissipation continuous
Plus en détail