Détail de l'auteur
Auteur Dominique GENIET |
Documents disponibles écrits par cet auteur (4)
Faire une suggestion Affiner la recherche
Contribution à l'analyse d'ordonnançabilité des applications temps réel multiporcesseurs / Sadouanouan MALO
Titre : Contribution à l'analyse d'ordonnançabilité des applications temps réel multiporcesseurs Type de document : thèse Auteurs : Sadouanouan MALO, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Guy VIDAL-NAQUET, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Jean-Philippe BABAU, Examinateur ; Dominique GENIET, Examinateur ; Gaëlle LARGETEAU-SKAPIN, Examinateur Année de publication : 2010 Importance : 167 p. Note générale : NNT 2010ESMA0018
Remerciements
Table des matières
Avant-propos
Notations
Introduction générale
Liste des tableaux
Liste des figures
Bibliographie
Résumé
Mots clésLangues : Français (fre) Catégories : Ordonnancement (informatique)
Petri, Réseaux de
Temps réel (informatique)Résumé : ETAT DE L'ART
Ordonnancement multiprocesseur
Ordonnancement hors-ligne
CONTRIBUTION
Etude du problème de la cyclicité des ordonnancements multiprocesseurs
Reconfiguration en cas de panne processeur
Etude des ordonnancements p-équitables pour les tâches à départs différés et à échéances contraintes
Gestion des tâches apériodiques
CONCLUSION ET PERSPECTIVESEn ligne : http://tel.archives-ouvertes.fr/tel-00554234/fr/ Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00008578 TH-10 MAL Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-10 MAL MAL Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt L'interaction au service de l'optimisation à grande échelle des entrepôts de données relationnels / Amira KERKAD
Titre : L'interaction au service de l'optimisation à grande échelle des entrepôts de données relationnels Type de document : thèse Auteurs : Amira KERKAD, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Christine COLLET, Rapporteur ; Bruno DEFUDE, Rapporteur ; Pedro FURTADO, Rapporteur ; René SCHOTT, Examinateur Importance : 189 p. Note générale : NNT 2013ESMA0027
Remerciements
Table des matières
Bibliographie
Annexes
Table des figures
Liste des tableaux
Glossaire
Résumé
Mots clésCatégories : Bases de données relationnelles
Bases de données:Conception
Bases de données:Interrogation
Entrepôts de donnéesRésumé : LA TECHNOLOGIE DE BASES DE DONNEES A-T-ELLE DONNE LE MEILLEUR D'ELLE-MÊME ?
Problématique
Objectifs et contributions
Organisation de la thèse
ETAT DE L'ART
Introduction
La conception physique
Sélection isolée des structures d'optimisation
Sélection multiple des structures d'optimisation
Bilan et discussion
Nouvelle vision
Positionnement et contributions
INTERACTION DES COMPOSANTS SUPPORT ET REQUETES
Introduction
La gestion du buffer et l'ordonnancement des requêtes dans les EDR
Démarche de la gestion du buffer et d'ordonnancement des requêtes dans les EDR
Problème de la gestion du buffer et d'ordonnancement des requêtes hors-ligne
Algorithmes de résolution hors-ligne
Evluation des performances des algorithmes
Conclusion
CONTRIBUTION DE L'INTERACTION SUR LA FRAGMENTATION HORIZONTALE
Introduction
Problème de la fragmentation horizontale dans les entrepôts de données
Fragmentation horizontale par exploitation de l'interaction des requêtes
Combinaison de la FH avec la GBOR
Démarche de résolution du problème combiné
Evaluation des performances des algorithmes
Conclusion
L'ASPECT DYNAMIQUE DE LA CONCEPTION PHYSIQUE
Introduction
L'optimisation en-ligne dans les entrepôts de données relationnels
Problème de la gestion du buffer et d'ordonnancement des requêtes en-ligne dans les EDR
Algorithme d'optimisation en-ligne
Evaluation des performances des algorithmes
Conclusion
OUTIL D'AIDE A LA CONCEPTION PHYSIQUE
Introduction
Difficultés et besoins des administrateurs
Architecture fonctionnelle de l'outil de simulation
Simulations
Validation des résultats sous Oracle11g
Conclusion
CONCLUSION GENERALE ET PERSPECTIVES
Conclusion
Perspectives
EpilogueEn ligne : http://tel.archives-ouvertes.fr/tel-00954469 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010434 TH-13 KER Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-13 KER KER Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt
Titre : Mise en oeuvre applicative de séquences d'ordonnancement hors-ligne Type de document : thèse Auteurs : Moustapha BIKIENGA, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Dominique GENIET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Auteur ; Maryline CHETTO, Rapporteur ; Frank SINGHOFF, Rapporteur ; Gaëlle LARGETEAU-SKAPIN, Examinateur ; Yamine AIT AMEUR, Examinateur Importance : 180 p. Note générale : NNT 2014ESMA0011
Remerciements
Table des matières
Introduction générale
Annexes
Notations
Acronymes
Bibliographie
Résumé
Mots clésCatégories : Ingénierie dirigée par les modèles
Ordonnancement (informatique)
POSIX (norme)
Temps réel (informatique)Résumé : ETAT DE L'ART
Systèmes temps réel
Systèmes d'exploitation temps réel
Applications temps réel
Ordonnacement
Mise en oeuvre applicative d'ordonnancement hors-ligne
Conclusion
CONTEXTE, METHODOLOGIE ET MODELISATION
Problématique
Hypothèses de base
Méthodologie
Politiques de mise en oeuvre de séquences d'ordonnancement hors-ligne
Démarche
Modèle de coûts des mises en oeuvre
Conclusion
ALGORITHMES DE MISE EN OEUVRE
Mise en oeuvre d'ordonnancement sans préemption
Mise en oeuvre d'ordonnancement avec préemption
Prise en compte des ressources critiques et des contraintes de précédence
Conclusion
MISE EN OEUVRE POSIX
Mise en oeuvre POSIX
Automatisation de mise en oeuvre POSIX
Mise en oeuvre POSIX sur Xenomai
Observation et analyse de scénarios d'exécution
Conclusion
ETUDE DE CAS : APPLICATION DE GESTION DE MINE SOUTERRAINE
Description du cas pratique : gestion de la sécurité d'une mine
Mise en oeuvre du scénario d'exécution
Conclusion
CONCLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01080218 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010733 TH-14 BIK Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 BIK BIK Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel : Etude comparative et calcul des priorités / Bernard CHAUVIERE
Titre : Des priorités fixes aux priorités dynamiques en ordonnancement temps-réel : Etude comparative et calcul des priorités Type de document : thèse Auteurs : Bernard CHAUVIERE ; Dominique GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Patrick MARTINEAU, Rapporteur ; René SCHOTT, Examinateur ; Joël GOOSSENS, Examinateur ; Annie CHOQUET-GENIET, Examinateur Importance : 190 p. Note générale : Remerciements
Table des matières
Introduction générale
Conclusion générale
Publications
Notations
Bibliogrpahie
Résumé
Mots clésCatégories : Markov, Processus de
Multiprocesseurs
Ordonnancement (informatique)
Qualité de service (télécommunications)
Temps réel (informatique)Index. décimale : TH-07 Résumé : CONTEXTE DE L'ETUDE ET ETAT DE L'ART
Systèmes temps-réel
Politiques d'ordonnancement
CONTRIBUTIONS AU PROBLEME DE LA CYCLICITE
Préambule
Cyclicité des ordonnancements de tâches périodiques
Durée de montée en charge en priorités fixes
Intervalle d'étude pour les méthodes hors-ligne
CONTRIBUTIONS A LA PRODUCTION DE SOLUTIONS D'ORDONNANCEMENT
Production des configurations de priorités fixes valides
Configurations de priorités fixes par instances
Systèmes de tâches avec relations de précédence
CONTRIBUTIONS AU DIAGNOSTIC DES SYTEMES TEMPS-REEL
Modélisation par les chaînes de Markov
Algorithme de calcul
Etude des temps de réponseExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00007638 TH-07 CHA Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt