To see the other types of publications on this topic, follow the link: Optimisation de codes parallèles.

Dissertations / Theses on the topic 'Optimisation de codes parallèles'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Optimisation de codes parallèles.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Benmouhoub, Farah. "Optimisation de la précision numérique des codes parallèles." Thesis, Perpignan, 2022. http://www.theses.fr/2022PERP0009.

Full text
Abstract:
Les nombres flottants sont utilisés à la place des nombres réels pour les calculs sur ordinateurs. L'utilisation de ces nombres introduit des erreurs d'arrondi qui sont en général acceptables dans la mesure où le résultat produit par la machine est proche de celui que l'on aurait obtenu en utilisant des nombres réels. Cependant, elles peuvent aussi être amplifiées par propagation, dénuant de sens le résultat d'un calcul, ce qui peut avoir des conséquences catastrophiques dans de nombreux domaines d'application comme par exemple l'aéronautique ou la finance. La précision des calculs en nombres
APA, Harvard, Vancouver, ISO, and other styles
2

Laguzet, Florence. "Etude et optimisation d'algorithmes pour le suivi d'objets couleur." Thesis, Paris 11, 2013. http://www.theses.fr/2013PA112197.

Full text
Abstract:
Les travaux de cette thèse portent sur l'amélioration et l'optimisation de l'algorithme de suivi d'objet couleur Mean-Shift à la fois d’un point de vue robustesse du suivi et d’un point de vue architectural pour améliorer la vitesse d’exécution. La première partie des travaux a consisté en l'amélioration de la robustesse du suivi. Pour cela, l'impact des espaces de représentation couleur a été étudié, puis une méthode permettant la sélection de l'espace couleur représentant le mieux l'objet à suivre a été proposée. L'environnement de la cible changeant au cours du temps, une stratégie est mise
APA, Harvard, Vancouver, ISO, and other styles
3

He, Guanlin. "Parallel algorithms for clustering large datasets on CPU-GPU heterogeneous architectures." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG062.

Full text
Abstract:
Clustering, qui consiste à réaliser des groupements naturels de données, est une tâche fondamentale et difficile dans l'apprentissage automatique et l'exploration de données. De nombreuses méthodes de clustering ont été proposées dans le passé, parmi lesquelles le clustering en k-moyennes qui est une méthode couramment utilisée en raison de sa simplicité et de sa rapidité.Le clustering spectral est une approche plus récente qui permet généralement d'obtenir une meilleure qualité de clustering que les k-moyennes. Cependant, les algorithmes classiques de clustering spectral souffrent d'un manque
APA, Harvard, Vancouver, ISO, and other styles
4

Fang, Juing. "Décodage pondère des codes en blocs et quelques sujets sur la complexité du décodage." Paris, ENST, 1987. http://www.theses.fr/1987ENST0005.

Full text
Abstract:
Etude de la compléxité théorique du décodage des codes en blocs à travers une famille d'algorithmes basée sur le principe d'optimisation combinatoire. Puis on aborde un algorithme parallèle de décodage algébrique dont la complexitré est liée au niveau de bruit du canal. Enfin on introduit un algorithme de Viterbi pour les applications de traitement en chaînes.
APA, Harvard, Vancouver, ISO, and other styles
5

Raulet, Mickaël. "Optimisations mémoire dans la méthodologie AAA pour code embarqué sur architecture parallèles." Rennes, INSA, 2006. https://tel.archives-ouvertes.fr/tel-00124276v2.

Full text
Abstract:
Dans le domaine de l'électronique embarquée, les applications de communications numériques et de traitement d'images imposent des contraintes de temps très fortes tout en admettant une limitation en ressources et performances des unités de traitement. La restriction quant à la mémoire utilisable peut être préjudiciable pour des domaines tels que le codage vidéo. Une solution pour atteindre les objectifs d'implantation temps-réel peut passer par une distribution sur une architecture matérielle parallèle. Cette problématique constitue le cadre de ces travaux. Plus précisément, il s'agit de dével
APA, Harvard, Vancouver, ISO, and other styles
6

Surós, Rina. "Modélisation et optimisation de systèmes parallèles." Paris 11, 1988. http://www.theses.fr/1988PA112188.

Full text
Abstract:
Ln part 1 of this thesis we consider parallel computer pro­ grams whose structure is governed by certain stochastic laws. Such programs are modeled by a random graph structure. An exact mathematical expression is given for the distribution of computing time with an infinite number of processors. A simulation validates the analytical model results. Ln part 2, a new method is proposed in order to optimize systolic networks for certains matrix computation. Its advantage is the improvement of processors utilization through halving the size of matrices. This improvement is exploited in an implement
APA, Harvard, Vancouver, ISO, and other styles
7

Raulet, Mickaël. "Optimisations Mémoire dans la méthodologie « Adéquation Algorithme Architecture » pour Code Embarqué sur Architectures Parallèles." Phd thesis, INSA de Rennes, 2006. http://tel.archives-ouvertes.fr/tel-00124276.

