Relevant bibliographies by topics / Traces distribuées / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Traces distribuées.

Dissertations / Theses on the topic 'Traces distribuées'

Author: Grafiati
Published: 13 April 2024

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

Select a source type:

Consult the top 45 dissertations / theses for your research on the topic 'Traces distribuées.'

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

Ripoche, Gabriel. "Sur les traces de Bugzilla : vers une analyse automatisée des interactions pour l'étude des pratiques collectives distribuées." Paris 11, 2006. http://www.theses.fr/2006PA112076.

Full text
Abstract:
L'objectif de cette thèse est d'établir certaines bases théoriques, méthodologiques et pratiques d'une " sociologie assistée par ordinateur " des pratiques collectives distribuées (PCD). Le développement des nouvelles technologies de l'information et de la communication a mené à l'émergence de formes d'organisation dont les principales caractéristiques sont la forte distribution (spatiale et temporelle, mais aussi socio-cognitive) et l'utilisation prépondérante de moyens de communication médiés, qui laissent des " traces " persistantes de l'activité collective. Nos travaux portent sur l'exploi
APA, Harvard, Vancouver, ISO, and other styles
2

Cassé, Clement. "Prévision des performances des services Web en environnement Cloud." Electronic Thesis or Diss., Toulouse 3, 2023. http://www.theses.fr/2023TOU30268.

Full text
Abstract:
Le Cloud Computing a bouleversé la façon dont sont développés et déployées les logiciels. De nos jours, les applications Cloud sont conçues comme des systèmes distribués, en constante évolution, hébergés dans des data~center gérés par des tiers, et potentiellement même dispersés dans le monde entier. Ce changement de paradigme a également eu un impact considérable sur la façon dont les logiciels sont monitorés : les applications cloud se sont développées pour atteindre l'ordre de centaines de services, et les outils de monitoring ont rapidement rencontré des problèmes de mise à l'échelle. De p
APA, Harvard, Vancouver, ISO, and other styles
3

Pilourdault, Julien. "Scalable algorithms for monitoring activity traces." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM040/document.

Full text
Abstract:
Dans cette thèse, nous étudions des algorithmes pour le monitoring des traces d’activité à grande échelle. Le monitoring est une aptitude clé dans plusieurs domaines, permettant d’extraire de la valeur des données ou d’améliorer les performances d’un système. Nous explorons d’abord le monitoring de données temporelles. Nous présentons un nouveau type de jointure sur des intervalles, qui inclut des fonctions de score caractérisant le degré de satisfaction de prédicats temporels. Nous étudions ces jointures dans le contexte du batch processing (traitement par lots). Nous formalisons la Ranked Te
APA, Harvard, Vancouver, ISO, and other styles
4

Vigouroux, Xavier. "Analyse distribuée de traces d'exécution de programmes parallèles." Lyon, École normale supérieure (sciences), 1996. http://www.theses.fr/1996ENSL0016.

Full text
Abstract:
Le monitoring consiste a generer des informations de trace durant une execution d'un programme parallele pour detecter les problemes de performances. La quantite d'information generee par de tres grosses machines paralleles rend les outils d'analyse classiques inutilisables. Cette these resout ce probleme en distribuant l'information de trace sur plusieurs fichiers contenus sur plusieurs sites, les fichiers pouvant etre lus en parallele. La manipulation de ces fichiers afin d'obtenir une information coherente est la base d'un logiciel client-serveur grace auquel des clients demandent de l'info
APA, Harvard, Vancouver, ISO, and other styles
5

Emeras, Joseph. "Workload Traces Analysis and Replay in Large Scale Distributed Systems." Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENM081/document.

Full text
Abstract:
L'auteur n'a pas fourni de résumé en français<br>High Performance Computing is preparing the era of the transition from Petascale to Exascale. Distributed computing systems are already facing new scalability problems due to the increasing number of computing resources to manage. It is now necessary to study in depth these systems and comprehend their behaviors, strengths and weaknesses to better build the next generation.The complexity of managing users applications on the resources conducted to the analysis of the workload the platform has to support, this to provide them an efficient service
APA, Harvard, Vancouver, ISO, and other styles
6

