Analyse hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques / Stéphane PAILLER

Titre : Analyse hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques Type de document : thèse Auteurs : Stéphane PAILLER ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marc BOURCERIE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; Michel MERIAUX, Examinateur ; Michel AUGERAUX, Examinateur Importance : 204 p. Note générale : Remerciements Table des matières Liste des figures Références bibliographiques Résumé Mots clés Catégories : Ordonnancement (informatique) Petri, Réseaux de Temps réel (informatique) Index. décimale : TH-06 Résumé : ETAT DE L'ART Systèmes temps réel Ordonnancement et validation Modélisation d'un système temps réel par réseaux de Pétri CONTRIBUTION Modèle de tâche conditionnelle Applictions munies de tâches conditionnelles

Exemplaires (1)

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

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és Langues : 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 PERSPECTIVES En 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

Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel / Christian FOTSING TAKOUTSI  

Titre : Intégration d'éléments sémantiques dans l'analyse d'ordonnançabilité des applications temps-réel Type de document : thèse Auteurs : Christian FOTSING TAKOUTSI, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; Guy VIDAL-NAQUET, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Franck POMMEREAU, Rapporteur ; Frank SINGHOFF, Rapporteur ; Emmanuel GROLLEAU, Examinateur ; Christophe AUSSAGUES, Examinateur Année de publication : 2012 Importance : 226 p. Note générale : NNT 2012ESMA0003 Remerciements Table des matières Table des figures Annexe Bibliographie liée à la thèse Bibliographie Index Langues : Français (fre) Catégories : Logiciels:Validation Méthodes formelles (informatique) Ordonnancement (informatique) Petri, Réseaux de Simulation, Méthodes de Temps réel (informatique) Résumé : INTRODUCTION GENERALE Les systèmes temps-réel La problématique Objectifs et intérêts du travail Contribution : méthodologie globale Plan et contenu de la présentation ETAT DE L'ART Synthèse de quelques travaux connexes Validation par les réseaux de Pétri CONTRIBUTION Modélisation d'une tâche Modélisation de l'application Les arbres d’ordonnancement Ordonnancement linéaire versus ordonnancement arborescent Mise en œuvre avec les réseaux de Pétri CONCLUSTION GENERALE Conclusion Perspectives En ligne : http://tel.archives-ouvertes.fr/tel-00684788

Exemplaires (2)

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

Introduction à l'informatique théorique / Yolaine BOURDA

Titre : Introduction à l'informatique théorique Type de document : texte imprimé Auteurs : Yolaine BOURDA ; Nicolas GRANER ; Marie-Christine ROUSSET ; Guy VIDAL-NAQUET ; Philippe VOLLE ; Marie-Claude GAUDEL, Préfacier, etc. Editeur : Eyrolles Année de publication : 1994 Collection : Supélec num. 11 Importance : 214 p. ISBN/ISSN/EAN : 978-2-212-01642-0 Note générale : Sommaire général Préface Avant-propos Table des matières Bibliographie Index Catégories : Informatique Ordinateurs Ordinateurs:Programmation Index. décimale : 004.1 Ouvrages généraux par types d'ordinateurs Résumé : Langages, automates et machines Complexité des algorithmes Complexité des problèmes Outils mathématiques Spécification des données Correction des programmes

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000724	004.1 INT	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur / Emmanuel GROLLEAU

Titre : Ordonnancement temps réel hors-ligne optimal à l'aide de réseaux Petri en environnement monoprocesseur et multiprocesseur Type de document : thèse Auteurs : Emmanuel GROLLEAU ; Francis COTTET, Directeur de thèse ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; G. JUANOLE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; P. ESTRAILLIER, Examinateur ; Annie CHOQUET-GENIET, Examinateur ; Francis COTTET, Examinateur ; A.-M. DEPLANCHE, Examinateur Importance : 233 p. Note générale : Remerciements Sommaire Bibliographie Bibliographie liée à l'étude Annexes Index des figures Catégories : Informatique Petri, Réseaux de Temps réel (informatique) Index. décimale : TH-99 Résumé : SYSTEMES TEMPS REEL ET ORDONNANCEMENT Introduction au temps réel L'ordonnancement des systèmes de tâches temps réel EXTENSIONS DES RESEAUX DE PETRI Réseau de Pétri autonomes ETUDE DE LA CYCLICITE DES ORDONNANCEMENTS DE TÂCHES PERIODIQUES Etude des temps creux acycliques Cas des systèmes de tâches indépendantes Cas des systèmes de tâches quelconques ETUDE DE SYTEMES TEMPS REEL A L'AIDE DE RESEAUX DE PETRI : CAS MONOPROCESSEUR Modélisation Etude Complexité et taille du graphe d'accessibilité Obtention des séquences d'ordonnancement valides ETUDE DE SYSTEMES TEMPS REEL A L'AIDE DE RESEAUX PETRI : CAS MULTIPROCESSEUR Hypothèses matérielles Modélisation Etude APPLICATION DE L'ETUDE Présentation de PeNSMARTS Etude de cas

Exemplaires (1)

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

Réseaux de Petri et Systèmes parallèles / Guy VIDAL-NAQUET

Titre : Réseaux de Petri et Systèmes parallèles Type de document : texte imprimé Auteurs : Guy VIDAL-NAQUET ; Annie CHOQUET-GENIET Editeur : Armand Colin Année de publication : 1992 Importance : 151 p. ISBN/ISSN/EAN : 978-2-200-21197-4 Note générale : Table des matières Introduction Annexe Bibliographie Index Catégories : Petri, Réseaux de Index. décimale : 004.65 Réseaux d'ordinateurs Résumé : Analyse d'un réseau par examen des états Analyse des réseaux par l'algèbre linéaire Analyse structurelle des réseaux Les réseaux colorés Extensions des réseaux de Petri Exemples d'utilisation des réseaux de Petri Rappels mathématiques

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000100	004.65 VID	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	000 - Informatique - Bibliothéconomie	Disponible

---

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