Les impressionnantes avancées techniques et technologiques dans les deux domaines des semiconducteurs et de l'ingénieurie logicielle ont permis aux Système sur puces (System-on-Chip "SoC") d'intégrer des applications complexes et interdépendantes. Ces progrès vont de pair avec la complexité accrue des systèmes et de leur hétérogénéité. Ainsi, les concepteurs ont été forcé à réévaluer leurs méthodes de conception et d'élever le niveau d'abstraction au niveau système en ciblant la conception de l'ensemble du SoC plutôt que des composants individuels. L'objectif de ce travail de thèse est de fournir aux concepteurs systèmes les moyens nécessaires (au niveau méthodologique et au niveau outils) pour estimer les performances du système et évaluer rapidement les décisions de conception, idéalement trés tôt dans le flot de conception. Notre contribution portera sur deux aspects principaux: (1) L'aspect conceptuel: où nous avons défini (en utilisant les concepts de métamodélisation UML) des concepts de modélisation permettant d'étudier l'effet de la gestion et du partage des ressources sur les performances globales du système (les "noeuds virtuels") . En outre, nous avons introduit le concept de "Patron de communication" pour la modélisation de l'interaction entre les éléments d'architecture afin d'assurer l'orthogonalisation des concepts de l'exécution et de la communication. (2)L'aspect simulation: Un simulateur en SystemC a été développé pour simuler les modèles UML proposés. La simulation est faite à haut niveau d'abstraction et elle est plus rapide que l'exécution en temps réel. L'approche proposée a été appliquée pour la modélisation de la couche physique du protocole de télécommunications mobile de 4ème génération (LTE, Long Term Evolution) sur un DSP muli-core produit par Freescale. Les résultats ont été validés en les comparant avec l'implémentation réelle. Thèmes clés: Modélisation et conception au niveau système, UML pour les systèmes embarqués, la gestion et le partage des ressources, la modélisation de la communication, l'estimation des performances, les systèmes de télécommunication

L'objectif principal de cette thèse est de proposer une approche efficace de modélisation et de résolution pour le problème d’ordonnancement, en mettant l’accent sur le partage multi-ressources et sur l’incertitude potentielle d’occurrence de certains événements. L'ordonnancement a pour objectif de réaliser un ensemble de tâches à la fois en respectant des contraintes prédéfinies et en optimisant le temps. Ce travail s’intéresse en particulier à la minimisation du temps total d’exécution. La plupart des approches existantes préconisent une modélisation mathématique exprimant des équations et des contraintes pour décrire et résoudre des problèmes d’ordonnancement. De telles démarches ont une complexité inhérente. Cependant dans l’industrie, la tâche de planification est récurrente et peut requérir des changements fréquents des contraintes. Outre cela, la prise en compte d’événements incertains est peu supportée par les approches existantes; cela peut toutefois augmenter la robustesse d’un ordonnancement. Pour répondre à ces problématiques, après une introduction, le chapitre 2 aborde le problème de l’ordonnancement à travers une démarche de modélisation visuelle, expressive et formelle, s’appuyant sur les automates pondérés et sur la théorie des automates temporisés. L’originalité des modèles proposés réside aussi dans leur capacité de décrire le partage de ressources multiples et proposer une approche de résolution efficace. Ces modèles ont l’avantage d’être directement exploitables par des outils de vérification formelle, à travers une démarche de preuve par contradiction vis-à-vis de l’existence d’une solution. Les résultats effectifs sont obtenus grâce à l’outil UPPAAL. La complexité inhérente à la production d’une solution optimale est abordée à travers un algorithme de recherche et d’amélioration itérative de solutions, offrant une complexité très prometteuse sur la classe de problèmes étudiés. Dans le chapitre 3, une composition synchrone est d’automates pondérés est proposée dans le but de résoudre le problème d’ordonnancement en effectuant une analyse d’atteignabilité optimale directement sur les modèles automates pondérés. Dans le quatrième chapitre, divers comportements incontrôlables tels que le temps de début, la durée de la tâche et l'occurrence d’échec dans un problème d‘ordonnancement sont modélisés par des automates de jeu temporisés. Ensuite, le problème est résolu en effectuant une synthèse de stratégie optimale dans le temps dans l'outil de synthèse TIGA. / The objective of scheduling problems is to find the optimal performing sequence for a set of tasks by respecting predefined constraints and optimizing a cost: time, energy, etc. Despite classical approaches, automata models are expressive and also robust against changes in the parameter setting and against changes in the problem specification. Besides, few studies have used formal verification approaches for addressing scheduling problems; yet none of them considered challenging and practical issues such as multi-resource sharing aspect, uncontrollable environment and reaching the optimal schedule in a reasonable time for industrializing the model. The main objective of this thesis is to propose an efficient modeling and solving approach for the scheduling problem, considering multi-resource sharing and potential uncertainty in occurrence of certain events. For this purpose, after an introduction in Chapter 1, Chapter 2 addresses the problem of scheduling through a visual, expressive and formal modeling approach, based on weighted automata and the theory of timed automata. The originality of the proposed approach lies in ability of handling the sharing of multiple resources and proposing an efficient solving approach. The proposed models have the advantage of being directly exploitable by means of formal verification tools. The results are obtained using the UPPAAL tool. To solve the problem, an algorithm is developed based on iterating reachability analysis to obtain sub-optimal makespan. Results show the proposed model and solving approach provides a very promising complexity on the class of studied problems and can be applied to industrial cases. In Chapter 3, a synchronous composition of weighted automata is proposed to solve the scheduling problem by performing an optimal reachability analysis directly on the weighted automata models. In the fourth chapter, various uncontrollable behaviors such as the start time, the duration of the task and the failure occurrence in a scheduling problem are modeled by timed game automata. Then, the problem is solved by performing an optimal strategy synthesis over time in TIGA as a synthesis tool.

