Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot / Frédéric RIDOUARD

Titre : Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot Type de document : thèse Auteurs : Frédéric RIDOUARD ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marie-Claude PORTMANN, Rapporteur ; Yvon TRINQUET, Rapporteur ; Patrick MARTINEAU, Examinateur ; Joël GOOSSENS, Examinateur ; Francis COTTET, Examinateur ; Pascal RICHARD, Examinateur Importance : 240 p. Note générale : Remerciements Table des matières Introduction Annexes Bibliographie Index Catégories : Algorithmes Algorithmes:Informatique Informatique Index. décimale : TH-06 Résumé : PROBLEMATIQUE Théorie de l'ordonnancement Ordonnancement classique et ordonnancement temps réel Problèmes d'ordonnancement Algorithmes hors-ligne/en ligne Ordonnancement en-ligne : simulation/analyse de compétitivité Bibliographie ORDONNANCEMENT DES TACHES A SUSPENSION Introduction sur les tâches à suspension Les systèmes temps réel Architecture logicielle des systèmes temps réel Ordonnancement temps réel Le problème étudié : ordonnancement de tâches à suspension Plan de la partie ORDONNANCEMENT TEMPS REEL MONOPROCESSEUR Définitions générales Principaux algorithmes d'ordonnancement préemptif en-ligne Extension de l'ordonnancement Introduction aux tests d'ordonnançabilité Analyse du facteur d'utilisation Analyse du temps de réponse Analyse de la demande processeur Complexité des problèmes d'ordonnançabilité Conclusion ORDONNANCEMENT DES TACHES A SUSPENSION : ETAT DE L'ART Introduction Test d'ordonnançabilité DIFFICULTES DE L'ORDONNANCEMENT DE TACHES A SUSPENSION Complexité Anomalies d'ordonnancement Optimalité des algorithmes en-ligne COMPETITIVITE DES ALGORITHMES CLASSIQUES D'ORDONNANCEMENT Minimisation du nombre de tâches en retard Minimisation du temps de réponse maximum ANALYSE DES TESTS D'ORDONNANCABILITE POUR LES SYSTEMES A PRIORITE FIXE Calcul exact du pire temps de réponse sousRM Caractéristiques des configurations générées Bornes inférieures du ratio de compétitivité Incomparabilité des tests de faisabilité Etude par la simulation CONCLUSION SUR LES TACHES A SUSPENSION ORDONNANCEMENT PAR UNE MACHINE A TRAITEMENT PAR LOT Introduction sur les machines à traitement par lot Ordonnancement de machines à traitement par lot : Etat de l'art Algotithmes d'ordonnancement pour les machines à traitement par lot Conclusion sur les machines à traitement par lot

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007220	TH-06 RID	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Evaluation et validation des systèmes distribués avioniques / Georges Arnaud KEMAYO  

Titre : Evaluation et validation des systèmes distribués avioniques Type de document : thèse Auteurs : Georges Arnaud KEMAYO, Auteur ; Pascal RICHARD, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Jean-Luc SCHARBARG, Rapporteur ; Laurent GEORGE, Rapporteur ; Yvon TRINQUET, Examinateur Importance : 167 p. Note générale : NNT 2014ESMA0010 Remerciements Table des matières Introduction générale Publications Annexes Notations Acronymes Résumé Mots clés Catégories : Avionique Certification Systèmes à paramètres répartis Temps réel (informatique) Résumé : ETAT DE L'ART Introduction aux systèmes avioniques Méthodes de validation CONTRIBUTIONS Analyse de la méthode des trajectoires Nouvelle méthode d'analyse des délais de bout en bout dans l'AFDX CONCLUSION ET PERSPECTIVES En ligne : https://tel.archives-ouvertes.fr/tel-01127020

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00010734	TH-14 KEM	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-14 KEM	KEM	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Ordonnancer le trafic dans des réseaux déterministes grâce à l’apprentissage par renforcement / Adrien ROBERTY  

Titre : Ordonnancer le trafic dans des réseaux déterministes grâce à l’apprentissage par renforcement Type de document : thèse Auteurs : Adrien ROBERTY, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Frédéric RIDOUARD, Directeur de thèse ; Siwar BEN HADJ SA­ÏD, Directeur de thèse ; Henri BAUER, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Katia JAFFRÈS-RUNSER, Rapporteur ; Abdelmadjid BOUABDALLAH, Rapporteur ; Nicolas NAVET, Examinateur ; Mireille SARKISS, Examinateur Importance : 111 p. Note générale : NNT 2024ESMA0001 Résumé Mots clés Remerciements Acronymes Symboles Sommaire Liste des tableaux liste des figures Introduction générale Bibliographie Glossaire Table des matières Résumé Mots clés Catégories : Apprentissage par renforcement (intelligence artificielle) Apprentissage profond Industrie 4.0 Intelligence artificielle Ordonnancement (informatique) Temps réel (informatique) Résumé : CONTEXTE TECHNOLOGIQUE Les délais de bout en bout Time-Sensitive Networking Apprentissage automatique Apprentissage par renforcement État de l'art CONTRIBUTIONS Introduction aux contributions Configurer le TAS de manière indentique Configurer le TAS de manière individuelle CONCLUSION GÉNÉRALE ET PERSPECTIVES En ligne : https://theses.hal.science/tel-04634443

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
TH-24 ROB	ROB	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

---

1 (1 - 3 / 3) Par page : 25 50 100 200