Download or read book ALGORITHMIQUE POUR LE PARALLELISME written by ARISTOTELIS.. GIANNAKOS and published by . This book was released on 1997 with total page 122 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Algorithmique pour le parall lisme written by Aristotelis Giannakos and published by . This book was released on 1997 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Parall lisme written by Association canadienne-française pour l'avancement des sciences. Congrès and published by Dép. de mathématiques et d'informatique, Université du Québec à Montréal. This book was released on 1990 with total page 162 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Adaptation de l algorithmique aux architectures parall les written by Alexandre Borghi and published by . This book was released on 2011 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans cette thèse, nous nous intéressons à l'adaptation de l'algorithmique aux architectures parallèles. Les plateformes hautes performances actuelles disposent de plusieurs niveaux de parallélisme et requièrent un travail considérable pour en tirer parti. Les superordinateurs possèdent de plus en plus d'unités de calcul et sont de plus en plus hétérogènes et hiérarchiques, ce qui complexifie d'autant plus leur utilisation.Nous nous sommes intéressés ici à plusieurs aspects permettant de tirer parti des architectures parallèles modernes. Tout au long de cette thèse, plusieurs problèmes de natures différentes sont abordés, de manière plus théorique ou plus pratique selon le cadre et l'échelle des plateformes parallèles envisagées.Nous avons travaillé sur la modélisation de problèmes dans le but d'adapter leur formulation à des solveurs existants ou des méthodes de résolution existantes, en particulier dans le cadre du problème de la factorisation en nombres premiers modélisé et résolu à l'aide d'outils de programmation linéaire en nombres entiers.La contribution la plus importante de cette thèse correspond à la conception d'algorithmes pensés dès le départ pour être performants sur les architectures modernes (processeurs multi-coeurs, Cell, GPU). Deux algorithmes pour résoudre le problème du compressive sensing ont été conçus dans ce cadre : le premier repose sur la programmation linéaire et permet d'obtenir une solution exacte, alors que le second utilise des méthodes de programmation convexe et permet d'obtenir une solution approchée.Nous avons aussi utilisé une bibliothèque de parallélisation de haut niveau utilisant le modèle BSP dans le cadre de la vérification de modèles pour implémenter de manière parallèle un algorithme existant. A partir d'une unique implémentation, cet outil rend possible l'utilisation de l'algorithme sur des plateformes disposant de différents niveaux de parallélisme, tout en ayant des performances de premier ordre sur chacune d'entre elles. En l'occurrence, la plateforme de plus grande échelle considérée ici est le cluster de machines multiprocesseurs multi-coeurs. De plus, dans le cadre très particulier du processeur Cell, une implémentation a été réécrite à partir de zéro pour tirer parti de celle-ci.

Download or read book Algorithmique parall le written by Arnaud Legrand and published by . This book was released on 2003 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le parallélisme est omniprésent dans les ordinateurs d'aujourd'hui. Au niveau microscopique, les processeurs multiplient les unités arithmétiques pipelinées sur un même circuit intégré. Au niveau macroscopique, on interconnecte les stations de travail en grappes pour construire des supercalculateurs à peu de frais. Dans les deux cas, l'algorithmique parallèle permet de comprendre et de maîtriser les concepts fondamentaux à mettre en œuvre pour l'utilisation de plates-formes distribuées. Elle emprunte beaucoup à l'algorithmique classique dans sa problématique (conception, analyse, étude de complexité), mais s'enrichit d'une nouvelle dimension avec l'exploitation simultanée de plusieurs ressources. Cet ouvrage aborde les thèmes suivants : • modèles : machines P-RAM, réseaux de tri et ordonnancement ; • algorithmique : anneaux de processeurs, communication et routage, algorithmique hétérogène ; • pipelines et techniques de compilation : calcul vectoriel, architectures systoliques, nids de boucles et parallélisation automatique. Chaque chapitre est divisé en trois parties : une partie de cours, une série d'exercices constituant une séance de travaux dirigés, et la correction détaillée de ces exercices. Les étudiants et élèves ingénieurs en informatique, ainsi que les chercheurs d'autres disciplines scientifiques trouveront en cet ouvrage un outil pédagogique complet pour la découverte, accompagnée ou autonome, de l'algorithmique parallèle.

