Catégories
Documents disponibles dans cette catégorie (6)
Faire une suggestion Affiner la recherche
Etendre la recherche sur niveau(x) vers le bas
Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne / Laurent DAVID
Titre : Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne Type de document : thèse Auteurs : Laurent DAVID ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Claude KAISER, Rapporteur ; Isabelle PUAUT, Rapporteur ; G. JUANOLE, Examinateur ; Nimal NISSANKE, Examinateur ; Patrick MARTINEAU, Examinateur Année de publication : 2002 Importance : 222 p. Note générale : Remerciements
Table des matières
Notations et abréviations
Conclusion générale
Références bibliographiques
Publications liées à ce mémoire de thèseLangues : Français (fre) Catégories : Logiciels
Parallélisme (informatique)
Systèmes embarqués (informatique)
Temps réel (informatique)Index. décimale : TH-02 Résumé : LE CONTEXTE DE L'ETUDE
Définitions - vocabulaire
Les contraintes temporelles
Modèle de tâche périodique & Odonnancement
Définition de la gigue
Les définitions connues de la gigue
La gigue : critère d'apparition et conséquences
Conclusion
ETAT-DE-L'ART
Approche en ligne
Approche hors ligne
Modèles de tâches spécifiques
Conclusion
TECHNIQUE DE TRAITEMENT DE LA GIGUE DANS LES SYSTEMES TEMPS REEL
Méthodologie de traitement de la gigue
Annulation de la gigue de régularité
Encadrement de la gigue de régularité
Prise en compte de ressources partagées
Application au contrôle d'autres paramètres
Conclusion
EXPERIMENTATIONS NUMERIQUES
Présentation de l'outil de simulations
Tests d'efficacité de la méthode
Conclusion
APPLICATION A L'EXPERIENCE DU PENDULE INVERSE
Introduction
Modélisation du banc
l'application du temps réel de contrôle du pendule
L'ordonnancement des tâches
Conclusion
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00008128 TH-02 DAV Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt Le déploiement, une phase à part entière dans le cycle de vie des entrepôts de données : application aux plateformes parallèles / Soumia BENKRID
Titre : Le déploiement, une phase à part entière dans le cycle de vie des entrepôts de données : application aux plateformes parallèles Type de document : thèse Auteurs : Soumia BENKRID, Auteur ; Ladjel BELLATRÈCHE, Directeur de thèse ; Khaled-Walid HIDOUCI, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Arnaud GIACOMETTI, Rapporteur ; Mahmoud BOUFAIDA, Rapporteur ; Djamel Eddine ZEGOUR, Examinateur ; Yamine AIT AMEUR, Examinateur ; Karima BENATCHEBA, Examinateur ; Pascal LIENHARDT, Examinateur Importance : 192 p. Note générale : NNT 2014ESMA0027
Remerciements
Table des matières
Table des figures
Liste des tableaux
Liste de algorithmes
Glossaire
Introduction générale
Annexes
Bibliographie
Résumé
Mots clésCatégories : Bases de données:Conception
Entrepôts de données
Logique floue
OLAP (informatique)
Parallélisme (informatique)Résumé : ETAT DE L'ART
Les entrepôts de données relationnels : Etat de l'art
Cycle de déploiement des entrepôts de données parallèles
NOS PROPOSITIONS
Notre modèle de coût
Notre approche pas à pas de déploiement
Evaluation théorique et réelle sur Teradata
CONLUSION ET PERSPECTIVESEn ligne : https://tel.archives-ouvertes.fr/tel-01127551 Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité B00010944 TH-14 BEN Ouvrage BIBLIOTHÈQUE - ACCÈS RÉSERVÉ Thèses Exclu du prêt TH-14 BEN BEN Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt Exploration des bases de données orientées graphe : Énumération des triangles dans les graphes à grande échelle / Abir FAROUZI
Titre : Exploration des bases de données orientées graphe : Énumération des triangles dans les graphes à grande échelle Type de document : thèse Auteurs : Abir FAROUZI, Auteur ; Mimoun MALKI, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LIAS UR 20299 UP-ENSIP / ISAE-ENSMA, Commanditaire ; Azeddine CHIKH, Examinateur ; Djamal BENSLIMANE, Examinateur ; Mohand Tahar KECHADI, Examinateur ; Zohra SLAMA, Examinateur Importance : 168 p. Note générale : NNT 2023ESMA0012
Remerciements
Table des matières
Liste des figures
Liste des tableaux
Introduction générale
Bibliographie
Annexes
Résumé
Mots clés
Catégories : Bases de données relationnelles
Bases de données:Gestion
Parallélisme (informatique)
Répartition de charge (informatique)
Théorie des graphes
Théorie des nœudsRésumé : CONCEPTS FONDAMENTAUX ET TAT DE L'ART
Notions de base
Travaux connexes : techniques d'énumération et de comptage des triangles
CONTRIBUTIONS
Algorithme adapté pour l'énumération équilibrée des triangles dans les graphes à grande échelle
PandaSQL : énumération randomisée et parallèles des triangles à base des requêtes SQL
Évaluation de l'algorithme adapté pour l'énumération et du comptage de traingles
CONCLUSION GÉNÉRALE
En ligne : https://theses.hal.science/tel-04326161 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité TH-23 FAR FAR Numérique Thèses ISAE-ENSMA en ligne Thèses Exclu du prêt MPI : the complete reference / Marc SNIR
Titre : MPI : the complete reference Type de document : texte imprimé Auteurs : Marc SNIR, Auteur ; Steve OTTO, Auteur ; Steven HUSS-LEDERMAN, Auteur Mention d'édition : 2nd edition Editeur : The MIT Press Année de publication : 1998 Collection : Scientific and engineering computation Importance : 426 p. ISBN/ISSN/EAN : 978-0-262-69215-1 Note générale : Contents
Series foreword
Preface
References
Constants index
Functions index
IndexCatégories : MPI (protocole de réseaux d'ordinateurs)
Parallélisme (informatique)
Programmation parallèle (informatique)
Sous-programmes (logiciels)Index. décimale : 005.133 Langages spécifiques Résumé : Introduction
Point-to-point communication
User-defined datatypes and packing
Collective communications
Communicators
Process technologies
Environmental management
The MPI profiling interface
ConclusionsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00009800 005.133 SNI Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Practical parallel programming / Greg WILSON
Titre : Practical parallel programming Type de document : texte imprimé Auteurs : Greg WILSON, Auteur Editeur : The MIT Press Année de publication : 1995 Collection : Scientific and engineering computation Importance : 564 p. ISBN/ISSN/EAN : 978-0-262-23186-2 Note générale : Contents
Series foreword
Appendices
References
IndexCatégories : Parallélisme (informatique)
Programmation parallèle (informatique)Index. décimale : 005.1 Programmation Résumé : Introduction
Fundamentals
Data parallelism
Shared variables
Message passing
Generative communication
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00009832 005.1 WIL Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible Les transputers : Application à la programmation concurrente / Ernest HIRSCH
Titre : Les transputers : Application à la programmation concurrente Type de document : texte imprimé Auteurs : Ernest HIRSCH Editeur : Eyrolles Année de publication : 1990 Importance : 393 p. Note générale : Avant-propos
Table des matières
Bibliographie
IndexCatégories : Multiprocesseurs
Multiprogrammation
Parallélisme (informatique)
TransputersIndex. décimale : 005.13 Langages de programmation Résumé : Introduction générale
Les systèmles multiprocesseurs
Programmation des systèmes mulitprocesseurs
La famille des circuits Transputers
Programmation des systèmes à base de Transputers. Le langage OCCAM
ApplicationsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité B00001960 005.13 HIR Ouvrage BIBLIOTHÈQUE - ACCÈS LIBRE 000 - Informatique - Bibliothéconomie Disponible