Full text
Abstract:
Dans le domaine de l'électronique embarquée, les applications de communications numériques et de traitement d'images imposent des contraintes de temps très fortes tout en admettant une limitation en ressources et performances des unités de traitement. La restriction quant à la mémoire utilisable peut être préjudiciable pour des domaines tels que le codage vidéo. Une solution pour atteindre les objectifs d'implantation temps-réel peut passer par une distribution sur une architecture matérielle parallèle. Cette problématique constitue le cadre de ces travaux. Plus précisément, il s'agit de dével
APA, Harvard, Vancouver, ISO, and other styles
8

Alba-Gomez, Ofélia. "Optimisation de trajectoires de robots parallèles redondants." Nantes, 2007. http://www.theses.fr/2007NANT2126.

Full text
Abstract:
Les études ont pour objectifs la définition d'indices de performance de robot pleinement parallèle 3·RRR et la détermination d'une méthode de planification de trajectoires optimales pour éviter les configurations singulières et optimiser les perfonnances cinétostatiques. On développe une analyse des conditions d'isotropie pour calculer une longueur caractéristique pertinente en vue de l'homogénéisation de la matrice jacobienne parallèle. On définit un nouvel indice de performance comme mesure de la distance d'une configuration par rapport à une singularité parallèle. La valeur optimale de cet
APA, Harvard, Vancouver, ISO, and other styles
9

Leguay-Durand, Sylvie. "Conception et optimisation de mécanismes parallèles à mobilités restreintes." Toulouse, ENSAE, 1998. http://www.theses.fr/1998ESAE0014.

Full text
Abstract:
La synthèse de manipulateurs à structure parallèle se décompose en deux étapes complémentaires. La première porte sur la conception même de la structure. Après des rappels sur les notions utilisées en robotique et les outils mathématiques nécessaires, deux conditions sur les torseurs cinématiques des liaisons sont établies de manière infinitésimale. La méthode de conception développée conduit à spécifier la nature et l'agencement géométrique des articulations dans les chaînes cinématiques série qui composeront le mécanisme, en fonction du mouvement désiré de l'organe terminal. Les contraintes
APA, Harvard, Vancouver, ISO, and other styles
10

Legaux, Joeffrey. "Squelettes algorithmiques pour la programmation et l'exécution efficaces de codes parallèles." Phd thesis, Université d'Orléans, 2013. http://tel.archives-ouvertes.fr/tel-00990852.

Full text
Abstract:
Les architectures parallèles sont désormais présentes dans tous les matériels informatiques, mais les pro- grammeurs ne sont généralement pas formés à leur programmation dans les modèles explicites tels que MPI ou les Pthreads. Il y a un besoin important de modèles plus abstraits tels que les squelettes algorithmiques qui sont une approche structurée. Ceux-ci peuvent être vus comme des fonctions d'ordre supérieur synthétisant le comportement d'algorithmes parallèles récurrents que le développeur peut ensuite combiner pour créer ses programmes. Les développeurs souhaitent obtenir de meilleures
APA, Harvard, Vancouver, ISO, and other styles
11

Mattoussi, Ferdaouss. "Conception et optimisation de codes AL-FEC : les codes GLDPC- Staircase." Phd thesis, Université de Grenoble, 2014. http://tel.archives-ouvertes.fr/tel-00969573.

Full text
Abstract:
Ce travail est consacré à la conception, l'analyse et l'optimisation des codes correcteurs d'effacements de niveau applicatif (AL-FEC). Nous nous intéressons à une famille des codes LDPC généralisés (GLDPC), nommés les codes GLDPC-Staircase, qui sont com- posés d'un code LDPC-Staircase (code de base) ainsi que des codes Reed-Solomon (RS) (codes externes). Dans la première partie de cette thèse, nous commençons par montrer que les codes RS ayant une construction basée sur la matrice "quasi" Hankel sont les codes MDS les plus appropriés pour obtenir la structure des codes GLDPC-Staircase. Ensuit
APA, Harvard, Vancouver, ISO, and other styles
12

Liu, Zhen. "Modèles d'exécutions parallèles sur des systèmes multiprocesseurs : analyse et optimisation." Paris 11, 1989. http://www.theses.fr/1989PA112011.

Full text
Abstract:
Cette thèse est consacrée aux problèmes de la modélisation, de l'analyse, et de l'optimisation des performances soulevés par des systèmes multiprocesseurs exécutants des programmes parallèles. Dans nos modèles, les systèmes multiprocesseurs sont considérés comme un ensemble de processeurs connectés par un réseau d'interconnexion, les programmes parallèles sont représentés par des graphes orientés acycliques. Des méthodes d'analyse exactes et approchées sont élaborées pour divers modèles d'exécutions parallèles. Des mesures de performances telles que les temps de réponse des programmes parallèl
APA, Harvard, Vancouver, ISO, and other styles
13