Emeras, Joseph. "Analyse et rejeu de traces de charge dans les grands systèmes de calcul distribués." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00940055.

Full text
Abstract:
High Performance Computing is preparing the era of the transition from Petascale to Exascale. Distributed computing systems are already facing new scalability problems due to the increasing number of computing resources to manage. It is now necessary to study in depth these systems and comprehend their behaviors, strengths and weaknesses to better build the next generation. The complexity of managing users applications on the resources conducted to the analysis of the workload the platform has to support, this to provide them an efficient service. The need for workload comprehension has led to
APA, Harvard, Vancouver, ISO, and other styles
7

Lerman, Benjamin. "Vérification et Spécification des Systèmes Distribués." Phd thesis, Université Paris-Diderot - Paris VII, 2005. http://tel.archives-ouvertes.fr/tel-00322322.

Full text
Abstract:
Cette thèse se place dans le cadre de la vérification automatique des systèmes distribués. Elle aborde le problème de la spécification pour de tels systèmes, qui consiste à définir un formalisme logique pour décrire des propriétés des comportements de systèmes. On en attend qu'il soit facile d'exprimer les propriétés courantes (accessibilité, sûreté, exclusion mutuelle, vivacité, etc.). On souhaite par ailleurs que la vérification de ces propriétés soient aisée. Il s'agit donc de trouver un compromis entre pouvoir d'expression et simplicité d'utilisation.<br /><br />On s'intéresse ensuite à la
APA, Harvard, Vancouver, ISO, and other styles
8

Kassem, Zein Oussama. "Indexation-découverte et composition de services distribués." Lorient, 2005. http://www.theses.fr/2005LORIS047.

Full text
Abstract:
Actuellement, les entreprises, les organisations et les fournisseurs de services ont besoin de publier leurs services et de les rendre accessibles à leurs clients. Les clients ont besoin de découvrir les services et de choisir ceux qui répondent à leurs exigences. Dans ce contexte, il s'agit de décrire les services le plus précisément possible afin qu'un client puisse trouver le service désiré. La description de services par des propriétés devient donc importante pour l'interrogation et la sélection de services et doit être prise en compte dans l'étape de l'indexation et de la publication. Les
APA, Harvard, Vancouver, ISO, and other styles
9

Rabo, Hannes. "Distributed Trace Comparisons for Code Review : A System Design and Practical Evaluation." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-280707.

Full text
Abstract:
Ensuring the health of a distributed system with frequent updates is complicated. Many tools exist to improve developers’ comprehension and productivity in this task, but room for improvement exists. Based on previous research within request flow comparison, we propose a system design for using distributed tracing data in the process of reviewing code changes. The design is evaluated from the perspective of system performance and developer productivity using a critical production system at a large software company. The results show that the design has minimal negative performance implications
APA, Harvard, Vancouver, ISO, and other styles
10

Hoffman, Kari Lee. "Coordinated memory trace reactivation across distributed neural ensembles in the primate neocortex." Diss., The University of Arizona, 2003. http://hdl.handle.net/10150/289891.

Full text
Abstract:
The process of forming a long-lasting memory may involve the selective linking together of neural representations stored widely throughout neocortex. The successful binding together of these disparate representations may require their coordinated reactivation while the cortex is 'offline' i.e., not engaged in processing external stimuli. This hypothesis was tested through simultaneous extracellular recording of 28-99 cells over four sites in the macaque neocortex. The recordings were conducted as the monkey performed repetitive reaching tasks, and in rest periods immediately preceding and foll
APA, Harvard, Vancouver, ISO, and other styles
11

Duboc, Christine. "Commutations dans les monoïdes libres : un cadre théorique pour l'étude du parallélisme." Rouen, 1986. http://www.theses.fr/1986ROUES003.

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

Zheng, Wenjie. "A distributed Frank-Wolfe framework for trace norm minimization via the bulk synchronous parallel model." Thesis, Sorbonne université, 2018. http://www.theses.fr/2018SORUS049/document.