Dans ce travail, notre contribution est double. Nous développons un cadre d’apprentissage stochastique distribué pour la recherche des équilibres de Nash dans le cas de fonctions de paiement dépendantes d’un état. La plupart des travaux existants supposent qu’une expression analytique de la récompense est disponible au niveau des noeuds. Nous considérons ici une hypothèse réaliste où les noeuds ont seulement une réalisation quantifiée de la récompense à chaque instant et développons un modèle stochastique d’apprentissage à temps discret utilisant une perturbation en sinus. Nous examinons la convergence de notre algorithme en temps discret pour une trajectoire limite définie par une équation différentielle ordinaire (ODE). Ensuite, nous effectuons une analyse de la stabilité et appliquons le schéma proposé dans un problème de commande de puissance générique dans les réseaux sans fil. Nous avons également élaboré un cadre de partage de ressources distribuées pour les réseaux –cloud– en nuage. Nous étudions la stabilité de l’évolution de l’équilibre de Nash en fonction du nombre d’utilisateurs. Dans ce scénario, nous considérons également le comportement des utilisateurs sociaux. Enfin nous avons également examiné un problème de satisfaction de la demande où chaque utilisateur a une demande propre à lui qui doit être satisfaite / As systems are becoming larger, it is becoming difficult to optimize them in a centralized manner due to insufficient backhaul connectivity and dynamical systems behavior. In this thesis, we tackle the above problem by developing a distributed strategic learning framework for seeking Nash equilibria under state dependent payoff functions. We develop a discrete time stochastic learning using sinus perturbation with the realistic assumption, that each node only has a numerical realization of the payoff at each time. We examine the convergence of our discrete time algorithm to a limiting trajectory defined by an ordinary differential equation (ODE). Finally, we conduct a stability analysis and apply the proposed scheme in a generic wireless networks. We also provide the application of these algorithms to real world resource utilization problems in wireless. Our proposed algorithm is applied to the following distributed optimization problems in wireless domain. Power control, beamforming and Bayesian density tracking in the interference channel. We also consider resource sharing problems in large scale networks (e.g. cloud networks) with a generalized fair payoff function. We formulate the problem as a strategic decision-making problem (i.e. a game). We examine the resource sharing game with finite and infinite number of players. Exploiting the aggregate structure of the payoff functions, we show that, the Nash equilibrium is not an evolutionarily stable strategy in the finite regime. Then, we introduce a myopic mean-field response where each player implements a mean-field-taking strategy. We show that such a mean-field-taking strategy is evolutionarily stable in both finite and infinite regime. We provide closed form expression of the optimal pricing that gives an efficient resource sharing policy. As the number of active players grows without bound, we show that the equilibrium strategy converges to a mean-field equilibrium and the optimal prices for resources converge to the optimal price of the mean-field game. Then, we address the demand satisfaction problem for which a necessary and sufficiency condition for satisfactory solutions is provided

