Dissertations / Theses on the topic 'Distributed systemes'
To see the other types of publications on this topic, follow the link: Distributed systemes.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Distributed systemes.'
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
Benkiran, Mohamed Amine. "Communications dans les systemes distribues." Paris 6, 1988. http://www.theses.fr/1988PA066068.
Full text
2
LONC, BEYAERT BRIGITTE. "Techniques formelles de verification des systemes distribues : application aux protocoles de communication des systemes ouverts." Paris, CNAM, 1987. http://www.theses.fr/1987CNAM0089.
Full textAbstract:
Deux types d'approche pour la verification sont appliques: enumeration des etats et execution symbolique. En particulier, une nouvelle methode d'analyse symbolique est developpee: elle est fondee sur le calcul du point fixe d'un operateur associe a la machine abstraite
3
Maviel, Pierre. "Definition de classes d'environnements reseaux pour la simulation d'algorithmes distribues." Paris 6, 1987. http://www.theses.fr/1987PA066519.
Full textAbstract:
Presentation de l'interet apporte a l'algorithmique distribuee, par une homogeneisation des hypotheses sur les proprietes comportementales et structurelles de l'environnement de communication. L'objectif recherche est de permettre, a partir d'un nombre restreint d'hypotheses, la classification d'algorithmes distribues afin de faciliter leurs comparaisons
4
Humeau, Jean-Pierre. "Commande de systemes thermiques." Nantes, 1987. http://www.theses.fr/1987NANT2049.
Full text
5
Koscina, Mirko. "Security and optimization of blockchains and associated algorithms." Electronic Thesis or Diss., Université Paris sciences et lettres, 2021. http://www.theses.fr/2021UPSLE063.
Full textAbstract:
Cette thèse aborde les problèmes de sécurité, de confidentialité et des barrières économiques auxquels fait face la mise en œuvre de la blockchain pour assurer la confidentialité des utilisateurs, la gouvernance des données, l'offuscation des logiciels et développer des modèles de crypto-monnaies pour les économies circulaires. Après avoir introduit la blockchain et la cryptographie moderne, sont présentés trois principaux résultats de recherche : un nouveau protocole de consensus qui préserver la confidentialité des utilisateurs, un nouveau schéma de vote électronique confidentiel utilisant une blockchain permissioned et un protocole d’offuscation de graphiques de flux de contrôle pour la confidentialité des logiciels. Enfin, la troisième partie de la thèse comprend deux résultats de recherche appliquée avec deux prototypes de systèmes blockchain répondant aux problématiques posées par la gouvernance des données et les crypto-monnaies. La première partie de cette thèse décrit un bref historique de la technologie autour de la blockchain et son évolution jusqu'à arriver à sa première implémentation (le Bitcoin). Ensuite, sont introduits les principaux sujets sur la cryptographie moderne utilisés dans cette thèse. La deuxième partie commence par un nouvel algorithme de consensus qui préserve la confidentialité pour la blockchain permissioned. La principale contribution de ce travail est une construction générale de signature aveugle pour la dissociation des transactions intégrée à un consensus basé sur le BFT pour la validation des transactions et des blocs. Le deuxième résultat correspond à un nouveau schéma de vote électronique pour la blockchain permissioned. Ce travail propose un nouveau consensus de préservation de la confidentialité basé sur la signature aveugle d'Okamoto-Schnorr pour la dissociation des transactions et la courbe elliptique pour la confidentialité des votes. Enfin, il est présenté un nouveau mécanisme d'offuscation de graphes de flux de contrôle pour la confidentialité du source code des logiciels (par exemple, pour les contrats intelligents). La troisième partie présente deux implémentations de la blockchain. Le premier est une nouvelle implémentation de la norme de jeton ERC20 et une marketplace sur Hyperledger Fabric pour les économies circulaires supportées par le recyclage du plastique. Le second est un prototype de blockchain pour la gouvernance des données dans l'échange de données de santé selon le RGPD automatisé avec des contrats intelligentsThis thesis addresses the security, privacy, and economic barriers to implementing blockchain for user's privacy, data governance, software obfuscation and cryptocurrencies models for circular economies. The first part of this thesis covers the preliminaries about blockchain and modern cryptography. The second part presents three main results concerning privacy-preserving consensus, privacy in electronic voting with permissioned blockchain, and control-flow graph obfuscation for software confidentiality. Finally, the third part includes two results based on applied research work with two prototypes of blockchain systems for data governance and cryptocurrencies. The first part of this thesis describes a brief history of the technology around blockchain and its evolution until arriving at the first blockchain implementation (Bitcoin). Then, the most relevant topics on Modern Cryptography used in this thesis are introduced. The second part begins with a new privacy-preserving consensus algorithm for permissioned blockchain. The main contribution of this work is a general construction of blind signature for transaction unlinkability integrated to a BFT-based consensus for transactions and blocks validation. The second result corresponds to a new electronic voting scheme for permissioned blockchain. This work proposed a new privacy-preserving consensus based on Okamoto-Schnorr blind signature for transaction unlinkability and elliptic curve for vote privacy. Finally, a new control-flow graph obfuscation mechanism for software confidentially (e.i for smart contracts) is presented. The third part presents two blockchain implementations. The first is a novel implementation of the ERC20 token standard and a Marketplace on Hyperledger Fabric for circular economies based on plastic recycling. The second one is a blockchain prototype for data governance in healthcare data exchange according to GDPR automatised using smart contracts
6
Quichaud, Danièle. "Analyse des reseaux bipolaires pour la coherence et l'evaluation des systemes paralleles." Paris 6, 1988. http://www.theses.fr/1988PA066498.
Full textAbstract:
Presentation d'un modele et description d'un logiciel de reduction des reseaux bipolaires permettant l'etude pratique de la coherence d'un systeme modelise. Evaluation des performances des systemes modelises par des reseaux bipolaires
7
Zenié, Alexandre. "Les reseaux de petri stochastiques colores : application a l'analyse des systemes repartis en temps reel." Paris 6, 1987. http://www.theses.fr/1987PA066672.
Full textAbstract:
Application de la theorie des reseaux de petri stochastiques colores a l'analyse de certains problemes lies aux systemes repartis en temps reel (controle reparti, prevention d'interblocage, bases de donnees reparties, messagerie, interconnexions et acces aux reseaux locaux). Ces applications ont ete possibles grace au developpement d'un logiciel, applicable aux modeles markoviens
8
Omgba, Louis-Bède. "Contribution a l'interconnexion des systemes ouverts : etablissement de communications dans un reseau local heterogene." Paris 6, 1987. http://www.theses.fr/1987PA066134.
Full textAbstract:
Etude des problemes poses par la communication des systemes heterogenes dans un systeme informatique, plus particulierement l'interconnexion d'un reseau local ethernet avec un reseau transpac ou dsa. Pour cela l'interconnexion sera composee de 3 niveaux et un protocole d'adaptation sera defini
9
Gastin, Paul. "Un modele distribue." Paris 7, 1987. http://www.theses.fr/1987PA077072.
Full textAbstract:
Le modele presente s'inspire de la theorie des langages. Son originalite est le refus de representer le parallelisme par intercalage des actions concurrentes. Les idees fortes reprises dans ce travail sont issues des langages csp et estelle. Il s'agit principalement de l'independance totale des processus en dehors des synchronisations, ces dernieres etant des rendez-vous. Un element du modele distribue sera en consequence un vecteur d'histoires (un four chaque processus) et un ensemble de synchronisations
10
Lallier, Martial. "Un environnement d'édition evolué, graphique et syntaxique, pour la conception des systemes repartis." Nancy 1, 1988. http://www.theses.fr/1988NAN10284.
Full textAbstract:
Proposition d' un outil d' assistance à l' utilisateur dans les problèmes d' édition et de contrôle des différents niveaux de descriptions intervenant lors de la conception d' application informatiques réparties
11
Pérez, Cortés Elizabeth. "La cohérence sur mesure dans une mémoire virtuelle répartie partagée." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0173.
Full textAbstract:
La memoire virtuelle repartie partagee (mvrp) etend les notions de memoire partagee et de memoire virtuelle a un ensemble de machines connectees par un reseau. La mvrp permet aux applications reparties de partager des donnees d'une maniere simple. Lorsqu'il existe plusieurs exemplaires d'une meme donnee dans le systeme, il faut garder la coherence entre les copies. Dans la plupart des systemes de mvrp la coherence est geree au niveau de la page machine et le protocole de gestion est fige. Ces caracteristiques limitent l'utilisation du systeme et penalisent souvent les performances des applications qui s'en servent. Nous proposons la mvrp adaptable. Il s'agit d'une mvrp ou il est possible d'adapter la structuration de la memoire et la gestion de la coherence aux besoins des applications. La mvrp adaptable propose un ensemble de protocoles de coherence et permet l'ajout d'autres. Les applications attachent aux unites de partage le protocole de coherence qui leur convient le mieux. Dans le but de faciliter la construction d'un nouveau protocole, nous proposons une architecture a deux niveaux. Le niveau bas, appele couche generique de coherence (cgc), fournit les services de base pour la construction d'un service de coherence. Le niveau haut est compose par les protocoles specifiques (ps). Un ps met en uvre un protocole de coherence sur la cgc. Nous integrons nos propositions dans arias, le prototype du service de gestion de donnees persistantes developpe dans le cadre du projet sirac. Ceci nous a permis la validation de nos propositions selon deux points de vue: le niveau d'adaptabilite reel du systeme construit et son cout
12
Al, Badine Samir. "STMM soumission de travaux en mode messagerie /." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37611499t.
Full text
13
Naimi, Mohamed. "Une structure arborescente pour une classe d'algorithmes distribués d'exclusion mutuelle." Besançon, 1987. http://www.theses.fr/1987BESA2003.
Full textAbstract:
Dans la premiere partie, une presentation des solutions existantes pour les reseaux complets est proposee. La deuxieme partie contient l'idee fondamentale de la these: au lieu de diffuser une demande d'entree en section critique, un site va demander l'autorisation a un seul site. Les chemins d'acces a ce site sont structures en arborescence. La troisieme partie presente un algorithme de reorganisation de l'arborescence en cas de panne d'un site: un algorithme d'exclusion mutuelle, base sur la notion d'arborescence est valable quand le reseau n'est pas complet. La preuve de l'exclusion mutuelle, de l'absence d'interblocage et de la famine est aussi donnee
14
Moise, Izabela. "Des Protocoles d'Accord Efficaces pour des Systèmes Répartis Asynchrones." Phd thesis, Université Rennes 1, 2011. http://tel.archives-ouvertes.fr/tel-00658981.
Full textAbstract:
Le problème du Consensus est reconnu comme un paradigme important pour concevoir des systèmes répartis tolérants aux défaillances. Dans un système asynchrone pure, le consensus est impossible à résoudre de manière déterministe. En enrichissant le système avec des hypothèses de synchronie, plusieurs solutions (dont le protocole Paxos) ont été proposées pour contourner ce résultat d'impossibilité. Ce travail contribue à la conception de protocoles de consensus efficaces dans un système réparti asynchrone. La proposition d'un protocole efficace appelé Paxos-MIC, qui suit l'approche Paxos et intègre deux optimisations connues, est la contribution algorithmique de cette thèse. Paxos-MIC gère une séquence d'instances de consensus et garantie la persistance de toutes les décisions. L'adaptabilité est la principale qualité de ce protocole. Etant donné que l'une des optimisations peut être néfaste, Paxos-MIC intègre un mécanisme de déclenchement qui peut activer dynamiquement l'optimisation. Différents critères de déclenchement sont proposés pour prédire si l'utilisation de l'optimisation va être bénéfique. De nombreuses expérimentations ont été conduites sur la grille GRID'5000 afin d'évaluer le protocole et ces critères. Une seconde partie du travail se focalise sur l'utilisation du consensus comme une brique de base. Dans le contexte particulier des agents mobiles transactionnels, nous proposons une solution pour supporter l'exécution de transactions dans un réseaux ad-hoc. La solution repose sur une séquence de décisions construite de façon durable en invoquant des consensus. Ce service est fourni par le protocole Paxos-MIC.
15
Bruneau-Queyreix, Joachim. "Multi-Criteria Optimization of Content Delivery within the Future Media Internet." Thesis, Bordeaux, 2017. http://www.theses.fr/2017BORD0745/document.
Full textAbstract:
Les solutions de streaming vidéo adaptatives basées sur l’utilisation du protocol HTTP ont été largement plébiscitées dans les mondes de l’industrie et de la recherche, notamment pour les possibilités d’améliorations de qualité d’experience qu’elles offrent ainsi que pour leurs facilités de déploiement liées au protocol HTTP. Pour autant, bien que ces solutions permettent d’augmenter la qualité d’experience utilisateurs en diminuant la qualité de la vidéo transmise sur les réseaux pour minimiser les interruptions vidéo liées au temps de chargement, la qualité intrinsèque de la vidéo est limitée par les capacités physiques du chemin entre le serveur utilisé et le client. Dans l’objectif d’augmenter la qualité d’experience utilisateurs et de diminuer les couts de déploiements des services de streaming, les travaux de cette thèse de doctorat proposent de faire évoluer de façon pragmatique les solutions de streaming adaptatives actuelles vers l’utilisation en simultané de plusieurs sources (serveurs ou pairs). La première contribution de cette thèse présente MS-Stream, une technique évolutive de streaming adaptatif basé sur HTTP et utilisant plusieurs serveurs simultanément. MS-Stream offre la possibilité d’exploiter la bande passante disponible dans les infrastructures distribuées et les réseaux hétérogènes. La deuxieme contribution de ce document est MATHIAS, un groupe d’algorithmes d’adaptation centrés client, implémentés dans MS-Stream, qui a pour vocation d’optimiser l’utilisation des ressources réseau hétérogènes mises à disposition du client pour obtenir une qualité vidéo cible. MATHIAS permet à chaque client de controller le nombre de serveur utilisé en simultané, de faire face à l’hétérogeneité des resources disponibles, de réagir aux fluctuations soudaines et non-anticipées des capacités des serveurs tout en donnant à l’utilisateur une experience de streaming ininterrompu. Pour finir, nous allons plus loin dans les capacités de scalabilité et de qualité d’experience de MS-Stream et MATHIAS en tirant profit des ressources physiques des consommateurs. Nous proposons une solution hybride pair-à-pair/multi-server de streaming adaptative: PMS. Au sein de PMS, les logiques d’adaptation de la qualité vidéo et de la scalabilité sont distribuées pour permettre à chaque client de tendre vers une utilisation optimale de l’infrastructure de streamingSingle-source HTTP Adaptive Streaming solutions (HAS) have become the de-facto solutions to deliver video over the Internet mostly due to their capabilities to increase end-user’s Quality of Experience (QoE) as well as their ease of deployment due to the usage of the HTTP protocol. Although HAS solutions can increase QoE by trading off the delivered video quality to minimize the number of video freezing events, they are limited by the bandwidth available on the considered communication channel between the client and the server. This thesis exposes our contributions in building lightweight pragmatic and evolving solutions advocating for the simultaneous usage of multiple sources with heterogeneous capacities so as to achieve high QoE content delivery at low cost. The first contribution of this work presents a streaming solution extending HAS capabilities to a pragmatic multi-server technique: MS-Stream. MS-Stream provides the means to exploit expanded bandwidth and link diversity in distributed heterogeneous network infrastructures. In our second contribution, we propose MATHIAS, a client-side two-phase consumption and adaptation algorithm implemented into MSStream. MATHIAS aims at increasing the end-user’s perceived streaming quality while utilizing the most of the heterogeneous capacities offered at the service and network environments. Finally, we further extend the QoE and scalability capabilities of MS-Stream and MATHIAS by leveraging on clients’ connectivity capacities and we expose our third contribution: a hybrid P2P/Multi-server live-Streaming system (PMS) incorporating distributed quality and scalability adaptation mechanisms
16
Bahsoun, Jean-Paul. "Expression de la synchronisation dans un module contrôlé par priorité : implantation et méthode de preuve." Toulouse 3, 1988. http://www.theses.fr/1988TOU30126.
Full textAbstract:
Le module controle par priorite (mcp) est un constructeur de type abstrait, avec un controleur local appele synchroniseur. Sa definition repose sur l'idee de base qu'il existe deux sortes de controles a effectuer pour acceder a un objet partage: les controles lies a l'etat intrinseque de l'objet et ceux provenant d'une politique d'utilisation de l'objet ou d'ordonnancement; ces deux types de controles sont separes dans le mcp
17
Haddad, Serge. "Une categorie reguliere de reseau de petri de haut niveau : definition, proprietes et reductions, application a la validation de systemes distribues." Paris 6, 1987. http://www.theses.fr/1987PA066418.
Full textAbstract:
Developpement d'une theorie des reseaux reguliers (qui permettent l'analyse directe des reseaux colores), fondee sur trois outils complementaires: la construction d'un graphe de marquages symboliques, le calcul des invariants lineaires et la definition de l'ensemble des reductions
18
Han, Jay. "Conception et réalisation d'une mémoire partagée répartie." Phd thesis, Grenoble INPG, 1996. http://www.theses.fr/1996INPG0165.
Full textAbstract:
Arias est un système de mémoire partagée répartie (MPR) réalisé dans le cadre du projet SIRAC, qui étudie les supports logiciels pour les applications distribuées. Une MPR facilite grandement la programmation de telles applications. Nous retraçons l'évolution des systèmes distributés qui ont abouti à cette idée, et caractérisons les diverses particularités de quelques projets antérieurs. Nous édictons nos objectifs propres et dégageons les spécifications qui sont souhaitables pour notre projet. Partant de là, et après avoir esquissé l'architecture générale d'Arias, nous nous concentrons sur les problèmes liés à la répartition de la mémoire. En particulier, l'allocation et la localisation de la mémoire dans une MPR à grand espace d'adresses posent des difficultés de réalisation qui ont des conséquences importantes dans la conception de l'interface logicielle avec l'application et le système d'exploitation sous-jacent. L'analyse de ces difficultés nous mène au module d'allocation et de localisation que nous décrivons. Une fois son implémentation décrite dans ses détails techniques, nous en explicitons les paramètres d'ajustement et soulignons leur impact à travers des mesures et des simulations. Nous montrons plusieurs configurations envisageables, dont certaines sont spécialement adaptées à certains types d'utilisation. Pour finir, nous concluons sur les leçons apprises de ce travail, tant du point de vue de ce qui a été réalisé que sur les travaux futurs et les perspectives générales des MPRArias is a distributed shared memory (DSM) system designed as part of project SIRAC, whose purpose is to study a software support for distributed applications. Programming distributed applications is greatly facilitated by a DSM support. The evolution of distributed systems leading to the idea of DSM is outlined. A number of past and current DSM projects are studied and their particular features highlighted. The goals of our own project are then put into perspective, and its spefication defined. From there, the general architecture of Arias is described. We focus our attention on the problems related to the distribution of memory. Specifically, allocating and locating memory in a large-address space DSM presents some major difficulties that impact the application interface and the utilization of the underlying operating system. The close examination of those problems leads to the design of the memory service that is described. The implementation of that service is then fleshed out in its technical details. This implementation has a number of adjustable parameters whose impact on the general behaviour is refined through measurements and simulations. Some potential configurations, each adapted to certain usage patterns, are shown. In conclusion, we revisit lessons learned from this work. From what has been completed, we derive a view of future study topics and general perspectives on DSM
19
Rahgozar, Maseud. "Controle de concurrence par gestion des evenements." Paris 6, 1987. http://www.theses.fr/1987PA066594.
Full textAbstract:
Presentation d'une nouvelle approche de l'utilisation de connaissances semantiques sur les transactions et les donnees, dans un systeme de base de donnees reparties pour optimiser l'execution des transactions et pour simplifier certains des problemes lies a la distribution des donnees et a la concurrence entre transactions
20
Gavoille, Cyril. "Complexité mémoire du routage dans les réseaux distribués." Lyon, École normale supérieure (sciences), 1996. http://www.theses.fr/1996ENSL0015.
Full textAbstract:
Au plus bas niveau des communications, le routage consiste a decider localement de la route des messages transitant par les nuds intermediaires d'un reseau distribue de processeurs dans un ordinateur parallele, ou, plus generalement, dans un reseau distribue d'ordinateurs. Nous etudions les caracteristiques locales du routeur (coprocesseur effectuant le routage) par rapport a la globalite du reseau communiquant. Precisemment, nous mesurons la quantite minimale d'information necessaire par chacun des routeurs pour assurer des communications rapides sur n'importe quel type de reseau
21
Chen, Min. "Excitation optimale d'un systeme parabolique en vue de son identification." Nantes, 1987. http://www.theses.fr/1987NANT2050.
Full textAbstract:
Le systeme considere est de type parabolique non lineaire. On montre l'existence et l'unicite de la solution du systeme et on le resoud numeriquement. On utilise les methodes d'optimisation du gradient conjugue et de gauss-newton pour l'identification des parametres avec l'excitation du systeme donnee puis on determine l'excitation optimale pour l'estimation des parametres dans le cas ou les parametres sont fonction de l'etat
22
Vat, Nicholas. "Geographically distributed requirements elicitation." Thesis, Rhodes University, 2000. http://hdl.handle.net/10962/d1002764.
Full textAbstract:
The technology revolution has transformed the way in which many organisations do their business. The resultant information systems have increased the decision making powers of executives, leading to increased effectiveness and ultimately to improved product delivery. The process of information systems development is, however, complex. Furthermore, it has a poor track record in terms of on-time and within-budget delivery, but more significantly in terms of low user acceptance frequently attributable to poor user requirements specification. Consequently, much attention has been given to the process of requirements elicitation, with both researchers and businessmen seeking new, innovative and effective methods. These methods usually involve large numbers of participants who are drawn from within the client and developer organisations. This is a financially costly characteristic of the requirements elicitation process. Besides information systems, the technology revolution has also brought sophisticated communication technologies into the marketplace. These communication technologies allow people to communicate with one another in a variety of different time and space scenarios. An important spin-off of this is the ability for people located in significantly different geographical locations to work collaboratively on a project. It is claimed that this approach to work has significant cost and productivity advantages. This study draws the requirements elicitation process into the realm of collaborative work. Important project management, communication, and collaborative working principles are examined in detail, and a model is developed which represents these issues as they pertain to the requirements elicitation process. An empirical study (conducted in South Africa) is performed in order to examine the principles of the model and the relationships between its constituent elements. A model of geographically distributed requirements elicitation (GDRE) is developed on the basis of the findings of this investigation. The model of GDRE is presented as a 3-phased approach to requirements elicitation, namely planning, implementation, and termination. Significantly, the model suggests the use of interviews, structured workshops, and prototyping as the chief requirements elicitation methods to be adopted in appropriate conditions. Although a detailed study of communications technology was not performed, this thesis suggests that each individual GDRE implementation requires a different mix of communication technologies to support its implementation.
23
Costache, Stefania. "Gestion autonome des ressources et des applications dans un nuage informatique selon une approche fondée sur un marché." Phd thesis, Université Rennes 1, 2013. http://tel.archives-ouvertes.fr/tel-00925352.
Full textAbstract:
Les organisations qui possèdent des infrastructures de calcul à haute performance (HPC) font souvent face à certaines difficultés dans la gestion de leurs ressources. En particulier, ces difficultés peuvent provenir du fait que des applications de différents types doivent pouvoir accéder concurremment aux ressources tandis que les utilisateurs peuvent avoir des objectifs de performance (SLOs) variés. Pour atteindre ces difficultés, cette thèse propose un cadre générique et extensible pour la gestion autonome des applications et l'allocation dynamique des ressources. L'allocation des ressources et l'exécution des applications est régie par une économie de marché observant au mieux des objectifs de niveau de service (SLO) tout en tirant avantage de la flexibilité d'une nuage informatique et en maximisant l'utilisation de des ressources. Le marché fixe dynamiquement un prix aux ressources, ce qui, combiné avec une politique de distribution de monnaie entre les utilisateurs, en garantit une utilisation équitable. Simultanément, des contrôleurs autonomes mettent en oeuvre des politiques d'adaptation pour faire évoluer la demande en ressource de leur application en accord avec la SLO requise par l'utilisateur. Les politiques d'adaptation peuvent : (i) adapter dynamiquement leur demande en terme de CPU et de mémoire demandés en période de contention de ressource aux machines virtuelles (ii) et changer dynamiquement le nombre de machines virtuelle. Nous avons évalué cette plateforme au moyen de la simulation et sur l'infrastructure Grid'5000. Nos résultats ont montré que cette solution: (i) offre un support plus flexible aux applications de type différent demandant divers niveaux de service; (ii) conduit à une bonne satisfaction des utilisateurs moyennant une dégradation acceptable des performances comparées aux solutions centralisées existantes.
24
MONZIN, JEAN-FRANCOIS. "Programmation en logique et compilation de protocoles : le simulateur veda." Rennes 1, 1988. http://www.theses.fr/1988REN10106.
Full textAbstract:
Veda est un simulateur-validateur d'algorithmes distribues. L'environnement choisi pour implanter veda est prolog et les deux sujets concernes sont: l'execution et plus exactement la simulation d'estelle, langage de description d'algorithmes distribues; l'usage de prolog en compilation
25
Perez, Hector Benitez. "Smart distributed systems." Thesis, University of Sheffield, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.310944.
Full text
26
Shanneb, Abdelsalam Carleton University Dissertation Computer Science. "Distributed systems prototyping." Ottawa, 1994.
Find full text
27
El, Chamie Mahmoud. "Optimisation, contrôle et théorie des jeux dans les protocoles de consensus." Thesis, Nice, 2014. http://www.theses.fr/2014NICE4094/document.
Full textAbstract:
Les protocoles de consensus ont gagné beaucoup d’intérêt ces dernières années. Dans cette thèse, nous étudions les problèmes d’optimisation, de contrôle, et de théorie de jeu qui se posent dans ces protocoles. Tout d’abord, nous étudions les techniques d’optimisation pour des problèmes de sélection de poids permettant ainsi d’augmenter la vitesse de convergence de protocoles de consensus dans les réseaux. Nous proposons de sélectionner les poids en appliquant un algorithme d’approximation: minimisation de la norme p de Schatten de la matrice de poids. Nous caractérisons l’erreur induite par cette approximation et nous montrons que l’algorithme proposé a l’avantage qu’il peut être soit résolu de façon distribuée. Ensuite, nous proposons un cadre conceptuel d’analyse des jeux d’adversaire qui peut ajouter du bruit aux poids utilisés par l’algorithme de consensus de moyenne afin d’éloigner le système de consensus. Nous analysons également la performance des algorithmes de consensus de moyenne où les informations échangées entre les agents voisins sont soumises à la quantification uniforme déterministe (les valeurs réelles envoyées par les nœuds de leurs voisins sont tronquées). Le problème de la terminaison des protocoles de consensus s’avère difficile dans le cadre distribué. Nous proposons un algorithme distribué pour la terminaison des protocoles de consensus. L’algorithme réduit la charge de communication tout en garantissant la convergence vers un consensus. Enfin, nous proposons une mesure de similarité qui évalue la qualité d’un regroupement (clustering) des nœuds dans un réseau. Un algorithme local de clustering basé sur cette métrique est donnéConsensus protocols have gained a lot of interest in the recent years. In this thesis, we study optimization, control, and game theoretical problems arising in consensus protocols. First, we study optimization techniques for weight selection problems to increase the speed of convergence of discrete-time consensus protocols on networks. We propose to select the weights by applying an approximation algorithm: minimizing the Schatten p-norm of the weight matrix. We characterize the approximation error and we show that the proposed algorithm has the advantage that it can be solved in a totally distributed way. Then we propose a game theoretical framework for an adversary that can add noise to the weights used by averaging protocols to drive the system away from consensus. We give the optimal strategies for the game players (the adversary and the network designer) and we show that a saddle-point equilibrium exists in mixed strategies. We also analyze the performance of distributed averaging algorithms where the information exchanged between neighboring agents is subject to deterministic uniform quantization (e.g., when real values sent by nodes to their neighbors are truncated). Consensus algorithms require that nodes exchange messages persistently to reach asymptotically consensus. We propose a distributed algorithm that reduces the communication overhead while still guaranteeing convergence to consensus. Finally, we propose a score metric that evaluates the quality of clusters such that the faster the random walk mixes in the cluster and the slower it escapes, the higher is the score. A local clustering algorithm based on this metric is proposed
28
Trentesaux, Damien. "Conception d'un système de pilotage distribué, supervisé et multicritère pour les systèmes automatisés de production." Phd thesis, Grenoble INPG, 1996. http://www.theses.fr/1996INPG0030.
Full textAbstract:
Le cadre de travail dans lequel s'inscrit cette thèse porte sur le développement d'une structure de pilotage prenant en compte simultanément les contraintes prévisionnelles et les contraintes réelles du système de production. Ces premières s'expriment en terme d'objectifs globaux et les secondes en terme de réactivité et de flexibilité. Plusieurs études ont montré les possibilités offertes par la structure distribuée pour absorber les fonctionnements dégradés. L'objectif de ce mémoire est d'étendre et de compléter la structure de pilotage de Tchako afin: , de permettre la prise en compte de la notion d'objectif global, , d'accroître la capacité intrinsèque de réactivité de l'approche distribuée. Nous montrons d'une part que l'intégration de la notion d'objectif global peut être obtenue par l'adjonction d'un niveau de supervision au modèle de Tchako. D'autre part, afin de conserver un niveau de réactivité satisfaisant, nous montrons qu'un compromis efficace entre les besoins en termes de réactivité et de gestion prévisionnelle (objectifs globaux) consiste à ordonnancer une partie des opérations à réaliser (ordonnancement partiel). Nous élaborons une liste des différentes approches possibles concernant les opérations (ou les ressources de production) à ordonnancer, et justifions une approche par ordonnancement partiel d'une ressource critique. Nous désignons la structure de pilotage correspondante sous le terme de pilotage hybride. L'accroissement de la capacité intrinsèque de réactivité résulte de la conception et du développement d'une structure de communication décomposée en deux niveaux, intégrant chacun une gestion de la robustesse. Ce point constitue une conceptualisation et une extension de la structure de communication de Tchako. Un autre point porte sur le développement d'un module de gestion de contraintes dynamiques portant sur le processus de fabrication. Par ailleurs, l'étude des processus de décision dans un cadre de pilotage temps-réel et distribué montre que les décisions sont de nature multicritère. L'étude de faisabilité que nous présentons a porté sur l'intégration d'une approche multicritère au niveau des processus décisionnels, prenant en compte les contraintes imposées au niveau du pilotage hybride. Elle a mis en évidence le faible niveau de structuration des processus décisionnels et conduit à analyser les possibilités d'intégration de l'opérateur humain via un système interactif d'aide multicritère à la décisionA distributed production activity control system has been developed to solve several problems inherent in the inflexibility of classic centralized production activity control systems. The distributed approach implies local decision makings and real time control for task allocations. This forbids correct forecast on critical information such as time cycle for each manufacturing order, meaning a miss of viability for industrial application. The aim of our work is to provide a structure which takes advantage of both extrema and which is able to support just-in-time concepts: the hybrid production activity control structure. The hybrid approach uses the notion of bottleneck and non bottleneck resources and is based on the distributed control structure developed in the laboratory. The bottleneck is the only resource scheduled. It forces the synchronicity of the whole production structure because of its characteristics. This paper evaluates the relative performances of the three control structures (centralized, distributed and hybrid) through theoretical discussions and practical examples from a simplified industrial case study
29
Bennett, John K. "Distributed Smalltalk : inheritance and reactiveness in distributed systems /." Thesis, Connect to this title online; UW restricted, 1988. http://hdl.handle.net/1773/6923.
Full text
30
Rafiliu, Sergiu. "Stability of Adaptive Distributed Real-TimeSystems with Dynamic Resource Management." Doctoral thesis, Linköpings universitet, Programvara och system, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-98721.
Full textAbstract:
Today's embedded distributed real-time systems, are exposed to large variations in resource usage due to complex software applications, sophisticated hardware platforms, and the impact of their run-time environment. As eciency becomes more important, the applications running on these systems are extended with on-line resource managers whose job is to adapt the system in the face of such variations. Distributed systems are often heterogeneous, meaning that the hardware platform consists of computing nodes with dierent performance, operating systems, and scheduling policies, linked through one or more networks using dierent protocols. In this thesis we explore whether resource managers used in such distributed embedded systems are stable, meaning that the system's resource usage is controlled under all possible run-time scenarios. Stability implies a bounded worst-case behavior of the system and can be linked with classic real-time systems' properties such as bounded response times for the software applications. In the case of distributed systems, the stability problem is particularly hard because software applications distributed over the dierent resources generate complex, cyclic dependencies between the resources, that need to be taken into account. In this thesis we develop a detailed mathematical model of an adaptive, distributed real-time system and we derive conditions that, if satised, guarantee its stability.
31
Werner, Matthias. "Verteilte Mobilität - Eine spannende Herausforderung." Universitätsbibliothek Chemnitz, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-78213.
Full textAbstract:
Cyber-physikalische Systeme (CPS) sind eine erweitere Sicht auf eingebettete Systeme, die die konkreten umgebenden Elemente in das Systemdesign einbeziehen. Das Design solcher Systeme erfordert neue Herangehensweisen: Während beispielsweise in "normalen" verteilten Systemen Aspekte wie "Bewegung" oder "Ort" möglichst transparent und damit für den Nutzer unsichtbar gestaltet werden, benötigen CPS-Anwendungen häufig Bewusstsein für Bewegung oder Ort, d.h., sie sind _motion aware_ oder _location aware_.
Die Professur "Betriebssysteme" der TUC hat sich die Frage gestellt, wie eine generische Unterstützung für solche verteilte mobile Systeme aussehen könnte. Im Vortrag werden Probleme, Konzepte und erste Lösungsansätze für ein künftiges Betriebssystem für diese Art von Systemen vorgestellt.
32
Dixon, Eric Richard. "Developing distributed applications with distributed heterogenous databases." Thesis, Virginia Tech, 1993. http://hdl.handle.net/10919/42748.
Full text
33
Conroy, Tracy Michael Buxton Winslow Hurlburt. "Secure distributed file systems /." Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1994. http://handle.dtic.mil/100.2/ADA285525.
Full textAbstract:
Thesis (M.S. in Information Technology Management) Naval Postgraduate School, September 1994.Thesis advisor(s): Roger Stemp, Kishore Sengupta. "September 1994." Bibliography: p. 106-108. Also available online.
34
Satzger, Benjamin. "Self-healing distributed systems." kostenfrei kostenfrei, 2008. http://d-nb.info/993914381/34.
Full text
35
Zhou, Wanlei, and mikewood@deakin edu au. "Building reliable distributed systems." Deakin University. School of Computing and Mathematics, 2001. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20051017.160921.
Full text
36
Mansouri-Samani, Masoud. "Monitoring of distributed systems." Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362441.
Full text
37
Alkarouri, Muhammad Abdulmuneim. "Distributed decision support systems." Thesis, University of Sheffield, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555644.
Full textAbstract:
Decision support systems are a class of computer based systems that assist in some or all levels of decision making within an organisation. Recently, the growth of data captured that is useful or even critical to the successful running or conclusion of projects in science and industry has been remarkable. Thus, the development of decision support systems that are scalable in terms of the size of data processed. the number of stakeholders, and their geographical span has become of the essence. This thesis identifies the issues in developing distributed decision support systems. Building on that. an architectural style for the development of scalable and extensible software systems is introduced. Subsequently, a framework for the design of distributed decision support systems is developed. This new architectural style is the Resource Oriented Services Architecture (ROSA). It builds on Representational State Transfer (REST), an architectural style that describes the venerable design of the world wide web. An architectural design based on REST revolves around resources, representations, and hyperlinks. \Vhat it lacks is a standardised way to represent computations as resources in a scalable and extensible manner. For systems that cannot be adequately described as a web of documents, this is a shortcoming. ROSA overcomes this by defining a means of representing executable resources in a manner that is consistent with the statelessness and cacheability constraints of REST. The resulting architecture enables the scalability of the system. Additionally, desirable features such as dynamic discovery of resources and extensibility and loose coupling are attained. To illustrate this framework, two new learning algorithms are introduced and implemented as services. The first is a data structure suitable for proximity queries over large datasets of low intrinsic dimension. The other uses a random projection to carry out novelty detection over high dimensional datasets.
38
Beacham, Nigel Adrian. "Distributed performance support systems." Thesis, Teesside University, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.410848.
Full textAbstract:
The focus of this thesis is on electronic performance support and, in particular, systems which enable performance support facilities to be distributed across networks. A review of the literature was undertaken, followed by a discussion of the rationale for using a distributed performance support system (DPSS) and an evaluation of a number of tools and facilities which can be used during the development and implementation of this type of system. This analysis enabled a model of a distributed performance support system to be developed which illustrates the potential relationships between the embedded support tools and components. Two different types of distributed performance support system are then given. These reflect a number of different architectures such a system can take within academic institutions in order to facilitate teaching and learning. Based upon one of these types of DPSS, an important part of the work described in this thesis has been an investigation into the use of computer-based learning facilities and how these facilities can be effectively used by integrating them within a DPSS. The investigation centred on the use of the BYZANTIUM marginal costing package: a computer-based learning package used within the School of Business and Management, at the University of Teesside, to teach undergraduates the accounting technique of marginal costing. In order to investigate the potential and impact of embedding the marginal costing package within a distributed performance support system within the context of an academic institution, a number of experimental case studies were implemented and evaluated within the School of Business and Management, at the University of Teesside. Each of these case studies relates to the theme of `learning support environments'. The case studies have served to establish a set of principles and guidelines for the creation of distributed performance support systems within an academic setting. In the final part of this thesis the results of the evaluation studies are presented and discussed. This is followed by some concluding remarks and some suggestions for future work.
39
Conroy, Tracy Michael, and Winslow Hurlburt Buxton. "Secure distributed file systems." Thesis, Monterey, California. Naval Postgraduate School, 1994. http://hdl.handle.net/10945/30928.
Full textAbstract:
Secure information distribution is a strategic capability as significant as weapons systems and tactics to military operations. The Department of Defense has recognized the importance of establishing and maintaining secure distributed file systems and explores the practicality and applicability of one such system, Trusted Ficus File System (TRUFFLES), in the DoD infrastructure. Integrated into this research are discussions of Privacy Enhanced Mail (PEM), which is currently an integral part of the TRUFFLES implementation. This thesis concludes with a discussion of the actual installation of a PEM reference implementation, and future requirements for the TRUFFLES installation at the Naval Postgraduate School.
40
Fadel, Etimad A. "Distributed systems management service." Thesis, De Montfort University, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.438881.
Full text
41
Md, Mizanur Rahman. "Scanline-based distributed systems." Thesis, London South Bank University, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.570875.
Full textAbstract:
High-performance computer graphics is becoming more demanding due to the increasing use of large 3D scenes. The visibility determination is one of the fundamental computational problems in computer graphics. In the past couple of decades many researchers developed a variety of visibility determination algorithms such as visibility scanline algorithms, distributed ray tracing and output sensitive visibility algorithms to determine the hidden parts of a complex 3D scene. If hidden surface determination can be solved in a cost-effective way, the overall system performance will be improved dramatically. If not, it may become a bottleneck in terms of performance. One of the main aims of this dissertation is to give a solution to the rendering problem using a scanline-based distributed system to increase rendering power. The features of this system are to use the processing power of idle processors over the network to balance workload and reduce communication overhead. The system does not use any extra resources (memory or graphics processing unit (GPU) chips) to handle large data sets. Using a network of workstations, the proposed system could be more powerful than a GPU and binary swap compositing for high-performance graphics. Visibility computation, clipping and transformation are the basic functions required for rendering a static scene. The visibility computations exhibit a quadratic growth rate. If the number of objects or depth of the scene increases, the computational requirement can easily exceed to the performance of a single processor. Polygon clipping has a growth rate of N log N in the worst case where N is the total number of edges in the scene. The time requirement for transformations grows linearly with the input size. This dissertation presents the requirement of real-time rendering of 3D scenes and a few approaches, including parallel techniques, to speed up the rendering process. All existing visibility scanline algorithms – including the new one proposed within this thesis – are presented and discussed with respect to their potential for use in the context of distributed systems for the visualisation of large data sets. The proposed scanline algorithm has many advantages, including: using real values obtained by the intersection of a 3D scene with the plane of the scanline as input; and running time that does not depend on the resolution over the Z-tree scanline algorithm. Z-tree, Warnock, Priority Queue and proposed algorithm have been implemented in C/C++ and Java program to show how they compute visibility in a 2D scene. Design issues of all scanline algorithms and tuning cache parameters (without knowing them) to minimise cache misses and data movement among multiple levels of caches have been presented in the light of cache-oblivious algorithms. The cache-oblivious scanline algorithms have been optimised for use within a distributed system. The system performance can be increased by the careful consideration of locality of cache reference, instruction-level parallelism, branch prediction and memory hierarchies found in modern computers. A new scanline-based approach for the distribution of workload among several servers and gathering processed data for the visualisation of large data sets is proposed in this thesis. Based on this approach, a prototype scanline-based distributed system has been developed and tested over three servers giving input of line segments from 100 to 3,000 over 500 × 500 and 3,000 × 3,000 pixels visualisation area; and is demonstrated with its system operation and compression techniques in order to handle large data sets. While considering the efficiency of the algorithms asymptotic analysis is often used. However, asymptotic analysis cannot take into consideration the constant factors that could be different in different environments. Therefore, the author developed a portable test bed for the comparative evaluation of the actual performance of the algorithms for the application of geometric algorithms (line-clipping and few scanline algorithms). For this thesis, experimental evaluation of geometric algorithms is important to design, implement and test from different perspectives and then choose the best one for high-performance computer graphics system. Through experimental evaluation of line-clipping algorithm, the author found that clock cycle counting is more accurate than using elapsed-time functions provided by system software. The author also implemented, measured and evaluated running time of Z-tree, Warnock, Priority Queue and new Sorting and Ranking (SR) scanline algorithms for 1 to 5,000 line segments with 500 × 500 pixels, for 1 to 25,000 line segments with 3,000 × 3,000 pixels and for 1 to 250,000 line segments with 100,000 × 100,000 pixels visualisation area. An evaluation technique based on best sustained performance is proposed in the thesis as well. To conclude, this thesis presents new tools and techniques, including a scanline-based distributed systemand its operation for the visualisation of very large data sets without any additional cost.
42
BOLDRIN, FABIO. "Web Distributed Computing Systems." Doctoral thesis, Università degli studi di Ferrara, 2011. http://hdl.handle.net/11392/2388764.
Full textAbstract:
The thesis presents the PhD study about a new approach in distributed computing based on the exploitation of web browsers as clents, using technologies and best practices of Javascript, AJAX and Flex. The described solution has two main advantages: it is client free, so no additional programs have to be installed to perform the computation, and it requires low CPU usage, so clientside computation is no invasive for users. The solution is developed with both AJAX and Adobe® Flex® technologies embedding a pseudoclient into a web page that hosts the computation in the form of a banner. While users browse the hosting web page, client side of the system query the server side part for a subproblem, called crunch, computes the solution(s) and sends back it to the server. All the process is always transparent for the users navigation experience and computer use in general. The thesis shows the feasibility of the system and the good performances that can be achieved, with details over tests and metrics that have been defined to measure the performance indexes. The new architecture has been tested through this performance metrics by implementing two examples of distributed computing, the cracking of the RSA cryptosystem through the factorization of the public key and the Pearson's correlation index between smples in genetic data sets. Results have shown good feasibility of this approach both in a closed environment and also in an Internet environment, in a typical real situation. A mathematical model has been developed over this solution. The main goals of the model are to describe and classify different categories of problems on the basis of the feasibility and o find the limits in the dimensioning of the scheduling systems to have convenience in the use of this approach.
43
Thomas, Alex S. M. Massachusetts Institute of Technology. "An analysis of distributed solar fuel systems." Thesis, Massachusetts Institute of Technology, 2012. http://hdl.handle.net/1721.1/76511.
Full textAbstract:
Thesis (S.M. in Engineering and Management)--Massachusetts Institute of Technology, Engineering Systems Division, System Design and Management Program, 2012.Cataloged from PDF version of thesis.
Includes bibliographical references (p. 85-89).
While solar fuel systems offer tremendous potential to address global clean energy needs, most existing analyses have focused on the feasibility of large centralized systems and applications. Not much research exists on the feasibility of distributed solar fuel systems. This thesis is an attempt to understand the larger context of solar fuel systems, to examine the case for going distributed and to critically analyze a distributed solar fuel system available today in the context of a specific application. In doing so, this thesis seeks to a) provide a baseline analysis for the economic feasibility of a distributed solar fuel system based on state-of-the-art technology b) draw some general conclusions about the nature of such systems in order to provide guidance to those engaged in the development of the next generation of solar fuel systems. This study also compares the chosen baseline solar fuel system with a traditional fossil fuel-based alternative and undertakes a cost-to-emissions trade-off analysis. A key finding of this thesis is that for solar fuel systems to be viable, cost and efficiency improvements in individual sub-systems won't be sufficient. Due attention needs to be given to bring down cost of the entire system. Another key finding is that if carbon emissions are considered as a decision-making criterion in addition to cost, even at current cost levels photovoltaic hydrogen systems compare favorably with existing fossil fuel-based alternatives such as diesel generators.
by Alex Thomas.
S.M.in Engineering and Management
44
Meth, Halli Elaine. "DecaFS: A Modular Distributed File System to Facilitate Distributed Systems Education." DigitalCommons@CalPoly, 2014. https://digitalcommons.calpoly.edu/theses/1206.
Full textAbstract:
Data quantity, speed requirements, reliability constraints, and other factors encourage industry developers to build distributed systems and use distributed services. Software engineers are therefore exposed to distributed systems and services daily in the workplace. However, distributed computing is hard to teach in Computer Science courses due to the complexity distribution brings to all problem spaces. This presents a gap in education where students may not fully understand the challenges introduced with distributed systems. Teaching students distributed concepts would help better prepare them for industry development work.
DecaFS, Distributed Educational Component Adaptable File System, is a modular distributed file system designed for educational use. The goal of the system is to teach distributed computing concepts to undergraduate and graduate level students by allowing them to develop small, digestible portions of the system. The system is broken up into layers, and each layer is broken up into modules so that students can build or modify different components in small, assignment- sized portions. Students can replace modules or entire layers by following the DecaFS APIs and recompiling the system. This allows the behavior of the DFS (Distributed File System) to change based on student implementation, while providing base functionality for students to work from.
Our implementation includes a code base of core DecaFS Modules that students can work from and basic implementations of non-core DecaFS Modules. Our basic non-core modules can be modified to implement more complex distribution techniques without modifying core modules. We have shown the feasibility of developing a modular DFS, while adhering to requirements such as configurable sizes (file, stripe, chunk) and support of multiple data replication strategies.
45
Stottlemyer, Alan R., and Kevin M. Hassett. "Open Systems Architecture in a COTS environment." International Foundation for Telemetering, 1996. http://hdl.handle.net/10150/608368.
Full textAbstract:
International Telemetering Conference Proceedings / October 28-31, 1996 / Town and Country Hotel and Convention Center, San Diego, CaliforniaA distributed architecture framework has been developed for NASA at Goddard Space Flight Center (GSFC) as the basis for developing an extended series of space mission support data systems. The architecture is designed to include both mission development and operations. It specifically addresses the problems of standardizing a framework for which commercial off-the-shelf (COTS) applications and infrastructure are expected to provide most of the components of the systems. The resulting distributed architecture is developed based on a combination of a layered architecture, and carefully selected open standards. The layering provides the needed flexibility in mission design to support the wide variability of mission requirements. The standards are selected to address the most important interfaces, while not over constraining the implementation options.
46
Wong, Wing-ki Vicky. "An immunity-based distributed multiagent control framework." Click to view the E-thesis via HKUTO, 2006. http://sunzi.lib.hku.hk/hkuto/record/B37314348.
Full text
47
MENAUD, JEAN-MARC. "Systeme de caches cooperatifs pour les systemes d'informations distribuees a grande echelle." Rennes 1, 2000. http://www.theses.fr/2000REN10005.
Full textAbstract:
Depuis ces dernieres annees, l'emergence de nouvelles technologies a fait naitre une nouvelle classe de services nommee service en-ligne. La particularite de ces services est d'interagir avec leurs clients et de diffuser de l'information au travers d'un medium de communication informatique partage. L'ensemble forme par les services en-ligne, les reseaux de communication et les utilisateurs, forme un systeme d'information. Ce systeme est dit distribue et a grande echelle (ladis pour large scale distributed information system), lorsque le nombre de services et d'informations mis a disposition, n'est plus apprehendable. L'exemple le plus connu de ladis est le world wide web. Malheureusement, ces systemes d'informations sont victimes de leurs succes, si bien qu'ils n'offrent de nos jours que de pietres temps de reponse. Nous nous interessons dans ce document a l'amelioration du temps de reponse dans les ladis. Nous montrons, apres etude, que cet objectif peut etre atteint en utilisant une methode de distribution et replication dynamique d'informations (appelee mise en cache) au niveau du reseau informatique. Un cache reseau permet de sauvegarder dans un espace local un ensemble d'informations accedees par ses utilisateurs proches. En interceptant les requetes des utilisateurs et en fournissant l'information recherchee, si cette derniere est presente dans l'espace local, le cache reseau permet de diminuer le temps de reponse aux informations, de reduire l'utilisation du reseau, et de soulager la charge du service en-ligne. Malheureusement, les caches reseaux ne possedent qu'une faible efficacite. Pour pallier ce probleme, nos propositions consistent a augmenter virtuellement la taille, a affiner la politique de remplacement d'objets et a augmenter virtuellement le nombre de clients d'un cache reseau. La premiere solution, nommee lru-qos, reside en la degradation des informations, sauvegardees localement, les moins accedees, car, en reduisant leurs tailles, le comportement fonctionnel d'un cache degrade avoisine celui d'un de plus grande capacite. La seconde proposition, nommee lru-hot, consiste a affiner la politique de remplacement d'objets d'un cache en determinant les informations possedant un fort potentiel de re-acces, par integration des frequences d'acces de ces dernieres, delivrees par le service en-ligne les maintenant. Finalement, nous augmentons le nombre de clients en realisant une cooperation entre differents caches reseaux du systeme d'informations. De ce fait, nous augmentons le nombre de profils utilisateurs, donc les probabilites de profils communs. Le point difficile fut de definir un protocole de cooperation extensible, nomme scoops, car le benefice de l'approche ne se fait sentir que pour un tres grand nombre de caches. La solution regroupant l'ensemble de nos propositions, nommee scoops++, permet, en comparaison a un systeme classique, de diminuer, au niveau des utilisateurs, le temps de reponse de pres de 30%.
48
Padiou, Gérard. "Contribution à l'étude de la notion d'objet réparti dans les langages et systèmes opératoires." Toulouse 3, 1987. http://www.theses.fr/1987TOU30205.
Full textAbstract:
Etude bibliographique precisant le concept d'objet et sa suite en oeuvre dans les langages et systemes operatoires. Definition de la notion d'objet dans le complexe particulier du modele de systeme reparti propose. Les mecanismes inclus dans ce modele reposent sur la notion de taches migrantes et de familles de taches. Les protocoles de migration de taches sont decrits en terme de reseaux logiques. Une forme linguistique est decrite et utilisee sur des exemples d'algorithmes repartis. Enfin, le phenomene de migration des taches et la validation des programmes decrits sont formalises a l'aide de la logique temporelle
49
Duboux, Thibault. "Régulation dynamique du partitionnement de données sur machines parallèles à mémoire distribuée." Lyon, École normale supérieure (sciences), 1996. http://www.theses.fr/1996ENSL0009.
Full textAbstract:
Le fil conducteur de cette thèse est l'équilibrage de charge : après un état de l'art sur l'équilibrage à toutes les étapes, de l'élaboration à l'exécution, des implantations sur ordinateurs parallèles à mémoire distribuée, nous proposons une strategie pour maintenir equilibre le partitionnement des donnees pour des problemes dynamiques et irreguliers. Cette strategie est particulierement adaptee dans des applications gerant des donnees complexes soumises a des requetes de mise a jour et de consultation. Elle se caracterise par sa tres faible influence sur le comportement de l'application. Cette strategie a ete appliquee sur des machines synchrones et asynchrones. Une machine dictionnaire synchrone a ainsi ete rendue modulaire grace a l'ajout de l'equilibrage. Une machine dictionnaire a egalement pu etre implantee sur un ordinateur asynchrone, cela servant de point de depart pour des applications en bases de donnees. Enfin, le probleme de l'arrangement d'un ensemble de segments dans le plan a permis de valider la strategie d'equilibrage pour des applications complexes
50
Lundin, Mats. "Building Distributed Control Systems Using Distributed Active Real-Time Databases." Thesis, University of Skövde, Department of Computer Science, 1998. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-234.
Full textAbstract:
From the field of control theory, we can see that varying communication delays in a control system may be hard or even impossible to handle. From this point of view it is preferable to have these delays bounded and as small and as possible in order to adapt the control process to them. On the other hand, in some cases delays are inevitable and must be handled by the control system.
A control system may for different reasons be distributed, e.g., because of a distributed environment or severe environment demands such as heat or dust at some locations. Information in such a system will suffer from delays due to transportation from one place to another. These delays often show up in a random fashion, especially if a general network is used for transportation. Another source of delays is the system environment itself. For predictability reasons a real-time database is preferable if the delays are to be controlled.
A straightforward way of handling delays in a control system is to build the system such that delays are constant, i.e., to build a time invariant system. The time from sensor reading to actuation is made constant either by adding a suitable delay to achieve a total constant delay or by using time-triggered reading and actuation. These are simple ways of controlling the delays, but may be very inefficient because worst-case execution time must always be used. Other ways of handling varying delays are by using more tolerant control algorithms. There are two suitable control models proposed by Nilsson (1998) for this purpose. The tolerant algorithm approach is assumed in this work.
This thesis uses a distributed active real-time database system as a basis for building control systems. One of the main objectives is to determine how active functionality can be used to express the control system, i.e., how rules in the database can be used to express the control algorithm and for handling propagation of information. Another objective is to look at how the choice of consistency level in the database affects the result of the control system, i.e. how different consistency level affects the delays. Of interest is also to characterize what type of applications each level is suited for.