Full text
Abstract:
L'apprentissage des matrices de rang faible est un problème de grande importance dans les statistiques, l'apprentissage automatique, la vision par ordinateur et les systèmes de recommandation. En raison de sa nature NP-difficile, une des approches principales consiste à résoudre sa relaxation convexe la plus étroite : la minimisation de la norme de trace. Parmi les différents algorithmes capables de résoudre cette optimisation, on peut citer la méthode de Frank-Wolfe, particulièrement adaptée aux matrices de grande dimension. En préparation à l'utilisation d'infrastructures distribuées pour ac
APA, Harvard, Vancouver, ISO, and other styles
13

Chatain, Thomas. "Symbolic Unfoldings of High-Level Petri Nets and Application to Supervision of Distributed Systems." Rennes 1, 2006. http://www.theses.fr/2006REN1S118.

Full text
Abstract:
Many components of distributed systems are now designed so that they emit alarms when some particular conditions are met. Nevertheless inferring the causes of the failures remains a challenging problem which sometimes requires to reconstruct a part of the history of the system. We propose to compute the explanations of an observation, according to a model of the net. For this we use the notion of unfoldings of Petri nets. Unfoldings provide an efficient way to represent the executions and to emphasize the causality and concurrency relations between the events. This allows to find easily the ca
APA, Harvard, Vancouver, ISO, and other styles
14

Lopez, Cueva Patricia. "Debugging Embedded Multimedia Application Execution Traces through Periodic Pattern Mining." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-01006213.

Full text
Abstract:
La conception des systèmes multimédia embarqués présente de nombreux défis comme la croissante complexité du logiciel et du matériel sous-jacent, ou les pressions liées aux délais de mise en marche. L'optimisation du processus de débogage et validation du logiciel peut aider à réduire sensiblement le temps de développement. Parmi les outils de débogage de systèmes embarqués, un puissant outil largement utilisé est l'analyse de traces d'exécution. Cependant, l'évolution des techniques de tra¸cage dans les systèmes embarqués se traduit par des traces d'exécution avec une grande quantité d'informa
APA, Harvard, Vancouver, ISO, and other styles
15

Feinauer, Lynn Ralph. "Generic Flow Algorithm for Analysis of Interdependent Multi-Domain Distributed Network Systems." Diss., Virginia Tech, 2009. http://hdl.handle.net/10919/40010.

Full text
Abstract:
Since the advent of the computer in the late 1950s, scientists and engineers have pushed the limits of the computing power available to them to solve physical problems via computational simulations. Early computer languages evaluated program logic in a sequential manner, thereby forcing the designer to think of the problem solution in terms of a sequential process. Object-oriented analysis and design have introduced new concepts for solving systems of engineering problems. The term object-oriented was first introduced by Alan Kay [1] in the late 1960s; however, mainstream incorporation of obje
APA, Harvard, Vancouver, ISO, and other styles
16

Krantz, Karl Johan. "Cross-Platform Post-Mortem Analysis in a Distributed Continuous Integration System." Thesis, Linköpings universitet, Medie- och Informationsteknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-122912.

Full text
Abstract:
This thesis aims to improve the cross-platform reliability of software components tested on distributed CI systems. More specifically, it is centered on extracting crash information from cross-platform crashes. Crash information was generated and parsed on Mac, Linux and Windows. The crash information proved to be valuable for developers in their day-to-day job, especially the raw crash information. However, the graph visualizations that were created out of this information proved to be less than satisfactory for developers.
APA, Harvard, Vancouver, ISO, and other styles
17

Chaturvedi, Namit [Verfasser], Wolfgang [Akademischer Betreuer] Thomas, and Anca [Akademischer Betreuer] Muscholl. "Classifications of Recognizable Infinitary Trace Languages and the Distributed Synthesis Problem / Namit Chaturvedi ; Wolfgang Thomas, Anca Muscholl." Aachen : Universitätsbibliothek der RWTH Aachen, 2015. http://d-nb.info/1127739638/34.

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

