Le but de ce memoire est d'étudier les voies possibles pour minimiser le sur-coût des communications consécutif à la parallélisation d'algorithmes numériques sur machines parallèles à mémoire distribuée. La première voie explorée consiste à optimiser les schémas de communication des données et résultats mis en oeuvre dans les versions parallèles de noyaux de calcul. Nous proposons notamment de nouveaux algorithmes pour réaliser une transposition de matrices carrées allouées par blocs, sur différentes topologies de réseaux d'interconnexion. Nous avons également étudié le problème de l'échange total. Ce schéma de communication se retrouve fréquemment dans les versions parallèles d'algorithmes numériques (comme dans l'algorithme du gradient conjugué). Nous proposons des algorithmes efficaces d'échange total pour des topologies toriques. La deuxième voie qui a été explorée consiste à recouvrir les communications par du calcul. Nous avons étudié quelques principes algorithmiques de base permettant de masquer au mieux les communications. Ceux-ci sont basés, notamment, sur des techniques d'enchainement de phases de calcul et de communication, ainsi que sur le re-ordonnancement local de tâches afin d'optimiser le recouvrement. Ces techniques sont illustrées sur des algorithmes parallèles de calcul de transformée de Fourier. Les différentes implantations de ces algorithmes sur de nombreuses machines parallèles à mémoire distribuée (T3D de Cray, SP2 d'IBM, iPSC-860 et Paragon d'Intel) montrent le gain en temps d'exécution apporté par ces méthodes.

Cette thèse propose une étude de trois grands problèmes de mathématiques financières dans les marchés financiers avec coûts de transactions proportionnels. La première partie est consacrée à l'étude des conditions de non arbitrage dans un marché avec information incomplete. La seconde partie résoud le problème de recouvrement d'option américaine dans le cas continue et introduit le concept de système de prix cohérent. Enfin, la troisième partie traite du problème de consommation - investissement de Merton dans un marché où le processus des prix est dirigé par un processus de Lévy.

Le contentieux de l'impayé occupe une place importante dans les rapports personnels de l'individu, civils ou commerciaux. Son omniprésence devant l'ensemble des juridictions, est de nature à perturber non pas seulement la santé de l'économie, mais également celle des mécanismes juridiques. D'emblée, l'analyse du contentieux de l'impayé en France et au Maroc nous renvoie à observer une décrue et un accroissement respectifs, de ce type de contentieux devant les juridictions compétentes ces dernières années. En effet, ce type de contentieux ne cesse de s'accroitre devant l'ensemble des juridictions Marocaine, de plus en plus encombrées par ce contentieux et qui subissent avec résignation un phénomène d'impayé explosif. Cette hausse des affaires liées à l'impayé n'est pas un phénomène de circonstances, et n'est pas lié à la crise économique actuelle. Elle résulte d'un accroissement sans précèdent de l'impayé, et un mode de recouvrement qui s'appuie inconditionnellement sur la justice étatique. En France, La situation est bien différente. En effet, la baisse du contentieux de l'impayé devant les juridictions civiles et commerciales, ne résulte point d'un hasard, ou de causes purement accidentelles. Elle résulte vraisemblablement d'une relation synergique d'un ensemble de facteurs. Il s'agit d'une conjonction de plusieurs dispositions législatives, de procédés et de techniques qui ont contribué à cette baisse. Par ailleurs, L'exploration de l'évolution positive ou négative du contentieux de l'impayé ne constitue pas uniquement un moyen idoine pour appréhender la genèse et le fondement de l'impayé, elle constitue également un indicateur fiable de l'approche systémique adoptée en matière de recouvrement de créances dans les deux pays.

L’analyse de l’activité électromyographique (EMG) corrélative de l’imagerie motrice (IM) et l’effet de l’entraînement mental sur l’amélioration et le recouvrement de la force musculaire permettent de mieux comprendre les mécanismes nerveux de l’IM et l’importance du contenu de l’image mentale. Une activité EMG subliminale a en effet été enregistrée lors de l’IM, validant l’hypothèse d’une inhibition incomplète de la commande motrice. Elle était modulée selon l’intensité de l’effort mental et le régime de contraction, comme lors d’une contraction physique. Ces données renforcent l’équivalence physiologique entre IM et exécution réelle. Les programmes d’entraînement et de réhabilitation intégrant l’IM s’appuient sur ces données théoriques. L’amélioration de la force musculaire était significativement plus importante suite à un entraînement combinant répétitions physiques et mentales, comparativement à une pratique physique seule, même si l’effet ne concernait que certains groupes musculaires. Ce travail démontre également l’efficacité d’un entraînement par IM, lorsqu’il est associé à des soins de kinésithérapie, après rupture du ligament croisé antérieur ou brûlure de la main. L’IM jouerait un rôle prépondérant dans l’activation des programmes moteurs et faciliterait la récupération fonctionnelle. L’IM peut donc être considérée comme un complément bénéfique aux programmes d’entraînement et de réhabilitation dans le développement et le recouvrement des fonctions motrices / Analyzing the electromyographic (EMG) activity accompanying motor imagery (MI) as well as the imagery‐related effects on strength enhancement contributes to a better understanding of the neural mechanisms of MI. Accordingly, the subliminal EMG activity recorded during MI supports the hypothesis of an incomplete inhibition of the motor command during mental rehearsal. Interestingly, the pattern of EMG response was modulated by the mental effort and the imagined contraction type, in the same way as during physical movement. Furthermore, the data provided evidence that MI contributed both to increase muscle strength, though strength gains were not observed in all muscles. Finally, MI was found to facilitate motor recovery following anterior cruciate ligament tear as well as in burned patients. These results confirm that MI should be considered a reliable and costeffective technique to improve motor recovery and motor performance.

Le travail que nous développons dans le cadre de cette thèse s'articule autour des problèmes de recherche de structure de recouvrement de graphes sous contrainte sur le degré des sommets. Comme l'arbre de recouvrement couvre les sommets d'un graphe connexe avec un minimum de liens, il est généralement proposé comme solution à ce type de problèmes. Cependant, pour certaines applications telles que le routage dans les réseaux optiques, les solutions ne sont pas nécessairement des sous-graphes. Nous supposons dans cette thèse que la contrainte sur le degré est due à une capacité limitée instantanée des sommets et que la seule exigence sur le recouvrement est sa connexité. Dans ce cas, la solution peut être différente d'un arbre. Nous reformulons ces problèmes de recouvrement en nous appuyant sur une extension du concept d'arbre appelée hiérarchie de recouvrement. Notre objectif principal est de démontrer son intérêt vis-à-vis de l'arbre en termes de faisabilité et de coût du recouvrement. Nous considérons deux types de contraintes sur le degré : des bornes sur le degré des sommets ou une borne sur le nombre de sommets de branchement et cherchons dans les deux cas un recouvrement de coût minimum. Nous illustrons aussi l'applicabilité des hiérarchies en étudiant un problème prenant davantage en compte la réalité du routage optique. Pour ces différents problèmes NP-difficiles, nous montrons, tant sur le coût des solutions optimales que sur la garantie de performance des solutions approchées, l'intérêt des hiérarchies de recouvrement. Ce constat se voit conforté par des expérimentations sur des graphes aléatoires. / The work conducted in this thesis is focused on the minimum spanning problems in graphs under constraints on the vertex degrees. As the spanning tree covers the vertices of a connected graph with a minimum number of links, it is generally proposed as a solution for this kind of problems. However, for some applications such as the routing in optical networks, the solution is not necessarily a sub-graph. In this thesis, we assume that the degree constraints are due to a limited instantaneous capacity of the vertices and that the only pertinent requirement on the spanning structure is its connectivity. In that case, the solution may be different from a tree. We propose the reformulation of this kind of spanning problems. To find the optimal coverage of the vertices, an extension of the tree concept called hierarchy is proposed. Our main purpose is to show its interest regarding the tree in term of feasibility and costs of the coverage. Thus, we take into account two types of degree constraints: either an upper bound on the degree of vertices and an upper bound on the number of branching vertices. We search a minimum cost spanning hierarchy in both cases. Besides, we also illustrate the applicability of hierarchies by studying a problem that takes more into account the reality of the optical routing. For all those NP-hard problems, we show the interest of the spanning hierarchy for both costs of optimal solutions and performance guarantee of approximate solutions. These results are confirmed by several experimentations on random graphs.

Dans une composition de services Web basée protocole, un ensemble de services composants se collaborent pour donner lieu à un service Composite. Chaque service est représenté par un automate à états finis (AEF). Au sein d'un AEF, chaque transition exprime l'exécution d'une opération qui fait avancer le service vers un état suivant. Une exécution du composite correspond à une séquence de transitions où chacune est déléguée à un des composants. Lors de l'exécution du composite, un ou plusieurs composants peuvent devenir indisponibles. Ceci peut produire une exécution incomplète du composite, et de ce fait un recouvrement est nécessaire. Le recouvrement consiste à transformer l'exécution incomplète en une exécution alternative ayant encore la capacité d'aller vers un état final. La transformation s'effectue en compensant certaines transitions et exécutant d'autres. Cette thèse présente une étude formelle du problème de recouvrement dans une composition de service Web basée protocole. Le problème de recouvrement consiste à trouver une meilleure exécution alternative parmi celles disponibles. Une meilleure alternative doit être atteignable à partir de l'exécution incomplète avec un nombre minimal de compensations visibles (vis-à-vis le client). Pour une exécution alternative donnée, nous prouvons que le problème de décision associé au calcul du nombre de transitions invisiblement compensées est NP-Complet. De ce fait, nous concluons que le problème de décision associé au recouvrement appartient à la classe ΣP2.

Dans une composition de services Web basée protocole, un ensemble de services composants se collaborent pour donner lieu à un service Composite. Chaque service est représenté par un automate à états finis (AEF). Au sein d’un AEF, chaque transition exprime l’exécution d’une opération qui fait avancer le service vers un état suivant. Une exécution du composite correspond à une séquence de transitions où chacune est déléguée à un des composants. Lors de l’exécution du composite, un ou plusieurs composants peuvent devenir indisponibles. Ceci peut produire une exécution incomplète du composite, et de ce fait un recouvrement est nécessaire. Le recouvrement consiste à transformer l’exécution incomplète en une exécution alternative ayant encore la capacité d’aller vers un état final. La transformation s'effectue en compensant certaines transitions et exécutant d’autres. Cette thèse présente une étude formelle du problème de recouvrement dans une composition de service Web basée protocole. Le problème de recouvrement consiste à trouver une meilleure exécution alternative parmi celles disponibles. Une meilleure alternative doit être atteignable à partir de l’exécution incomplète avec un nombre minimal de compensations visibles (vis-à-vis le client). Pour une exécution alternative donnée, nous prouvons que le problème de décision associé au calcul du nombre de transitions invisiblement compensées est NP-Complet. De ce fait, nous concluons que le problème de décision associé au recouvrement appartient à la classe ΣP2. / In a protocol-based Web service composition, a set of available component services collaborate together in order to provide a new composite service. Services export their protocols as finite state machines (FSMs). A transition in the FSM represents a task execution that makes the service moving to a next state. An execution of the composite corresponds to a sequence of transitions where each task is delegated to a component service. During composite run, one or more delegated components may become unavailable due to hard or soft problems on the Network. This unavailability may result in a failed execution of the composite. We provide in this thesis a formal study of the automatic recovery problem in the protocol-based Web service composition. Recovery consists in transforming the failed execution into a recovery execution. Such a transformation is performed by compensating some transitions and executing some others. The recovery execution is an alternative execution of the composite that still has the ability to reach a final state. The recovery problem consists then in finding the best recovery execution(s) among those available. The best recovery execution is attainable from the failed execution with a minimal number of visible compensations with respect to the client. For a given recovery execution, we prove that the decision problem associated with computing the number of invisibly-compensated transitions is NP-complete. Thus, we conclude that deciding of the best recovery execution is in ΣP2.

Le présent travail a pour objectif principal l'étude du rôle fonctionnel de la syllabe en production verbale orale et écrite de mots isolés.<br />Suite à une tentative de définition de « ce qu'est exactement une syllabe » dans une Introduction, nous avons rapporté des arguments en faveur d'un rôle fonctionnel de cette unité en perception visuelle et auditive.<br />Le Chapitre I présente une revue de la littérature portant sur la production verbale orale et écrite conceptuellement dirigée (Caramazza & Miceli, 1990 ; Dell, 1986 ; Levelt, Roelofs, & Meyer, 1999). Les différents niveaux de traitement (conceptuel, syntaxique, lexical et moteur) et les propositions concernant les mécanismes de traitement impliqués à chacune de ces étapes sont présentés. Une attention particulière a été portée aux propositions des principaux modèles concernant le rôle de la syllabe dans les processus d'accès lexical et de planification motrice.<br />Le Chapitre II est consacré à un effet qui est à l'origine d'un vif débat : l'effet d'amorçage syllabique. Ferrand, Segui et Grainger (1996) ont montré que la présentation d'un groupe de segments correspondant à la première syllabe d'un mot (e.g., ba-baleine ; balbalcon) facilite plus la dénomination qu'un groupe de segments plus court (e.g., ba-balcon) ou plus long (bal-baleine). Nous avons essayé de répliquer ce résultat en dénomination orale d'images (Expériences 2a, 2b et 3). Nous avons rapporté des données en faveur de l'hypothèse du recouvrement segmental (Sciller, 1998, 1999, 2000). Nous avons ensuite testé si le temps de présentation de l'amorce (Expérience 4) et le moment de présentation du groupe de segments (Expérience 5) pouvaient expliquer l'absence d'effet d'amorçage syllabique. Là encore, les données sont en accord avec l'hypothèse du recouvrement segmental (Schiller, 1998, 1999, 2000). Nous avons aussi exploré la possibilité d'obtenir cet effet en production verbale écrite (Expériences 1a et 1b).<br />Dans le Chapitre III, nous avons testé l'hypothèse selon laquelle les latences d'initialisation de mots monosyllabiques devraient être plus courts que celles de mots bisyllabiques, si la syllabe joue un rôle fonctionnel en production verbale orale et écrite. Des études pour les deux modalités ont répondu par la négative (Bachoud-Levi et al., 1998 ; Lambert, 1999 ; Lambert et al., sous presse ; Roelofs, 2002b). Toutefois, Meyer, Roelofs et Levelt, (2003) ont proposé qu'un critère temporel de réponse (Lupker et al., 1997) influence l'instant d'initialisation de la réponse. En conséquence, un effet du nombre de syllabes peut apparaître. Nous avons essayé de répliquer ce résultat en production verbale orale (Expérience 6) et de l'étendre à la production verbale écrite (Expérience 7). Toutefois, nous n'avons pas rapporté de données en faveur de l'hypothèse de Meyer et collaborateurs (2003) pour les deux modalités.<br />Le Chapitre IV a pour objectif de faire une synthèse des résultats que nous avons obtenus et de proposer des perspectives de recherches.

Une grille de calcul regroupe un très grand nombre de ressources de calcul hétérogènes, pouvant appartenir à différents domaines d'administration. Les grille sont attractives car elles peuvent fournir à leurs utilisateurs les ressources nécessaires à l'exécution d'applications de calcul scientifique. Cependant exécuter une application sur la grille est une tâche difficile car la fréquence des défaillances matérielles y est élevés. Pour assurer l'exécution fiable d'applications distribuées dans les grilles de calcul, nous proposons tout d'abord un service de recouvrement arrière assurant le redémarrage automatique des applications défaillantes. Nous proposons ensuite une solution assurant la haute disponibilité et l'auto-réparation de services de grille. Enfin nous proposons un protocole de recouvrement arrière pour application à échange de messages passant à l'échelle.

Introduction. Couvertures des graphes par des cycles. Couverture par des circuits d'un matroïde régulier qui admet un Z.5- flot non nul. Flots de Fulkerson. Flots de Petersen. Constructions locales. Annexe. Bibliographie