Contexte: L’importance écologique des fourmis dans les écosystèmes terrestres justifie qu’elles soient considérées comme groupe cible pour des actions de conservation. De plus, de par leur abondance, leur facilité de récolte et leur réponse à des perturbations, elles présentent un potentiel intéressant comme groupe indicateur précoce de l’état de santé des écosystèmes. Par contre, pour le choix d’aires à protéger, leur utilité comme intégrateur des conditions de milieu par rapport à des indicateurs classiques tels que les assemblages de plantes n’est pas clairement établie. En d’autres termes, répondent-elles plus finement que les plantes à différentes conditions de milieu et dans ce cas doit-on s’attendre à trouver au sein de formations végétales comparables plusieurs types d’assemblages de foumis? Si tel est le cas, la méthode utilisant les assemblages de végétaux pour sélectionner les sites à protéger peut ne pas permettre une conservation efficace de la diversité des fourmis. Ce type de problématique s’aborde bien le long de gradients environnementaux. Pour faciliter l’interprétation des résultats en terme de réponse aux facteurs abiotiques il est préférable de limiter le nombre de facteurs qui varient en même temps. Dans ce sens, le Chaco sec paraguayen représente un système très favorable: faible déclivité, faibles variations de températures moyennes mais gamme très étendue de conditions de pluviométrie (350mm à 1000mm de précipitations moyennes annuelles) et des sols variables (texture limoneuse à sableuse). L’aridité est l’un des principaux facteurs pouvant limiter la diversité des fourmis soit directement en exerçant un stress physiologique sur les espèces, soit indirectement en limitant la productivité primaire de l’habitat. Les conditions édaphiques peuvent également avoir une influence en affectant par exemple la survie des colonies qui nidifient dans le sol. Objectifs: Les principaux buts de la thèse sont (1) de déterminer l’influence de l’aridité et des conditions édaphiques sur la distribution et la structure des assemblages de fourmis terricoles du sol en forêts tropicales sèches, (2) mettre en évidence les mécanismes qui facilitent la coexistence des espèces de fourmis à l’échelle locale, (3) déterminer si à l’échelle régionale les fourmis et les plantes répondent de façon similaire aux conditions du milieu. Méthode: Onze localités ont été échantillonnées le long d’un transect régional long de 400km. Au niveau de chaque localité, trois transects élémentaires longs de 200m et séparés les uns des autres par 200m ont été effectués. La myrmécofaune a été échantillonnée à l’aide de 20 pièges à fosse et de 20 Winkler par transect élémentaire. La végétation de chaque site a été caractérisée sur base de l’abondance de 45 espèces d’arbres ou d’arbustes caractéristiques de la flore chaquéenne. Les propriétés physico-chimiques du sol ont également été mesurées. A fine échelle, l’organisation spatio-temporelle d’un assemblage a été étudié dans une localité de référence. Résultats: Au total, plus de 50.000 spécimens correspondant à 206 espèces de fourmis ont été collectés avec en moyenne (± SD) 62 ± 10 espèces par localité. Pour un même effort d’échantillonnage, le nombre d’espèces de fourmis récoltées à l’aide des pièges à fosse augmente avec l’aridité et une tendance inverse est observée pour les Winkler. Puisque les Winkler peuvent entraîner une sévère sous-estimation de la diversité des fourmis d’un habitat, seules les données des pièges à fosse sont utilisées pour la suite des analyses. La diversité locale  des assemblages de fourmis n’apparaît corrélée ni à l’aridité, ni aux conditions édaphiques. En revanche, ces facteurs, et spécialement la texture du sol, influencent la composition des assemblages. Trois complexes myrmécofauniques sont mis en évidence: le premier dans la localité la plus sèche (350mm) et la plus sableuse (>90% de sable dans la fraction minérale du sol), le second dans la localité la plus humide (1000mm, sol argilo-limoneux) et le dernier dans des localités présentant de larges conditions de pluviométrie (350-850mm) et de sol (limoneux à sablo-limoneux). Les plantes répondent encore plus finement à ces facteurs abiotiques. A l’échelle locale, l’établissement d’une ségrégation spatio-temporelle fine des espèces de fourmis lors de l’exploitation des ressources alimentaires facilite la coexistence interspécifique. Cette ségrégation est engendrée par l’existence de deux compromis: l’un entre les capacités des espèces à dominer et à découvrir les ressources et l’autre entre la capacité de dominance et la tolérance aux températures élevées. Conclusions: Nos résultats contredisent l’hypothèse selon laquelle les fourmis répondent plus finement que les plantes aux conditions du milieu. A l’échelle du gradient étudié, une augmentation de l’aridité n’affecte pas la diversité des fourmis. La productivité de l’habitat ne semble pas déterminer la richesse des assemblages et la tolérance à l’aridité semble répandue au sein des Formicidae. La texture du sol apparaît être le facteur le plus déterminant des distributions spatiales observées. Dans le Chaco sec paraguayen, une sélection des sites à protéger sur base des assemblages végétaux est susceptible de maximiser la conservation de la diversité biologique des fourmis. Notre étude de la distribution de la myrmécofaune, basée sur la plus large gamme de pluviométrie envisagée à ce jour, pourra constituer le point de départ d'un suivi des assemblages de fourmis dominantes du Chaco sec paraguayen dans le but d'investiguer l'impact des changements climatiques globaux sur ces organismes.