Roig, Planasdemunt Maria. "Characterization of hydrological processes in a Mediterranean mountain research catchment by combining distributed hydrological measurements and environmental tracers." Doctoral thesis, Universitat Politècnica de Catalunya, 2016. http://hdl.handle.net/10803/396307.

Full text
Abstract:
The main objective of this thesis is to characterize hydrological processes in a Mediterranean mountain catchment, by combining distributed hydrological measurements and environmental tracers in order to improve the understanding of catchment hydrological function. During the period 2009-2013 hydrological data were collected from the Vallcebre Research Catchments, monitored since 1996 by the Surface Hydrology and Erosion group of the IDAEA-CSIC. Data include, in addition to rainfall and discharge measurements, distributed hydrological measurements and environmental tracers (both geochemical a
APA, Harvard, Vancouver, ISO, and other styles
19

Tbaileh, Ahmad Anan. "Robust Non-Matrix Based Power Flow Algorithm for Solving Integrated Transmission and Distribution Systems." Diss., Virginia Tech, 2017. http://hdl.handle.net/10919/89362.

Full text
Abstract:
This work presents an alternative approach to power system computations, Graph Trace Analysis (GTA), and applies GTA to the power flow problem. A novel power flow algorithm is presented, where GTA traces are used to implement a modified Gauss-Seidel algorithm coupled with a continuation method. GTA is derived from the Generic Programming Paradigm of computer science. It uses topology iterators to move through components in a model and perform calculations. Two advantages that GTA brings are the separation of system equations from component equations and the ability to distribute calculations a
APA, Harvard, Vancouver, ISO, and other styles
20

Floriano, Paulo Henrique. "Grafos evolutivos na modelagem e análise de redes dinâmicas." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-12032012-104708/.

Full text
Abstract:
Atualmente, muitas redes com características dinâmicas estão em funcionamento (por exemplo MANETs, DTNs, redes oportunistas, etc). Neste trabalho, estudamos um modelo para estas redes chamado de Grafos Evolutivos, que permite expressar a dinamicidade das conexões entre nós por meio de uma simples extensão da estrutura comum de grafos. Esta modelagem é utilizada no arcabouço proposto por Casteigts et al. para definir algoritmos distribuídos em redes dinâmicas, que utiliza grafos evolutivos para representar a topologia da rede e renomeação de rótulos para expressar a comunicação entre o
APA, Harvard, Vancouver, ISO, and other styles
21

Ollagnier-Beldame, Magali. "Traces d'interactions et processus cognitifs en activité conjointe : le cas d'une co-rédaction médiée par un artefact numérique." Lyon 2, 2006. http://theses.univ-lyon2.fr/documents/lyon2/2006/beldame_m.

Full text
Abstract:
Lorsque l'on s’intéresse à l'activité humaine selon l'approche interactionniste de la cognition, la question de 'appropriation des dispositifs techniques par les utilisateurs est centrale. Selon cette posture, la cognition humaine est située dans la matérialité et distribuée entre les actants de la situation. En situation d'apprentissage, la question de 'appropriation des artefacts est majeure et renvoie en particulier aux situations où les apprenants mobilisent un environnement informatique pour l'apprentissage humain. Cependant, peu de recherches étudient les éléments de la situation favoris
APA, Harvard, Vancouver, ISO, and other styles
22

Cheng, Danling. "Integrated System Model Reliability Evaluation and Prediction for Electrical Power Systems: Graph Trace Analysis Based Solutions." Diss., Virginia Tech, 2009. http://hdl.handle.net/10919/28944.

Full text
Abstract:
A new approach to the evaluation of the reliability of electrical systems is presented. In this approach a Graph Trace Analysis based approach is applied to integrated system models and reliability analysis. The analysis zones are extended from the traditional power system functional zones. The systems are modeled using containers with iterators, where the iterators manage graph edges and are used to process through the topology of the graph. The analysis provides a means of computationally handling dependent outages and cascading failures. The effects of adverse weather, time-varying loads,
APA, Harvard, Vancouver, ISO, and other styles
23

Alvarez, Svahn Rodrigo. "The hippocampal dependence of long-term declarative memory." Thesis, Högskolan i Skövde, Institutionen för biovetenskap, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-11761.

Full text
Abstract:
Investigations into the neural correlates of memory have found the hippocampus to be a crucial structure for long-term declarative memories, but the exact nature of this contribution remains under debate. This paper covers three theories concerned with how the hippocampus is involved in long-term memory, namely the Standard Consolidation Model, the Multiple-Trace Theory, and the Distributed Reinstatement Theory. According to the Standard Consolidation Model, long-term declarative memories (both episodic and semantic) are dependent on the hippocampus for a limited time during which the memories
APA, Harvard, Vancouver, ISO, and other styles
24

Abbes, Samy. "Modèle probabiliste de systèmes distribués et concurrents. Théorèmes limite et application à l'estimation statistique de paramètres." Phd thesis, Université Rennes 1, 2004. http://tel.archives-ouvertes.fr/tel-00007150.

Full text
Abstract:
Pour la gestion de grands systèmes distribués (réseaux de<br />télécommunications par exemple) il est utile d'étudier des<br />modèles de concurrence sous la sémantique de traces. Dans<br />cette optique, on propose une extension probabiliste des<br />structures d'événements et des réseaux de Petri 1-bornés<br />(réseaux markoviens).<br />On prouve un propriété de Markov forte pour ces modèles,<br />et on donne des applications à la récurrence des réseaux.<br />On montre une Loi forte des grands nombres pour<br />les réseaux récurrents et suffisement synchrones,<br />avec applications a l'esti
APA, Harvard, Vancouver, ISO, and other styles
25

Jain, Himanshu. "Dynamic Simulation of Power Systems using Three Phase Integrated Transmission and Distribution System Models: Case Study Comparisons with Traditional Analysis Methods." Diss., Virginia Tech, 2017. http://hdl.handle.net/10919/74234.

Full text
Abstract:
Solar PV-based distributed generation has increased significantly over the last few years, and the rapid growth is expected to continue in the foreseeable future. As the penetration levels of distributed generation increase, power systems will become increasingly decentralized with bi-directional flow of electricity between the transmission and distribution networks. To manage such decentralized power systems, planners and operators need models that accurately reflect the structure of, and interactions between the transmission and distribution networks. Moreover, algorithms that can simulate t
APA, Harvard, Vancouver, ISO, and other styles
26

Munoz-Coreas, Edgard. "Stargrazer One: A New Architecture for Distributed Maximum Power Point Tracking of Solar Photovoltaic Sources." UKnowledge, 2015. http://uknowledge.uky.edu/ece_etds/76.

Full text
Abstract:
The yield from a solar photovoltaic (PV) source is dependent on factors such as light and temperature. A control system called a maximum power point tracker (MPPT) ensures that the yield from a solar PV source is maximized in spite of these factors. This thesis presents a novel implementation of a perturb and observe (PO) MPPT. The implementation uses a switched capacitor step down converter and a custom digital circuit implementation of the PO algorithm. Working in tandem, the switched capacitor step down converter and the custom digital circuit implementation were able to successfully track
APA, Harvard, Vancouver, ISO, and other styles
27

Sivelle, Vianney. "Couplage d'approches conceptuelles, systémiques et distribuées pour l'interprétation de traçages artificiels en domaine karstique : implications pour la détermination de la strucure interne des aquifères karstiques." Thesis, Toulouse 3, 2019. http://www.theses.fr/2019TOU30180.

Full text
Abstract:
L'objectif principal de ces travaux de thèse consiste à améliorer la compréhension de la structure interne des aquifères karstiques en s'appuyant sur l'interprétation de traçages artificiels. Pour répondre à cet objectif, cette thèse s'appuie sur les bassins versants karstiques du Baget et d'Aliou (Ariège, France) ainsi que d'autres hydrosystèmes karstiques (les systèmes de Norville, du Val de Loire et de Foubanne) inclus dans le Service National d'Observation des Karsts (SNO Karst, INSU-CNRS) et sur la base de données BD traçage du BRGM incluant notamment le système karstique de l'Ouysse. L'a
APA, Harvard, Vancouver, ISO, and other styles
28

Marruedo, Arricibita Amaya Irene. "Upscaling of Lacustrine Groundwater Discharge by Fiber Optic Distributed Temperature Sensing and Thermal Infrared imaging." Doctoral thesis, Humboldt-Universität zu Berlin, 2018. http://dx.doi.org/10.18452/19365.

Full text
Abstract:
Der Zustrom von Grundwasser zu Seen (lacustrine groundwater discharge, LGD) kann signifikante Auswirkungen auf Qualität und Quantität des Seewassers haben. Viele Ansätze zur Identifikation und Quantifizierung von LGD basieren auf Temperaturunterschieden zwischen Grund- und Seewasser und der Messung des damit einhergehenden Wärmetransports. Ziel der Doktorarbeit ist es, Signalfortpflanzung und -ausbreitung des Grundwasserzustroms von der Punktskala an der Sediment-Wasser-Grenzfläche über den Wasserkörper bis zur Grenzfläche Wasseroberfläche-Atmosphäre zu untersuchen. Getestet wird die Hypothese
APA, Harvard, Vancouver, ISO, and other styles
29

Vassenkov, Phillip. "Contech: a shared memory parallel program analysis framework." Thesis, Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/50379.

Full text
Abstract:
We are in the era of multicore machines, where we must exploit thread level parallelism for programs to run better, smarter, faster, and more efficiently. In order to increase instruction level parallelism, processors and compilers perform heavy dataflow analyses between instructions. However, there isn’t much work done in the area of inter-thread dataflow analysis. In order to pave the way and find new ways to conserve resources across a variety of domains (i.e., execution speed, chip die area, power efficiency, and computational throughput), we propose a novel framework, termed Contech, to f
APA, Harvard, Vancouver, ISO, and other styles
30

Cornea, Bogdan Florin. "Prédiction de performances d'applications de calcul distribué exécutées sur une architecture pair-à-pair." Phd thesis, Université de Franche-Comté, 2011. http://tel.archives-ouvertes.fr/tel-00800314.

Full text
Abstract:
Dans le domaine du calcul de haute performance, les architectures d'exécution sont en continuelle évolution. L'augmentation du nombre de nœuds de calcul, ou le choix d'une topologie réseau plus rapide représentent un investissement important tant en temps qu'en moyen financier. Les méthodes de prédiction de performances permettent de guider ce choix. En parallèle à ce développement, les systèmes HPC pair-à-pair (P2P) se sont également développés ces dernières années. Ce type d'architecture hétérogène permettrait la résolution des problèmes scientifiques pour un coût très faible par rapport au
APA, Harvard, Vancouver, ISO, and other styles
31

Cornea, Bogdan Florin. "Prédiction de performances d’applications de calcul distribué exécutées sur une architecture pair-à-pair." Thesis, Besançon, 2011. http://www.theses.fr/2011BESA2012/document.

Full text
Abstract:
Dans le domaine du calcul de haute performance, les architectures d’exécution sont en continuelle évolution. L’augmentation du nombre de nœuds de calcul, ou le choix d’une topologie réseau plus rapide représentent un investissement important tant en temps qu’en moyen financier. Les méthodes de prédiction de performances permettent de guider ce choix. En parallèle à ce développement, les systèmes HPC pair-à-pair (P2P) se sont également développés ces dernières années. Ce type d’architecture hétérogène permettrait la résolution des problèmes scientifiques pour un coût très faible par rapport au
APA, Harvard, Vancouver, ISO, and other styles
32

Волчан, Дмитро Вячеславович. "Система управління мережею MicroGrid". Bachelor's thesis, КПІ ім. Ігоря Сікорського, 2020. https://ela.kpi.ua/handle/123456789/39369.

Full text
Abstract:
Мета роботи: підвищити ефективність управління мережею Microgrid за рахунок вдосконалення системи управління електроенергією сонячних батарей для роботи в режимі реального часу. В даній роботі наведено огляд розумних електромереж, їх роль та взаємодія з існуючими електромережами. Розглядаються різні методи та системи управління мережами MicroGrid, проводиться їх аналіз, характеристика та порівняння, надається характеристика основних рівнів керування мережею MicroGrid. Надається аналіз основних переваг управління сонячною енергією відносно інших джерел енергії в мережі MicroGrid. Досліджуєть
APA, Harvard, Vancouver, ISO, and other styles
33

Jamrozik, Hervé. "Aide à la mise au point des applications parallèles et réparties à base d'objets persistants." Phd thesis, Grenoble 1, 1993. http://tel.archives-ouvertes.fr/tel-00005129.

Full text
Abstract:
L'objectif de ce travail est d'offrir une aide a la mise au point des applications paralleles et reparties, a base dobjets persistants, permettant une mise au point cyclique et offrant une observation de l'execution dun haut niveau dabstraction. Le non-determinisme et la sensibilite a toute perturbation de ce type d'execution rendent tres difficile la correction des erreurs liees aux conditions d'execution. Les limitations de l'analyse statique des programmes et des approches dynamiques fondees sur une execution courante nous conduisent a preconiser la mise en oeuvre de methodes basees sur la
APA, Harvard, Vancouver, ISO, and other styles
34

Bezděk, David. "Monitorování peerů sdílejících torrenty." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2018. http://www.nusl.cz/ntk/nusl-385986.

Full text
Abstract:
This master's thesis deals with analysis and implementation of methods for BitTorrent monitoring focusing on the Mainline DHT protocol. The aim of the thesis was to create a system, that will be looking for BitTorrent peers that participe in the illegal file distribution. Another task of the system was to collect and analyze data for counting size of the BitTorrent network. That was achieved by taking over of existing method. The system was designed and implemented as a module for monitoring of cybernetic crime. It also defines an interface for storing and sharing data, that provides data eval
APA, Harvard, Vancouver, ISO, and other styles
35

Sen, Mehmet Alper Garg Vijay K. "Techniques for formal verification of concurrent and distributed program traces." 2004. http://repositories.lib.utexas.edu/bitstream/handle/2152/2189/senma042.pdf.

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

Sen, Mehmet Alper. "Techniques for formal verification of concurrent and distributed program traces." Thesis, 2004. http://hdl.handle.net/2152/2189.

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

Ateş, Emre. "Automating telemetry- and trace-based analytics on large-scale distributed systems." Thesis, 2020. https://hdl.handle.net/2144/41472.

Full text
Abstract:
Large-scale distributed systems---such as supercomputers, cloud computing platforms, and distributed applications---routinely suffer from slowdowns and crashes due to software and hardware problems, resulting in reduced efficiency and wasted resources. These large-scale systems typically deploy monitoring or tracing systems that gather a variety of statistics about the state of the hardware and the software. State-of-the-art methods either analyze this data manually, or design unique automated methods for each specific problem. This thesis builds on the visio
APA, Harvard, Vancouver, ISO, and other styles
38

Liao, Cheng-Chi, and 廖政麒. "Distribution of trace metal in raw, finished, distributed water and their association with cord blood trace metal levels." Thesis, 2009. http://ndltd.ncl.edu.tw/handle/25404379073228659035.

Full text
Abstract:
碩士<br>國立臺灣大學<br>職業醫學與工業衛生研究所<br>97<br>The water supply system in Taiwan is quite well established and its serving rate is extremely high. However, recent studies have indicated that adverse effects resulting from exposure to trace metals in tap water could occur at low levels. Therefore, the main purpose of this study were to characterize the distribution of trace metal levels in raw, finished, distributed water, in order to explore the source of and the effect of exposure to trace metals in water, and to correlate the trace metal levels in distributed water and cord blood. Trace metal levels
APA, Harvard, Vancouver, ISO, and other styles
39

Anderson, Michael. "Performance modelling of reactive web applications using trace data from automated testing." Thesis, 2019. http://hdl.handle.net/1828/10793.

Full text
Abstract:
This thesis evaluates a method for extracting architectural dependencies and performance measures from an evolving distributed software system. The research goal was to establish methods of determining potential scalability issues in a distributed software system as it is being iteratively developed. The research evaluated the use of industry available distributed tracing methods to extract performance measures and queuing network model parameters for common user activities. Additionally, a method was developed to trace and collect system operations the correspond to these user activities util
APA, Harvard, Vancouver, ISO, and other styles
40

Coleman, Thomas. "A Novel Technique for Depth Discrete Flow Characterization: Fibre Optic Distributed Temperature Sensing within Boreholes Sealed with Flexible Underground Liners." Thesis, 2012. http://hdl.handle.net/10214/5265.

Full text
Abstract:
In recent years, wireline temperature profiling methods have evolved to offer new insight into fractured rock hydrogeology. An important advance in temperature logging makes use of boreholes temporarily sealed with flexible impervious fabric liners so that the water column is static and effects of cross-connection are eliminated. For this project a characterization technique was developed based on combining fibre optic distributed temperatures sensing (DTS) with active heating within boreholes sealed with underground liners. DTS systems provide a temperature profiling method that offers impro
APA, Harvard, Vancouver, ISO, and other styles
41

Sampath, D. "Algorithms And Models For Debugging Distributed Programs." Thesis, 1996. https://etd.iisc.ac.in/handle/2005/1681.

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

Sampath, D. "Algorithms And Models For Debugging Distributed Programs." Thesis, 1996. http://etd.iisc.ernet.in/handle/2005/1681.

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

Šimeček, Martin. "Distribuce vybraných prvků v půdách městských parků Prahy a Brna." Master's thesis, 2014. http://www.nusl.cz/ntk/nusl-337122.

Full text
Abstract:
Prague and Brno belong to one of the most contaminated cities of Czech Republic. The main objective of this study was to compare PGE contents and concentrations of risk elements (Zn, Cd, Pb, Cu, As, Sb, Hg) in the soils of both cities's municipal parks. Soil samples were taken from depths of 0-10 cm, 10-20 cm and 20-30 cm. Besides soil samples, the sand samples from children sandpits were taken from depth 0-30 cm. In 52 samples of soil and sand Pd, Pt and Rh contents were determinated by ICP- MS after Ni-S fire assay procedure. Soil samples were additionally analysed on Pb isotopic composition
APA, Harvard, Vancouver, ISO, and other styles
44

Krátký, Ondřej. "Distribuce stopových prvků v karbonatitech pomocí in-situ metod, se zvláštním zřetelem k REE." Master's thesis, 2017. http://www.nusl.cz/ntk/nusl-356497.

Full text
Abstract:
Carbonatites are unique and enigmatic magmatic rocks of unclear origin, with very specific mineralogy and geochemical properties. They are predominantly composed of magmatic calcite or other carbonate minerals (Le Bas 1987) and have low content of SiO2 (Le Maitre 2002). Origin of these peculiar magmas is still not clear but they appear to represent an important "window" into processes in Earth's mantle. They are considered either as residual melts from a fractionated carbonated nephelinite or melilitite (Gittins 1989; Gittins and Jago 1998), as immiscible fractions of CO2-saturated silicate me
APA, Harvard, Vancouver, ISO, and other styles
45

Dzikiti, Weston. "Banking sector, stock market development and economic growth in Zimbabwe : a multivariate causality framework." Diss., 2017. http://hdl.handle.net/10500/22818.

Full text
Abstract:
The thesis examined the comprehensive causal relationship between the banking sector, stock market development and economic growth in a multi-variate framework using Zimbabwean time series data from 1988 to 2015. Three banking sector development proxies (total financial sector credit, banking credit to private sector and broad money M3) and three stock market development proxies (stock market capitalization, value traded and turnover ratio) were employed to estimate both long and short run relationships between banking sector, stock market and economic growth in Zimbabwe. The study employs the
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography