Andere Kunden interessierten sich auch für
![Classification d'Objets Biologiques Dans Des Images Bidimensionnelles]( "Classification d'Objets Biologiques Dans Des Images Bidimensionnelles")
Classification d'Objets Biologiques Dans Des Images Bidimensionnelles38,99 €![Apprentissage Automatique Application En Ingénierie Des Protéines]( "Apprentissage Automatique Application En Ingénierie Des Protéines")
Apprentissage Automatique Application En Ingénierie Des Protéines38,99 €![Modélisation Déclarative de Surfaces]( "Modélisation Déclarative de Surfaces")
Modélisation Déclarative de Surfaces57,99 €![Estimation de Mouvement Sans Restriction Par Filtres En Quadrature Localisés]( "Estimation de Mouvement Sans Restriction Par Filtres En Quadrature Localisés")
Estimation de Mouvement Sans Restriction Par Filtres En Quadrature Localisés32,99 €![de la Matrac Au Cardecrs]( "de la Matrac Au Cardecrs")
de la Matrac Au Cardecrs63,99 €![Ingénierie Des Protocoles d'Interaction Pour Les Systèmes Multi-Agents]( "Ingénierie Des Protocoles d'Interaction Pour Les Systèmes Multi-Agents")
Ingénierie Des Protocoles d'Interaction Pour Les Systèmes Multi-Agents57,99 €![Synthèse de Contrôleurs Sur Des Systèmes Discrets Et Structurés]( "Synthèse de Contrôleurs Sur Des Systèmes Discrets Et Structurés")
Synthèse de Contrôleurs Sur Des Systèmes Discrets Et Structurés45,99 €
Cette thèse introduit deux outils pour l'accès performant aux données d'un algorithme à front d'onde dans un contexte d'exécution out-of-core. Ces algorithmes sont facilement parallélisables en utilisant des techniques de macro-pipelining, qui permettent un recouvrement des calculs et des communications. Le premier outil part du constat que les performances des opérations de lecture/écriture dans une telle situation sont désastreuses: les données sont éclatées sur disque et leur rapatriement en mémoire est long et coûteux. Le nouvel agencement de données sur disque proposé permet de résoudre ces problèmes en accédant aux données uniquement de manière contiguë. Si ce premier outil décrit comment accéder aux données, le deuxième est un modèle de synchronisation qui décrit quand y accéder. En effet, l'exécution parallèle et concurrente des algorithmes à front d'onde nécessite un contrôle strict des temps d'accès et des temps d'attente. Le modèle présenté dans cette thèse remplit ce rôle, tout en donnant des garanties de propriétés intéressantes pour les applications itératives : verrouillage pro-actif, évolution sans interblocages, progression homogène des tâches.