Download or read book Algorithmes pour la radiosite parallelisme et echantillonnage written by Mathias Paulin (enseignant-chercheur en informatique).) and published by . This book was released on 1995 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Initiation au parall lisme written by Marc Gengler and published by Elsevier Masson. This book was released on 1996 with total page 223 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Le parallélisme a renouvelé profondément la discipline informatique, non seulement par les performances qu'il procure, mais aussi par la mise en évidence de dimensions supplémentaires : la concurrence, la communication et la coopération. Ces dimensions sont orthogonales à l'espace traditionnel de l'informatique: architecture, algorithmique, langage." Comme l'indique Michel Cosnard préfacier de l'ouvrage, le parallélisme a suscité des approches novatrices : "Sur le devant de la scène sont apparus de nouveaux problèmes de recherche : les réseaux d'interconnexion, les techniques de communication, les environnements de programmation parallèle, les modèles de machines parallèles". Cet ouvrage a pour ambition d'initier l'informaticien non spécialiste à un domaine souvent réservé à l'informaticien averti. Il introduit les principaux concepts de l'architecture et l'algorithmique parallèles, en présentant aussi bien les aspects matériels que logiciels. Les principes fondamentaux sont illustrés par des exemples concrets, afin de dégager les idées maîtresses et de les articuler entre elles. Des exercices corrigés développent l'exposé théorique et permettent d'éprouver les connaissances acquises. Ce cours s'adresse aux étudiants de 2e et 3e cycles et aux élèves ingénieurs, ainsi qu'aux informaticiens néophytes désirant se familiariser avec le parallélisme par le biais d'une vision d'ensemble.

Download or read book Algorithmique parall le sur les arbres de d cision et raisonnement en temps contraint written by Vincent David (informaticien).) and published by . This book was released on 1993 with total page 280 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse présente un modèle de traitement parallèle pour la mise en œuvre d'algorithmes de raisonnement dans le cadre d'un système temps-réel intelligent, et s'inscrit dans l'étude SATURNE menée au CERT-ONERA. Ce projet se fonde sur l'hypothèse que les tâches de traitement ont la capacité de s'adapter aux échéances temporelles. Pour satisfaire ce modèle, les solutions proposées sont la réduction de l'espace de recherche et l'accélération des traitements grâce au parallélisme. Ces changements devant intervenir durant l'exécution du processus, la gestion du parallélisme devient alors dynamique. Par ailleurs, les arbres de décision représentent une méthode fondamentale pour résoudre de nombreux problèmes d'intelligence artificielle, tels que la théorie des jeux à un joueur, les problèmes d'optimisation, la théorie des jeux à deux joueurs, les graphes Et/Ou et beaucoup d'autres problèmes NP-complets. Aussi, à partir de l'exemple de l'algorithme du minimax sur des arbres de jeux réels, une implémentation est réalisée sur Modulor, une machine à architecture distribuée à base de transputers développée au CERT-ONERA. La méthode de parallélisation se fonde sur une suppression du contrôle entre les processus de recherche, au profit d'un parallélisme spéculatif et du partage complet de l'information réalisé grâce à une mémoire physiquement distribuée mais virtuellement partagée. L’apport de notre approche pour les systèmes temps-réel distribués et tolérants aux fautes est évalué grâce aux résultats expérimentaux obtenus.

Download or read book Parallel Algorithms for Irregularly Structured Problems written by Afonso Ferreira and published by Springer Science & Business Media. This book was released on 1995-08-25 with total page 428 pages. Available in PDF, EPUB and Kindle. Book excerpt: Proceedings -- Parallel Computing.

Download or read book Parall lisme algorithmique syst mes applications written by Françoise Baude and published by . This book was released on 2005 with total page 122 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Algorithmique du parall lisme written by Michel Raynal and published by . This book was released on 1984 with total page 160 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book DETECTION DE PARALLELISME DANS LES BOUCLES IMBRIQUEES written by FREDERIC.. VIVIEN and published by . This book was released on 1997 with total page 164 pages. Available in PDF, EPUB and Kindle. Book excerpt: NOMBRE D'UTILISATEURS DE L'INFORMATIQUE AIMERAIENT POUVOIR EXECUTER SUR DES ORDINATEURS PARALLELES LEURS PROGRAMMES SEQUENTIELS (ECRITS POUR ETRE EXECUTES SUR DES ORDINATEURS CLASSIQUES). IL EST DONC DEVENU NECESSAIRE DE SAVOIR PARALLELISER LES PROGRAMMES SEQUENTIELS EN PROGRAMMES EXECUTABLES SUR MACHINES PARALLELES. CETTE PARALLELISATION DOIT ETRE AUTOMATIQUE PUISQU'ELLE S'ADRESSE LE PLUS SOUVENT A DE SIMPLES UTILISATEURS. AVANT D'INITIER TOUTE TRANSFORMATION DU PROGRAMME ORIGINEL, IL FAUT DETECTER ET QUANTIFIER LE PARALLELISME QU'IL CONTIENT IMPLICITEMENT, CE QUI REQUIERT LA CONNAISSANCE DES DEPENDANCES EXISTANT ENTRE LES DIFFERENTS CALCULS. ULTERIEUREMENT, IL SERA NECESSAIRE DE REORDONNER LES CALCULS EN EXPLICITANT LE PARALLELISME DECOUVERT. CETTE THESE A POUR OBJET LA DETECTION AUTOMATIQUE DU PARALLELISME IMPLICITE ET LA RECHERCHE D'ORDONNANCEMENTS L'EXPLICITANT POUR DES STRUCTURES DE PROGRAMMES PARTICULIERES : LES ENSEMBLES DE BOUCLES IMBRIQUEES. NOS TRAVAUX ONT EU PRINCIPALEMENT POUR BUT LA COMPREHENSION DES TECHNIQUES EXISTANTES DE DETECTION DE PARALLELISME, DE LEUR POINTS FORTS ET DE LEURS LIMITATIONS. D'UN COTE, NOUS AVONS ETUDIE LES PRINCIPAUX ALGORITHMES PREEXISTANT A CES TRAVAUX. DE L'AUTRE, NOUS SOMMES PARTIS DU MODELE THEORIQUE FOURNI PAR LES SYSTEMES D'EQUATIONS RECURRENTES UNIFORMES POUR PROPOSER UN ALGORITHME OPTIMAL DE PARALLELISATION DES GRAPHES DE DEPENDANCE REDUITS POLYEDRIQUES, REPRESENTATION APPROCHEE DES DEPENDANCES QUI GENERALISE LES DEUX MODES CLASSIQUES D'APPROXIMATION. NOUS AVONS COMPARE CE NOUVEL ALGORITHME AUX ALGORITHMES CLASSIQUES ET OBTENU UNE CLASSIFICATION DES PRINCIPAUX ALGORITHMES. LE PROBLEME DE LA DETECTION DU PARALLELISME ET DE SON EXPRESSION N'ETANT QU'UNE DES MULTIPLES COMPOSANTES DE LA PARALLELISATION AUTOMATIQUE, NOUS NOUS SOMMES INTERESSES AUX INTERACTIONS ENTRE LES PROBLEMES DE PLACEMENT ET D'ORDONNANCEMENT, ET ENTRE LES PROBLEMES DE DETECTION DE PARALLELISME ET D'ELIMINATION DE FAUSSES DEPENDANCES.

Download or read book DE L EVALUATION DU PARALLELISME ET DE LA SYNCHRONISATION written by Brigitte Plateau and published by . This book was released on 1984 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE PRESENTE DES OUTILS D'ANALYSE PERMETTANT D'EVALUER LES PERFORMANCES DES ALGORITHMES DISTRIBUES. LA PREMIERE PARTIE SE SITUE DANS LE FORMALISME DE LA THEORIE DES FILES D'ATTENTE, MAIS CONSIDERE UNE FILE SOUMISE A UNE CONTRAINTE DE SEQUENCEMENT; LE COUT DE CETTE CONTRAINTE EST ETUDIE TANT DU POINT DE VUE DE LA PUISSANCE DU SERVEUR, DE L'OCCUPATION DES MEMOIRES QUE DU TEMPS DE REPONSE. LA SECONDE PARTIE PROPOSE UNE METHODE GENERALE POUR L'EVALUATION DES ALGORITHMES DISTRIBUES. LE FONCTIONNEMENT DE L'ALGORITHME EST D'ABORD REPRESENTE PAR UN ENSEMBLE D'AUTOMATES STOCHASTIQUES COUPLES. L'EVOLUTION DE CE SYSTEME D'AUTOMATES EST DECRIT PAR UN PROCESSUS DE MARKOV MULTIDIMENSIONNEL DONT LES DEPENDANCES ENTRE COMPOSANTES SONT SPECIFIEES DANS UN CADRE FORMEL. L'ALGEBRE DE KRONECKER PERMET ALORS DE TRADUIRE CES DEPENDANCES EN TERMES D'OPERATIONS SUR DES GENERATEURS ELEMENTAIRES. LA STRUCTURE AINSI OBTENUE EST UTILISEE POUR LA RESOLUTION NUMERIQUE. DES EXEMPLES D'ALGORITHMES PARALLELES SONT ETUDIES EXTENSIVEMENT ET DES COURBES SONT PRODUITES EN ILLUSTRATION DE LA METHODE

Download or read book Probl mes de satisfaction de contraintes Formalismes et techniques CSP written by GHÉDIRA Khaled and published by Lavoisier. This book was released on 2013-05-01 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt: De par leur forte complexité et leur omniprésence aussi bien dans le monde académique qu’industriel, les problèmes de satisfaction de contraintes (CSP) continuent à susciter l'intérêt des scientifiques dans les domaines de la recherche opérationnelle et de l’intelligence artificielle. Un CSP comporte un ensemble de variables ayant chacune un domaine de valeurs ainsi qu'un ensemble de contraintes, l’objectif étant d’instancier les variables de manière à satisfaire toutes les contraintes. Formalismes, techniques et extensions relatives aux CSP sont détaillés et illustrés par des exemples didactiques tels que le problème des 4-reines. Problèmes de satisfaction de contraintes s’adresse aux ingénieurs en leur facilitant l’accès à ce domaine, aux chercheurs en leur exposant les notions de base tout en leur apportant une bibliographie étendue, et aux enseignants et étudiants en leur fournissant un support de cours.