La théorie des ressources et compétences est appliquée à de multiples champs et terrains, dont le management des chaînes logistiques. La thèse s'interroge sur la nature des ressources et compétences logistiques aux mains des prestataires de services logistiques (PSL), et à la manière dont elles sont mobilisées dans le cadre d'une manoeuvre d'intégration de la chaîne logistique entre industriel et PSL pour améliorer la performance logistique perçue par l'industriel. Le cadre conceptuel développé dans la thèse s'appuie par conséquent à la fois sur la théorie des ressources et compétences et sur l'analyse approfondie des processus d'intégration de la chaîne logistique. Nous nous fondons sur une revue extensive de la littérature, et nous construisons un modèle s'appuyant sur cinq propositions de recherche relatives à la relation entre intégration de la chaîne logistique et performance logistique perçue, en y associant par ailleurs la capacité d'innovation dont peut faire preuve le PSL. Le terrain est constitué d'une enquête conduite par questionnaire auprès de 139 industriels du secteur alimentaire au Vietnam. Les principaux résultats de la recherche peuvent être résumés en deux points. D'une part, l'intégration des ressources et compétences logistiques entre l'industriel et son PSL impacte fortement sur la performance logistique perçue par l'industriel. D'autre part, la capacité d'innovation constitue pour le PSL une ressource de première importance, qui peut avoir une influence significative sur la performance logistique perçue par l'industriel. / Resource and competence theory is applied to multiple fields and countries. It seems pertinent to infer a possible use to the management of supply chains to better understand the operation. This is the goal of this thesis by questioning the nature of resources and logistic expertise in the hands of logistics service providers (LSP), and how they are mobilized as part of a maneuver integration of the supply chain between industrial and PSL to improve logistics performance perceived by the industry. The conceptual framework developed in the thesis is based therefore on both the resource and competence theory and in-depth analysis of the supply chain integration process. By relying on an extensive literature review, we build a model based on five research proposals relating to the relationship between supply chain integration and perceived logistics performance, which also involves the innovation capacity that can demonstrate LSP. A questionnaire survey was conducted in Vietnam with the participation of 139 food actors. The main results of the research can be summarized in two points. On the one hand, the integration of resources and logistics expertise between industrial and LSP impacts heavily on logistics performance perceived by the industrial. On the other hand, the innovation capacity constitutes for the LSP an important resource, which can have a significant impact on logistics performance perceived by the industrial.

Les évolutions technologies mobiles majeures, tels que les réseaux mobiles 3G, HSPA+ et LTE, ont augmenté de façon significative la capacité des données véhiculées sur liaison radio. Alors que les avantages de ces évolutions sont évidents à l’usage, un fait moins connu est que ces améliorations portant principalement sur l’accès radio nécessitent aussi des avancées technologiques dans le réseau de collecte (backhaul) pour supporter cette augmentation de bande passante. Les fournisseurs d’accès Internet (FAI) et les opérateurs de réseau mobile doivent relever un réel défi pour accompagner l’usage des smartphones. Les coûts opérationnels associés aux méthodes traditionnelles de backhaul augmentent plus vite que les revenus générés par les nouveaux services de données. Ceci est particulièrement vrai lorsque le réseau backhaul doit lui-même être construit sur des liens radio. Un tel réseau de backhaul mobile nécessite (i) une gestion de qualité de service (QoS) liée au trafic avec des exigences strictes en matière de délai et de gigue, (ii) une haute disponibilité / fiabilité. Alors que la plupart des FAI et des opérateurs de réseau mobile font état des avantages de mécanismes de redondance et de résilience pour garantir une haute disponibilité, force est de constater que les réseaux actuels sont encore exposés à des indisponibilités. Bien que les causes de ces indisponibilités soient claires, les fluctuations rapides et / ou des pannes imprévues du trafic continuent d’affecter les plus grands opérateurs. Mais ces opérateurs ne pourraient-ils pas mettre en place des modèles et des mécanismes pour améliorer la survie des réseaux pour éviter de telles situations ? Les opérateurs de réseaux mobiles peuvent-ils mettre en place ensemble des solutions à faible coût qui assureraient la disponibilité et la fiabilité des réseaux ? Compte tenu de ce constat, cette thèse vise à : (i) fournir des solutions de backhaul à faible coût ; l’objectif est de construire des réseaux sans fil en ajoutant de nouvelles ressources à la demande plutôt que par sur-dimensionnements, en réponse à un trafic inattendu surgit ou à une défaillance du réseau, afin d’assurer une qualité supérieure de certains services (ii) fournir des communications sans interruption, y compris en cas de défaillance du réseau, mais sans redondance. Un léger focus porte sur l’occurrence de ce problème sur le lien appelé «dernier kilomètre» (last mile). Cette thèse conçoit une nouvelle architecture de réseaux backhaul mobiles et propose une modélisation pour améliorer la survie et la capacité de ces réseaux de manière efficace, sans reposer sur des mécanismes coûteux de redondance passive. Avec ces motivations, nous étudions le problème de partage de ressources d'un réseau de backhaul entre opérateurs concurrents, pour lesquelles un accord de niveau de service (SLA) a été conclu. Ainsi, nous présentons une étude systématique de solutions proposées portant sur une variété d’heuristiques de partage empiriques et d'optimisation des ressources. Dans ce contexte, nous poursuivons par une étude sur un mécanisme de recouvrement après panne qui assure efficacement et à faible coût la protection et la restauration de ressources, permettant aux opérateurs via une fonction basée sur la programmation par contraintes de choisir et établir de nouveaux chemins en fonction des modèles de trafic des clients finaux. Nous illustrons la capacité de survie des réseaux backhaul disposant d’un faible degré de redondance matérielle, par la gestion efficace d’équipements de réseau de backhaul répartis géographiquement et appartenant aux différents opérateurs, en s’appuyant sur des contrôleurs logiquement centralisés mais physiquement distribués, en respectant des contraintes strictes sur la disponibilité et la fiabilité du réseau / Revolutionary mobile technologies, such as high-speed packet access 3G (HSPA+) and LTE, have significantly increased mobile data rate over the radio link. While most of the world looks at this revolution as a blessing to their day-to-day life, a little-known fact is that these improvements over the radio access link results in demanding tremendous improvements in bandwidth on the backhaul network. Having said this, today’s Internet Service Providers (ISPs) and Mobile Network Operators (MNOs) are intemperately impacted as a result of this excessive smartphone usage. The operational costs (OPEX) associated with traditional backhaul methods are rising faster than the revenue generated by the new data services. Building a mobile backhaul network is very different from building a commercial data network. A mobile backhaul network requires (i) QoS-based traffic with strict requirements on delay and jitter (ii) high availability/reliability. While most ISPs and MNOs have promised advantages of redundancy and resilience to guarantee high availability, there is still the specter of failure in today’s networks. The problems of network failures in today’s networks can be quickly but clearly ascertained. The underlying observation is that ISPs and MNOs are still exposed to rapid fluctuations and/or unpredicted breakdowns in traffic; it goes without saying that even the largest operators can be affected. But what if, these operators could now put in place designs and mechanisms to improve network survivability to avoid such occurrences? What if mobile network operators can come up with low-cost backhaul solutions together with ensuring the required availability and reliability in the networks? With this problem statement in-hand, the overarching theme of this dissertation is within the following scopes: (i) to provide low-cost backhaul solutions; the motivation here being able to build networks without over-provisioning and then to bring-in new resources (link capacity/bandwidth) on occasions of unexpected traffic surges as well as on network failure conditions for particularly ensuring premium services (ii) to provide uninterrupted communications even at times of network failure conditions, but without redundancy. Here a slightly greater emphasis is laid on tackling the ‘last-mile’ link failures. The scope of this dissertation is therefore to propose, design and model novel network architectures for improving effective network survivability and network capacity, at the same time by eliminating network-wide redundancy, adopted within the context of mobile backhaul networks. Motivated by this, we study the problem of how to share the available resources of a backhaul network among its competitors, with whom a Service Level Agreement (SLA) has been concluded. Thus, we present a systematic study of our proposed solutions focusing on a variety of empirical resource sharing heuristics and optimization frameworks. With this background, our work extends towards a novel fault restoration framework which can cost-effectively provide protection and restoration for the operators, enabling them with a parameterized objective function to choose desired paths based on traffic patterns of their end-customers. We then illustrate the survivability of backhaul networks with reduced amount of physical redundancy, by effectively managing geographically distributed backhaul network equipments which belong to different MNOs using ‘logically-centralized’ physically-distributed controllers, while meeting strict constraints on network availability and reliability

Contexte: L’importance écologique des fourmis dans les écosystèmes terrestres justifie qu’elles soient considérées comme groupe cible pour des actions de conservation. De plus, de par leur abondance, leur facilité de récolte et leur réponse à des perturbations, elles présentent un potentiel intéressant comme groupe indicateur précoce de l’état de santé des écosystèmes. Par contre, pour le choix d’aires à protéger, leur utilité comme intégrateur des conditions de milieu par rapport à des indicateurs classiques tels que les assemblages de plantes n’est pas clairement établie. En d’autres termes, répondent-elles plus finement que les plantes à différentes conditions de milieu et dans ce cas doit-on s’attendre à trouver au sein de formations végétales comparables plusieurs types d’assemblages de foumis? Si tel est le cas, la méthode utilisant les assemblages de végétaux pour sélectionner les sites à protéger peut ne pas permettre une conservation efficace de la diversité des fourmis. Ce type de problématique s’aborde bien le long de gradients environnementaux. Pour faciliter l’interprétation des résultats en terme de réponse aux facteurs abiotiques il est préférable de limiter le nombre de facteurs qui varient en même temps. Dans ce sens, le Chaco sec paraguayen représente un système très favorable: faible déclivité, faibles variations de températures moyennes mais gamme très étendue de conditions de pluviométrie (350mm à 1000mm de précipitations moyennes annuelles) et des sols variables (texture limoneuse à sableuse). L’aridité est l’un des principaux facteurs pouvant limiter la diversité des fourmis soit directement en exerçant un stress physiologique sur les espèces, soit indirectement en limitant la productivité primaire de l’habitat. Les conditions édaphiques peuvent également avoir une influence en affectant par exemple la survie des colonies qui nidifient dans le sol. <p>Objectifs: Les principaux buts de la thèse sont (1) de déterminer l’influence de l’aridité et des conditions édaphiques sur la distribution et la structure des assemblages de fourmis terricoles du sol en forêts tropicales sèches, (2) mettre en évidence les mécanismes qui facilitent la coexistence des espèces de fourmis à l’échelle locale, (3) déterminer si à l’échelle régionale les fourmis et les plantes répondent de façon similaire aux conditions du milieu. <p>Méthode: Onze localités ont été échantillonnées le long d’un transect régional long de 400km. Au niveau de chaque localité, trois transects élémentaires longs de 200m et séparés les uns des autres par 200m ont été effectués. La myrmécofaune a été échantillonnée à l’aide de 20 pièges à fosse et de 20 Winkler par transect élémentaire. La végétation de chaque site a été caractérisée sur base de l’abondance de 45 espèces d’arbres ou d’arbustes caractéristiques de la flore chaquéenne. Les propriétés physico-chimiques du sol ont également été mesurées. A fine échelle, l’organisation spatio-temporelle d’un assemblage a été étudié dans une localité de référence.<p>Résultats: Au total, plus de 50.000 spécimens correspondant à 206 espèces de fourmis ont été collectés avec en moyenne (± SD) 62 ± 10 espèces par localité. Pour un même effort d’échantillonnage, le nombre d’espèces de fourmis récoltées à l’aide des pièges à fosse augmente avec l’aridité et une tendance inverse est observée pour les Winkler. Puisque les Winkler peuvent entraîner une sévère sous-estimation de la diversité des fourmis d’un habitat, seules les données des pièges à fosse sont utilisées pour la suite des analyses. La diversité locale & / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Dans cette thèse, nous nous sommes intéressés aux protocoles pair-à-pair (P2P), qui représentent une solution prometteuse pour la diffusion et le partage de données à faible coût sur Internet. Nous avons mené, dans un premier temps, une étude comportementale de différents protocoles P2P pour le partage de fichier (distribution de contenus sans contrainte de temps) puis le live. Dans la première étude centréesur le partage de fichier, nous avons montré l’impact d’Hadopi sur le comportement des utilisateurs et discuté l’efficacité des protocoles en fonction du contenu et l’efficacité protocolaire, en se basant sur les choix des utilisateurs. BitTorrent s’est nettement démarqué au cours de cette étude, notamment pour les grands contenus. En ce qui concerne le live, nous nous sommes intéressés à la qualité de servicedu réseau de distribution live Sopcast, car plus de 60% des événements live diffusés en P2P le sont sur ce réseau. Notre analyse approfondie de ces deux modes de distribution nous a fait nous recentrer sur BitTorrent, qui est à la base de tous les protocoles P2P Live, et est efficace en partage de fichier et complètement open source. Dans la seconde partie de la thèse, nous avons proposé et implémenté dansun environnement contrôlé un nouveau protocole sur la base de BitTorrent avec des mécanismes protocolaires impliquant tous les pairs dans la gestion du réseau. Ces nouveaux mécanismes permettent d’augmenter l’efficacité du protocole via une meilleure diffusion, tant pour le live que le partage de fichier, de métadonnées (la pièce la plus rare) et via une méthode dite de push, par laquelle un client va envoyer du contenu aux pairs les plus dans le besoin / In this study, we focused on peer-to-peer protocols (P2P), which represent a promising solution for data dissemination and content delivery at low-cost in the Internet. We performed, initially, a behavioral study of various P2P protocols for file sharing (content distribution without time constraint) and live streaming. Concerning file sharing, we have shown the impact of Hadopi on users’ behavior and discussed the effectiveness of protocols according to content type, based on users’ choice. BitTorrent appeared as the most efficient approach during our study, especially when it comes to large content. As for streaming, we studied the quality of service of Sopcast, a live distribution network that accounts for more than 60% of P2P broadcast live events. Our in-depth analysis of these two distributionmodes led us to focus on the BitTorrent protocol because of its proven efficiency in file sharing and the fact that it is open source. In the second part of the thesis, we proposed and implemented a new protocol based on BitTorrent, in a controlled environment. The modifications that we proposed allow to increase the efficiency of the protocol through improved dissemination of metadata (the rarest piece), both for live and file sharing. An enhanced version is introduced with a push method, where nodes that lag behind receive an extra service so as to improve the overall performance

Dans cette thèse, nous nous sommes intéressés à des problèmes d'ordonnancement sous contrainte d'énergie, puisque la réduction de l'énergie est devenue une nécessité, tant sur le plan économique qu'écologique. Dans le premier chapitre, nous exhibons des bornes strictes sur l'énergie d'un algorithme classique qui minimise le temps d'exécution de tâches indépendantes. Dans le second chapitre, nous ordonnançons plusieurs applications chaînées de type « streaming », et nous étudions des problèmes contraignant l'énergie, la période et la latence. Nous effectuons une étude de complexité exhaustive, et décrivons les performances de nouvelles heuristiques. Dans le troisième chapitre, nous étudions le problème de placement de répliques dans un réseau arborescent. Nous nous plaçons dans un cadre dynamique, et nous bornons à minimiser l'énergie. Après une étude de complexité, nous confirmons la qualité de nos heuristiques grâce à un jeu complet de simulations. Dans le quatrième chapitre, nous revenons aux applications « streaming », mais sous forme de graphes série-parallèles, et nous tentons de les placer sur un processeur multi-cœur. La découverte d'un algorithme polynomial sur un problème simple nous permet la conception d'heuristiques sur le problème le plus général dont nous avons établi la NP-complétude. Dans le cinquième chapitre, nous étudions des bornes énergétiques de politiques de routage dans des processeurs multi-cœurs, en comparaison avec le routage classique XY, et développons de nouvheuristiques de routage. Dans le dernier chapitre, nous étudions expérimentalement le placement d'applications sous forme de DAG sur des machines réelles. / In this thesis we have tackled a few scheduling problems under energy constraint, since the energy issue is becoming crucial, for both economical and environmental reasons. In the first chapter, we exhibit tight bounds on the energy metric of a classical algorithm that minimizes the makespan of independent tasks. In the second chapter, we schedule several independent but concurrent pipelined applications and address problems combining multiple criteria, which are period, latency and energy. We perform an exhaustive complexity study and describe the performance of new heuristics. In the third chapter, we study the replica placement problem in a tree network. We try to minimize the energy consumption in a dynamic frame. After a complexity study, we confirm the quality of our heuristics through a complete set of simulations. In the fourth chapter, we come back to streaming applications, but in the form of series-parallel graphs, and try to map them onto a chip multiprocessor. The design of a polynomial algorithm on a simple problem allows us to derive heuristics on the most general problem, whose NP-completeness has been proven. In the fifth chapter, we study energy bounds of different routing policies in chip multiprocessors, compared to the classical XY routing, and develop new routing heuristics. In the last chapter, we compare the performance of different algorithms of the literature that tackle the problem of mapping DAG applications to minimize the energy consumption.