Piskorski, Stéphane. "Optimisation de codes multimédias pour systèmes embarqués." Paris 11, 2009. http://www.theses.fr/2009PA112215.

Full text
Abstract:
Les algorithmes de traitement d’images requièrent des puissances de calculs de plus en plus grandes pour satisfaire des applications toujours plus gourmandes. Afin d’être capable de traiter efficacement un flux vidéo en temps réel, un système à microprocesseur embarqué doit être optimisé avec le plus grand soin. Cette thèse se propose d’étudier ces optimisations à plusieurs niveaux. Tout d’abord au plus proche du matériel à travers la modification du jeu d’instructions et des unités de calcul d’un processeur, pour que celui-ci travaille de façon efficace pour un ajout minimal de matériel et un
APA, Harvard, Vancouver, ISO, and other styles
14

Luong, Thé Van. "Métaheuristiques parallèles sur GPU." Thesis, Lille 1, 2011. http://www.theses.fr/2011LIL10058/document.

Full text
Abstract:
Les problèmes d'optimisation issus du monde réel sont souvent complexes et NP-difficiles. Leur modélisation est en constante évolution en termes de contraintes et d'objectifs, et leur résolution est coûteuse en temps de calcul. Bien que des algorithmes approchés telles que les métaheuristiques (heuristiques génériques) permettent de réduire la complexité de leur résolution, ces méthodes restent insuffisantes pour traiter des problèmes de grande taille. Au cours des dernières décennies, le calcul parallèle s'est révélé comme un moyen incontournable pour faire face à de grandes instances de prob
APA, Harvard, Vancouver, ISO, and other styles
15

Bachelet, Vincent. "Métaheuristiques parallèles hybrides : application au problème d'affection quadratique." Lille 1, 1999. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1999/50376-1999-397.pdf.

Full text
Abstract:
Ce mémoire présente une étude sur la conception de méthodes hybrides efficaces pour l'optimisation combinatoire. Nous avons mené cette étude sur trois fronts : - la structure intrinsèque des instances du QAP (problème d'affectation quadratique) ; - les métaheuristiques sur environnements distribués ; - les mécanismes d'hybridation et de coévolution. Pour analyser les instances, nous avons étudié leurs paysages de fitness. Nous avons adopté une démarche basée sur le comportement d'une méthode de descente et avons proposé des indicateurs qui font ressortir trois tendances : type I - un paysage p
APA, Harvard, Vancouver, ISO, and other styles
16

Mellouli, Racem. "Ordonnancement sur machines parallèles avec contraintes d'indisponibilité." Troyes, 2007. http://www.theses.fr/2007TROY0022.

Full text
Abstract:
Les travaux de cette thèse sont articulés autour du problème d’ordonnancement sur machines parallèles identiques avec contraintes d’indisponibilité pour la minimisation du flow time. Nous avons étudié trois modèles de ce problème. L’objectif est de proposer des méthodes théoriques d’optimisation qui permettent une résolution efficace. Les approches développées sont variées : des heuristiques qui ont amélioré des méthodes classiques de la littérature, trois types d’approches exactes basées sur la programmation linéaire à variables mixtes, branch-and-bound utilisant différents schémas de séparat
APA, Harvard, Vancouver, ISO, and other styles
17

Perez-Seva, Jean-Paul. "Les optimisations d'algorithmes de traitement de signal sur les architectures modernes parallèles et embarquées." Phd thesis, Université de Nice Sophia-Antipolis, 2009. http://tel.archives-ouvertes.fr/tel-00610865.

Full text
Abstract:
Cette thèse s'intéresse aux méthodologies d'optimisation d'algorithmes de traitement de signal sur les architectures parallèles de processeurs embarqués. L'état de l'art des différentes architectures destinées au milieu embarqué permet de mettre en évidence les différents outils d'optimisation mis à disposition par les concepteurs de processeurs. L'accent est particulièrement mis sur les solutions bénéfiques aux calculs flottants intensifs, tout en notifiant les points communs et les divergences entre les différents processeurs. Le choix de l'algorithme de transformée de Fourier, comme algorit
APA, Harvard, Vancouver, ISO, and other styles
18

Saidani, Tarik. "Optimisation multi-niveau d'une application de traitement d'images sur machines parallèles." Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00776111.

Full text
Abstract:
Cette thèse vise à définir une méthodologie de mise en œuvre d'applications performantes sur les processeurs embarqués du futur. Ces architectures nécessitent notamment d'exploiter au mieux les différents niveaux de parallélisme (grain fin, gros grain) et de gérer les communications et les accès à la mémoire. Pour étudier cette méthodologie, nous avons utilisé un processeur cible représentatif de ces architectures émergentes, le processeur CELL. Le détecteurde points d'intérêt de Harris est un exemple de traitement régulier nécessitant des unités de calcul intensif. En étudiant plusieurs schém
APA, Harvard, Vancouver, ISO, and other styles
19