Download or read book Parall lisme mixte et pr diction de performances sur r seaux h t rog nes de machines parall les written by Frédéric Suter and published by . This book was released on 2002 with total page 108 pages. Available in PDF, EPUB and Kindle. Book excerpt: Avec la généralisation de l'Internet, il est désormais possible pour les utilisateurs de calcul numérique d'accéder aux machines les plus puissantes disponibles de par le monde et ce depuis leur station de travail. A grande échelle, ce type d'accès distant est appelé "metacomputing". Les travaux effectués au cours de cette thèsze ont tout d'abord concerné la parallélisation du logiciel SCILAB, en suivant, entre autres, une aproche basée sur des serveurs de calcul. Au cours de ces dévéloppements, les lacunes des environnements de ce type ont été exhibées, notamment le problème de goulot d'étranglement posé par la présence d'un agent centralisé. Afin de pallier ce problème, et donc de proposer un environnement extensible, nous avons suivi une approche hiérarchique pour développer le logiciel DIET (Distributed Interactive Engineering Toolbox). Un des points cruciaux des environnements de ce type concerne la capacité à estimer le temps d'exécution d'une routine sur machine donnée et les coûts de transfert des données depuis un client ou un serveur vers le serveur choisi pour la résolutions. La bibliothèque FAST (Fast Agent's System Timer), que nous avons étendue afin de gérer les routines parallèles, permet d'acquérir ce type d'informations. D'un point de vue algorithmique, nous avons mené une étude à la fois théorique et expérimentale du parallélisme mixte, i.e., l'exploitation simultanée des parallélismes de tâches et données. Après avoir appliqué ce paradigme aux algorithmes rapides de produit de matrices de Strassen et Winograd, nous avons proposé un algorithme d'ordonnancement en parallélisme mixte dans le cas où les données ne peuvent pas être dupliquées. Cet algorithme effectue simultanément le placement et l'ordonnancement des tâches d'un graphe en se basant sur les modèles de coûts fournis par notre extension de FAST et sur un ensemble de distributions possibles.

Download or read book Parallel and Distributed Computing written by Michel Cosnard and published by Springer Science & Business Media. This book was released on 1994-05-02 with total page 296 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume presents the proceedings of the First Canada-France Conference on Parallel Computing; despite its name, this conference was open to full international contribution and participation, as shown by the list of contributing authors. This volume consists of in total 22 full papers, either invited or accepted and revised after a thorough reviewing process. All together the papers provide a highly competent perspective on research in parallel algorithms and complexity, interconnection networks and distributed computing, algorithms for unstructured problems, and structured communications from the point of view of parallel and distributed computing.

Download or read book OPTIMISATION DE LA LOCALITE DE DONNEES ET DU PARALLELISME A GRAIN FIN written by DANIEL.. WINDHEISER and published by . This book was released on 1992 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: AFIN D'ATTEINDRE LES NIVEAUX DE PERFORMANCE REQUIS POUR TRAITER LES APPLICATIONS DU GRAND CHALLENGE, LES ARCHITECTURES DES SYSTEMES HAUTES PERFORMANCES ONT SYSTEMATIQUEMENT RECOURS AU PARALLELISME ET AUX SYSTEMES HIERARCHIQUES DE MEMOIRE. CETTE THESE PRESENTE DES TECHNIQUES DE COMPILATION QUI, EN EXPLOITANT LA LOCALITE DE DONNEES ET LE PARALLELISME INHERENT AUX CODES NUMERIQUES, PERMETTENT DE REDUIRE LE DEBIT MEMOIRE ET D'UTILISER EFFICACEMENT LE PARALLELISME A GRAIN FIN. L'OPTIMISATION DE LA LOCALITE DE DONNEES COMPORTE 3 VOLETS: LA DETECTION DE LA LOCALITE DANS LES NIDS DE BOUCLES, L'EXPLOITATION ET L'AMELIORATION DE LA LOCALITE PAR DES TRANSFORMATIONS DE PROGRAMMES. NOTRE APPROCHE REPOSE SUR LA NOTION DE FENETRE DE REFERENCES QUI IDENTIFIE L'ENSEMBLE DES ELEMENTS D'UN TABLEAU REUTILISES AU COURS DE L'EXECUTION D'UNE BOUCLE. NOUS MONTRONS COMMENT DETERMINER A LA COMPILATION UNE EXPRESSION ANALYTIQUE DE LA FENETRE DE REFERENCES. PUIS NOUS PRESENTONS SON UTILISATION POUR AMELIORER LES PROPRIETES DE LOCALITE PAR DES TRANSFORMATIONS DE BOUCLES APPROPRIEES (ECHANGE DE BOUCLES, BLOCAGE, ...). L'EVOLUTION RECENTE DES ARCHITECTURES DES MICROPROCESSEURS SE TRADUIT PAR UN ACCROISSEMENT SENSIBLE DU PARALLELISME A GRAIN FIN AUSSI BIEN DANS LES ARCHITECTURES SUPERPIPELINE QUE SUPERSCALAIRE. NOUS ETUDIONS UNE CLASSE D'ALGORITHMES DE PIPELINE LOGICIEL, POUR LES BOUCLES REGULIERES, QUI MET L'ACCENT SUR L'EXPLOITATION EFFICACE DES RESSOURCES. CETTE APPROCHE NOUS PERMET, D'UNE PART, D'ETUDIER LA COMPLEXITE DU PROBLEME DE L'ORDONNANCEMENT DE BOUCLES AVEC CONTRAINTES DE RESSOURCES ET, D'AUTRE PART, DE CONCEVOIR UN ALGORITHME ADAPTE AUX PIPELINES EXPLICITES PRESENTS DANS LE PROCESSEUR INTEL I860