Saidani, Tarik. "Optimisation multi-niveau d’une application de traitement d’images sur machines parallèles." Thesis, Paris 11, 2012. http://www.theses.fr/2012PA112268/document.

Full text
Abstract:
Cette thèse vise à définir une méthodologie de mise en œuvre d’applications performantes sur les processeurs embarqués du futur. Ces architectures nécessitent notamment d’exploiter au mieux les différents niveaux de parallélisme (grain fin, gros grain) et de gérer les communications et les accès à la mémoire. Pour étudier cette méthodologie, nous avons utilisé un processeur cible représentatif de ces architectures émergentes, le processeur CELL. Le détecteurde points d’intérêt de Harris est un exemple de traitement régulier nécessitant des unités de calcul intensif. En étudiant plusieurs schém
APA, Harvard, Vancouver, ISO, and other styles
20

Diallo, Amadou Tidiane. "Caractérisation analytique et optimisation de codes source-canal conjoints." Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00748545.

Full text
Abstract:
Les codes source-canal conjoints sont des codes réalisant simultanément une compression de données et une protection du train binaire généré par rapport à d'éventuelles erreurs de transmission. Ces codes sont non-linéaires, comme la plupart des codes de source. Leur intérêt potentiel est d'offrir de bonnes performances en termes de compression et de correction d'erreur pour des longueurs de codes réduites.La performance d'un code de source se mesure par la différence entre l'entropie de la source à compresser et le nombre moyen de bits nécessaire pour coder un symbole de cette source. La perfo
APA, Harvard, Vancouver, ISO, and other styles
21

Haddou, Mounir. "Contribution à l'étude des méthodes de décomposition et de barrières en optimisation convexe." Clermont-Ferrand 2, 1995. http://www.theses.fr/1995CLF21729.

Full text
Abstract:
Cette thèse se compose de trois parties principales indépendantes. Dans la première partie, nous proposons une méthode de décomposition parallèle pour résoudre une grande classe de problèmes d'optimisation convexe (problèmes convexes a cout fortement convexe). Nous établissons des résultats de convergence globale pour cette méthode et présentons une série de résultats et comparaisons numériques effectues sur une machine du type cm-5. Dans la deuxième partie, nous étendons le champ d'application des méthodes entropie-proximales (qui ne s'appliquaient qu'aux problèmes d'optimisation convexe sur
APA, Harvard, Vancouver, ISO, and other styles
22

Van, Luong Thé. "Métaheuristiques parallèles sur GPU." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2011. http://tel.archives-ouvertes.fr/tel-00638820.

Full text
Abstract:
Les problèmes d'optimisation issus du monde réel sont souvent complexes et NP-difficiles. Leur modélisation est en constante évolution en termes de contraintes et d'objectifs, et leur résolution est coûteuse en temps de calcul. Bien que des algorithmes approchés telles que les métaheuristiques (heuristiques génériques) permettent de réduire la complexité de leur résolution, ces méthodes restent insuffisantes pour traiter des problèmes de grande taille. Au cours des dernières décennies, le calcul parallèle s'est révélé comme un moyen incontournable pour faire face à de grandes instances de prob
APA, Harvard, Vancouver, ISO, and other styles
23

Cougo, Bernardo. "Dimensionnement et Optimisation de Transformateurs Inter-Cellules pour les Convertisseurs Multicellulaires Parallèles." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2010. http://tel.archives-ouvertes.fr/tel-00578130.

Full text
Abstract:
Les convertisseurs multicellulaires parallèles permettent de traiter des puissances importantes et de profiter d'une certaine standardisation des équipements. Ces dernières années, ces structures ont connu un regain d'intérêt lié notamment à la possibilité de couplage magnétique des inductances. Ce couplage aboutit à un composant magnétique aux propriétés très différentes appelé Transformateur Inter-Cellules (ICT) ; il ne modifie pas le courant de sortie, par contre il réduit l'ondulation de courant dans les bobines et l'ondulation de flux dans certaines parties du noyau. On peut montrer que c
APA, Harvard, Vancouver, ISO, and other styles
24

Briot, Sébastien. "Analyse et Optimisation d'une Nouvelle Famille de Manipulateurs Parallèles aux Mouvements Découplés." Phd thesis, INSA de Rennes, 2007. http://tel.archives-ouvertes.fr/tel-00327414.

Full text
Abstract:
Il est bien connu que, parmi les nombreux avantages des manipulateurs parallèles par rapport aux robots sériels, on peut citer des vitesses et accélérations plus élevées, et une plus grande capacité de charge. Cependant, il existe des inconvénients, comme un volume de travail restreint, de forts couplages cinématiques et des singularités plus contraignantes. Afin d'améliorer leurs performances, des travaux ont été menés concernant le découplage des mouvements des robots parallèles. Le projet de thèse porte sur la conception, l'optimisation et l'amélioration d'une nouvelle famille de manipulate
APA, Harvard, Vancouver, ISO, and other styles
25

Franche, Jean-François. "Optimisation d’algorithmes de codage vidéo sur des plateformes à plusieurs processeurs parallèles." Mémoire, École de technologie supérieure, 2011. http://espace.etsmtl.ca/1130/1/FRANCHE_Jean%2DFran%C3%A7ois.pdf.

Full text
Abstract:
H.264 est le standard de codage vidéo le plus récent et le plus puissant. Ce standard permet, par rapport à ses prédécesseurs, d’augmenter le taux de compression par un facteur d’au moins deux, mais au prix d’une complexité plus élevée. Pour réduire le temps d’encodage, plusieurs encodeurs H.264 utilisent une approche parallèle. Dans le cadre de ce travail de recherche, notre objectif premier est de concevoir une approche offrant une meilleure accélération que l’approche implémentée dans l’encodeur H.264 d’Intel livré en code d’exemple dans sa librairie IPP. Nous présentons notre approche d
APA, Harvard, Vancouver, ISO, and other styles
26

Mannoni, Valérian. "Optimisation des codes LDPC pour les communications multi-porteuses." Reims, 2004. http://theses.univ-reims.fr/exl-doc/GED00000536.pdf.

Full text
Abstract:
Un des inconvénients des transmissions OFDM est lié à l'émission de symboles à travers des sous-bandes fortement atténuées. En effet, ces symboles sont intrinsèquement affectés par un taux d'erreur binaire important nécessitant l'utilisation d'un codage canal performant (COFDM). Les codes correcteurs d'erreur que nous avons utilisés sont les codes LDPC. Nous en effectuons une large présentation incluant les notations et les outils algorithmiques indispensables. Afin de tenir compte de la non-stationnarité du canal OFDM sélectif en fréquence, nous avons alors généralisé la paramétrisation de ce
APA, Harvard, Vancouver, ISO, and other styles
27

Mannoni, Valérian Delaunay Georges. "Optimisation des codes LDPC pour les communications multi-porteuses." Reims : S.C.D. de l'Université, 2004. http://scdurca.univ-reims.fr/exl-doc/GED00000536.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Hadi, Ammar. "Optimisation and analysis of polar codes in communication systems." Thesis, University of Manchester, 2018. https://www.research.manchester.ac.uk/portal/en/theses/optimisation-and-analysis-of-polar-codes-in-communication-systems(eb4cfc8a-86b5-465c-9231-4e02a3c2723c).html.

Full text
Abstract:
Polar codes were invented as the first error-correcting codes to achieve the capacity for the discrete channels with relatively low-complexity for encoding and decoding. However, this is only possible with significantly large code lengths which are not practical for many systems. Meanwhile, the performance of the finite-lengths polar codes is not competitive with other modern error-correcting codes. This can be attributed to the suboptimality of the decoding process and the relatively poor minimum Hamming distances. This thesis aims to improve the performance of polar codes. The contributions
APA, Harvard, Vancouver, ISO, and other styles
29

Bhatt, Rishabh. "Algorithmes parallèles en temps pour l'assimilation de données." Electronic Thesis or Diss., Université Grenoble Alpes, 2023. http://www.theses.fr/2023GRALM066.

Full text
Abstract:
L'assimilation variationnelle de données (4DVAR), basée sur des algorithmes d'optimisation, est utilisée par les principales institutions météorologiques pour initialiser les modèles climatiques numériques. La condition initiale optimale est trouvée en minimisant une fonction de coût qui prend en compte les écarts entre la trajectoire du modèle et les observations du système sur une période donnée. Dans sa formulation incrémentale, l'intégration de la version directe et adjointe du modèle original est nécessaire pour calculer le gradient. Un problème courant dans l'identification de la conditi
APA, Harvard, Vancouver, ISO, and other styles
30

Maher, Rebai. "Ordonnancement des tâches de production et de maintenance préventive sur machines parallèles." Troyes, 2011. http://www.theses.fr/2011TROY0003.

Full text
Abstract:
Dans plusieurs domaines, comme la télécommunication, l’informatique, le transport et l’administration, la fonction « ordonnancement » contribue considérablement dans le contrôle et la maîtrise des coûts et des délais de mise à disposition. Cette fonction est considérée comme base fondamentale de toute opération de planification. Dans cette thèse, nous nous sommes intéressés au problème d’ordonnancement d'un ensemble de N tâches de production sur M machines parallèles identiques où chaque machine doit être arrêtée pour des raisons de maintenance préventive. Nous avons supposé dans notre étude q
APA, Harvard, Vancouver, ISO, and other styles
31

Vander-Swalmen, Pascal. "Aspects parallèles des problèmes de satisfaisabilité." Phd thesis, Université de Reims - Champagne Ardenne, 2009. http://tel.archives-ouvertes.fr/tel-00545657.

Full text
Abstract:
Malgré sa complexité de résolution, le problème de SATisfaisabilité est une excellente et compétitive approche pour résoudre un large éventail de problèmes. Cela génère une forte demande pour une résolution de SAT haute performance de la part des industriels. Au fil du temps, de nombreuses approches et optimisations différentes ont été développées pour résoudre le problème plus efficacement. Ces innovations ont été faites sans prendre en compte le développement des micro processeurs actuels qui voient le nombre de leur cœurs de calcul augmenter. Cette thèse présente un nouveau type d'algorithm
APA, Harvard, Vancouver, ISO, and other styles
32

Khouri, Antoun. "Optimisation et mise en oeuvre d'algorithmes parallèles pour la reconnaissance de la parole." Avignon, 1995. http://www.theses.fr/1995AVIG0110.

Full text
Abstract:
Le but de cette these est de realiser une machine puissante, economique, facile a utiliser, sur laquelle il est possible d'implanter et d'evaluer les modules et sous-modules de calcul de l'algorithme de la rap, dans l'esprit d'une independance maximale avec cet algorithme pour qu'il ne soit pas necessaire de modifier la conception electronique ou architecturale du systeme a chaque modification logicielle apportee. Pour atteindre cet objectif, nous utilisons un reseau de processeurs (transputers) sur lequel nous appliquons notre algorithme parallele. Nous presentons les principes generaux et pr
APA, Harvard, Vancouver, ISO, and other styles
33

Chardon, Marc. "Ordonnancement non préemptif à machines parallèles avec contraintes d'indisponibilité." Compiègne, 2003. http://www.theses.fr/2003COMP1487.

Full text
Abstract:
Cette thèse traite de l'ordonnancement non préemptif à machines parallèles avec contraintes d'indisponibilité des machines. Les applications à ce genre de problèmes sont particulièrement nombreuses dans le cadre de l'informatique parallèle et également en gestion d'atelier de production. Dans cette thèse, nous définissons une nouvelle classe d'ordre, la classe des ordres sur-intervalles qui généralise les classes d'ordres intervalles et quasi-intervalles. Nous nous intéressons particulièrement à résoudre le problème d'ordonnancement non préemptif de tâches de durées unitaires (UET) grâce à une
APA, Harvard, Vancouver, ISO, and other styles
34

Bird, Robert F. "Performance modelling and optimisation of inertial confinement fusion simulation codes." Thesis, University of Warwick, 2016. http://wrap.warwick.ac.uk/78677/.

Full text
Abstract:
Legacy code performance has failed to keep up with that of modern hardware. Many new hardware features remain under-utilised, with the majority of code bases still unable to make use of accelerated or heterogeneous architectures. Code maintainers now accept that they can no longer rely solely on hardware improvements to drive code performance, and that changes at the software engineering level need to be made. The principal focus of the work presented in this thesis is an analysis of the changes legacy Inertial Confinement Fusion (ICF) codes need to make in order to efficiently use current and
APA, Harvard, Vancouver, ISO, and other styles
35

Detchart, Jonathan. "Optimisation de codes correcteurs d’effacements par application de transformées polynomiales." Thesis, Toulouse, ISAE, 2018. http://www.theses.fr/2018ESAE0031/document.

Full text
Abstract:
Les codes correcteurs d’effacements sont aujourd’hui une solution bien connueutilisée pour fiabiliser les protocoles de communication ou le stockage distribué desdonnées. La plupart de ces codes sont basés sur l’arithmétique des corps finis, définissantl’addition et la multiplication sur un ensemble fini d’éléments, nécessitantsouvent des opérations complexes à réaliser. En raison de besoins en performancetoujours plus importants, ces codes ont fait l’objet de nombreuses recherches dans lebut d’obtenir de meilleures vitesses d’exécution, tout en ayant la meilleure capacitéde correction possibl
APA, Harvard, Vancouver, ISO, and other styles
36

Lalam, Massinissa. "Optimisation de la concaténation de codes spatio-temporels et de codes correcteurs d'erreurs dans une transmission MIMO." Télécom Bretagne, 2006. http://www.theses.fr/2006TELB0022.

Full text
Abstract:
Cette thèse traite du codage correcteur d'erreurs, du codage spatio-temporel ainsi que de l'utilisation conjointe de ces deux techniques dans un contexte à plusieurs antennes d'émission/réception ou contexte MIMO. L'objectif est de pouvoir améliorer le débit utile tout en conservant une bonne qualité de transmission. Dans un premier temps, les codes correcteurs d'erreurs algébriques binaires BCH et q-aires RS sont abordés. Le nouvel algorithme de la fenêtre d’encodage glissante est présenté et ses performances sont illustrées sur canal gaussien. Son impact sur le décodage et la vitesse de conv
APA, Harvard, Vancouver, ISO, and other styles
37

Moukrim, Aziz. "Génération automatique de codes parallèles et nouvelles heuristiques d'ordonnancement pour les machines à passage de messages." Clermont-Ferrand 2, 1995. http://www.theses.fr/1995CLF21755.

Full text
Abstract:
L'objet de cette these est la generation automatique de codes paralleles pour machines a passage de messages, et l'elaboration de nouvelles heuristiques d'ordonnancement avec delais de communication. Dans la premiere partie nous proposons un systeme de generation automatique de codes paralleles pour machines a passage de messages, descartes//, decompose en trois sous-systemes: sum//, ergo//et cogito//selon un niveau d'abstraction croissant. Nous avons procede a la realisation de sum//dont le langage d'entree permet deja a l'utilisateur de ne plus se soucier ni de la declaration ni de la gestio
APA, Harvard, Vancouver, ISO, and other styles
38

Upadrasta, Ramakrishna. "Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00818764.

Full text
Abstract:
The goal of this thesis is to design algorithms that run with better complexity when compiling or parallelizing loop programs. The framework within which our algorithms operate is the polyhedral model of compilation which has been successful in the design and implementation of complex loop nest optimizers and parallelizing compilers. The algorithmic complexity and scalability limitations of the above framework remain one important weakness. We address it by introducing sub-polyhedral compilation by using (Unit-)Two-Variable-Per-Inequality or (U)TVPI Polyhedra, namely polyhedrawith restricted c
APA, Harvard, Vancouver, ISO, and other styles
39

Leclerc, Catherine. "Analyse et optimisation des mécanismes parallèles entraînés par câbles : application au simulateur de vol." Thesis, Université Laval, 2009. http://www.theses.ulaval.ca/2009/25926/25926.pdf.

Full text
Abstract:
Ce projet de recherche vise à l’élaboration de nouveaux outils de détermination de l’espace atteignable d’un mécanisme à câbles, pour une application de simulateur de vol. On introduit d’abord la théorie des simulateurs de vol afin de bien saisir les besoins en terme de plate-forme de génération de mouvement. Ensuite, on présente brièvement les mécanismes à câbles comme solution potentielle aux lacunes des simulateurs de vol actuels. S’en suit le développement de plusieurs outils d’évaluation des mécanismes à câbles, puis l’utilisation de ces outils à l’intérieur d’une optimisation multicritér
APA, Harvard, Vancouver, ISO, and other styles
40

Barreteau, Michel. "Optimisation du placement des scans et des réductions pour machines parallèles à mémoire répartie." Versailles-St Quentin en Yvelines, 1998. http://www.theses.fr/1998VERS0001.

Full text
Abstract:
L' @atout majeur des machines parallèles à mémoire répartie réside dans leur rapport coût/performance. Bénéficiant du concept d'extensibilité, leurs performances sont néanmoins étroitement liées à la notion de placement. En effet, ces multiprocesseurs sont extrêmement sensibles aux communications distantes ou plus exactement aux coûts qu'elles induisent. L'objectif du placement est de minimiser les communications. Or ces machines offrent des primitives de communications globales adaptées à leur architecture (réseau d'interconnexion) telles que les scans et les réductions ; leur coût étant très
APA, Harvard, Vancouver, ISO, and other styles
41

Delprat, Sébastien. "Evaluation de stratégies de commande pour véhicules hybrides parallèles." Valenciennes, 2002. https://ged.uphf.fr/nuxeo/site/esupversions/493eb7bd-f6c9-4d5c-a6ba-13e8b9f0c855.

Full text
Abstract:
La propulsion des véhicules hybrides est généralement assurée par un ou plusieurs moteurs électriques associés à un moteur thermique. La première partie décrit les grandes familles d'architectures et le prototype réalisé au LAMIH au cours de travaux précédents. La deuxième partie est consacrée à l'étude des straté̀gies de commande qui choisissent à chaque instant la répartition de puissance entre les deux chaînes de traction. Cette répartition de puissance est ensuite écrite sous la forme d'un problème d'optimisation globale sous contraintes. Plusieurs algorithmes basés sur la théorie de la co
APA, Harvard, Vancouver, ISO, and other styles
42

Alabau, Miguel. "Une expression des algorithmes massivement parallèles à structure de données irrégulières." Bordeaux 1, 1994. http://www.theses.fr/1994BOR10569.

Full text
Abstract:
Les applications massivement parallèles dans lesquelles le partage d'informations se fait sans mémoire commune rendent difficiles la gestion manuelle de la synchronisation et de la communication, du fait du grand nombre de processus mis en jeu. La programmation directe des processus communicants, la parallélisation automatique des programmes séquentiels, et l'utilisation de langages à parallélisme des données sont les réponses apportées à l'heure actuelle à ce problème. Les deux dernières approches, bien que très répandues, ont des difficultés à prendre en compte des problèmes mettant en jeu d
APA, Harvard, Vancouver, ISO, and other styles
43

Grishchenko, Dmitry. "Optimisation proximale avec réduction automatique de dimension." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALM055.

Full text
Abstract:
Dans cette thèse, nous proposons des algorithmes proximaux, avec réduction de dimension automatique, pour des problèmes d’optimisation avec solutions parcimonieuses. Dans un premier temps, nous proposons une méthode générale de réduction de dimension, exploitant la propriété d’identification proximale, par des projections adaptées à la structure de l’itéré courant. Dans le cas parcimonieux, cet algorithme permet de travailler dans des sous-espaces aléatoires de petites dimensions plutôt que dans l’espace entier, possiblement de très grande dimension. Dans un deuxième temps, nous nous plaçons d
APA, Harvard, Vancouver, ISO, and other styles
44

Cavalec-Amis, Karine. "Optimisation des turbo codes pour les systèmes à grande efficacité spectrale." Rennes 1, 2001. http://www.theses.fr/2001REN10096.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Donadio, Sébastien. "Optimisation itérative de bibliothèques de calculs par division hiérarchique de codes." Versailles-St Quentin en Yvelines, 2007. http://www.theses.fr/2007VERS0009.

Full text
Abstract:
The increasing complexity of hardware features incorporated in modern processors makes high performance code generation very challenging. Library generators such as ATLAS, FFTW and SPIRAL overcome this issue by empirically searching in the space of possible program versions for the one that performs the best. This thesis explores fully automatic solution to adapt a compute-intensive application to the target architecture. We show that generative programming is a practical tool to implement a new hierarchical compilation approach for the generation of high performance code. Our general-purpose
APA, Harvard, Vancouver, ISO, and other styles
46

Cayrel, Pierre-Louis. "Construction et optimisation de cryptosystèmes basés sur les codes correcteurs d'erreurs." Limoges, 2008. https://aurore.unilim.fr/theses/nxfile/default/46aac3f7-1539-4684-bef6-9b1ae632c183/blobholder:0/2008LIMO4026.pdf.

Full text
Abstract:
Dans cette thèse, on s’intéresse à l’étude de systèmes de chiffrement ainsi que de schémas de signature dont la sécurité repose sur des problèmes difficiles de théorie des codes correcteurs d’erreurs. Ces activités de recherche ont été motivées, d’une part d’un point de vue théorique par la création de nouveaux schémas de signature avec des propriétés spéciales ainsi que d’une manière de réduire la taille de clés du schéma de McEliece, et d’autre part, d’un point de vue pratique visant à utiliser des propriétés structurelles afin d’obtenir des implémentations effectives d’un schéma de signatur
APA, Harvard, Vancouver, ISO, and other styles
47

El, Baz Abdessamad. "Décodage conjoint source-canal : optimisation d'une chaîne de transmission pour images fixes." Brest, 2002. http://www.theses.fr/2002BRES2008.

Full text
Abstract:
Dans cette thèse nous avons considéré l'optimisation d'un système de transmission pour images fixes sur un canal bruité. Le système de transmission adopte la quantification vectorielle comme codeur de source. Le dictionnaire utilisé est construit avec la méthode de Kohonen qui confère une organisation topologique à ses vecteurs. Ces derniers sont associés de manière optimale aux points de la constellation de la modulation MAQ-16 utilisée pour transmettre les données. Par cette association le système devient robuste aux erreurs de transmission. Nous avons ensuite introduit un codeur correcteur
APA, Harvard, Vancouver, ISO, and other styles
48

Chan, Evelyn Yu-San. "Heuristic optimisation for the minimum distance problem." Thesis, Nottingham Trent University, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.324569.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

Schmitt, Maxime. "Génération automatique de codes adaptatifs." Thesis, Strasbourg, 2019. http://www.theses.fr/2019STRAD029.

Full text
Abstract:
Dans cette thèse nous proposons une interface de programmation pour aider les développeurs dans leur tâche d'optimisation de programme par calcul approché. Cette interface prend la forme d'extensions aux langages de programmation pour indiquer au compilateur quelles parties du programme peuvent utiliser ce type de calcul. Le compilateur se charge alors de transformer les parties du programme visées pour rendre l'application adaptative, allouant plus de ressources aux endroits où une précision importante est requise et utilisant des approximations où la précision peut être moindre. Nous avons a
APA, Harvard, Vancouver, ISO, and other styles
50

Changuel, Samar. "Analyse, optimisation et applications des turbocodes produits Reed-Solomon." Brest, 2008. http://www.theses.fr/2008BRES2012.

Full text
Abstract:
Cette thèse porte sur l'étude des turbocodes produits construits à partir de codes élémentaires de type Reed-Solomon (RS), et sur les applications potentielles de ce schéma de codage. Dans un premier temps, nous étudions les propriétés de distance de l'image binaire des codes RS afin de pouvoir évaluer les performances asymptotiques du décodage optimal à entrée souple de ces codes. Nous montrons que par un choix judicieux des racines du code, il est possible de construire des codes plus performants que ceux habituellement utilisés en pratique. Nous nous intéressons ensuite aux turbocodes produ
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!