To see the other types of publications on this topic, follow the link: Analyse de la trace d'exécution.

Dissertations / Theses on the topic 'Analyse de la trace d'exécution'

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Analyse de la trace d'exécution.'

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

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
2

Amiar, Azzeddine. "Aide à l'Analyse de Traces d'Exécution dans le Contexte des Microcontrôleurs." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00978227.

Full text
Abstract:
Souvent, dû a l'aspect cyclique des programmes embarqu és, les traces de microcontrôleurs contiennent beaucoup de donn ées. De plus, dans notre contexte de travail, pour l'analyse du comportement, une seule trace se terminant sur une défaillance est disponible. L'objectif du travail pr esent é dans cette th ese est d'aider à l'analyse de trace de microcontrôleurs. La premi ère contribution de cette th èse concerne l'identifi cation de cycles, ainsi que la g én ération d'une description pertinente de la trace. La d étection de cycles repose sur l'identifi cation du loop- header. La description
APA, Harvard, Vancouver, ISO, and other styles
3

Dosimont, Damien. "Agrégation spatiotemporelle pour la visualisation de traces d'exécution." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM075/document.

Full text
Abstract:
Les techniques de visualisation de traces sont fréquemment employées par les développeurs pour comprendre, déboguer, et optimiser leurs applications.La plupart des outils d'analyse font appel à des représentations spatiotemporelles, qui impliquent un axe du temps et une représentation des ressources, et lient la dynamique de l'application avec sa structure ou sa topologie.Toutefois, ces dernières ne répondent pas au problème de passage à l'échelle de manière satisfaisante. Face à un volume de trace de l'ordre du Gigaoctet et une quantité d'évènements supérieure au million, elles s'avèrent inca
APA, Harvard, Vancouver, ISO, and other styles
4

Emteu, Tchagou Serge Vladimir. "Réduction à la volée du volume des traces d'exécution pour l'analyse d'applications multimédia de systèmes embarqués." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM051/document.

Full text
Abstract:
Le marché de l'électronique grand public est dominé par les systèmes embarqués du fait de leur puissance de calcul toujours croissante et des nombreuses fonctionnalités qu'ils proposent.Pour procurer de telles caractéristiques, les architectures des systèmes embarqués sont devenues de plus en plus complexes (pluralité et hétérogénéité des unités de traitements, exécution concurrente des tâches, ...).Cette complexité a fortement influencé leur programmabilité au point où rendre difficile la compréhension de l'exécution d'une application sur ces architectures.L'approche la plus utilisée actuelle
APA, Harvard, Vancouver, ISO, and other styles
5

Zoor, Maysam. "Latency verification in execution traces of HW/SW partitioning model." Electronic Thesis or Diss., Institut polytechnique de Paris, 2021. http://www.theses.fr/2021IPPAT037.

Full text
Abstract:
Alors que de nombreux travaux de recherche visent à définir de nouvelles techniques de vérification (formelle) pour vérifier les exigences dans un modèle, la compréhension de la cause profonde de la violation d'une exigence reste un problème ouvert pour les plateformes complexes construites autour de composants logiciels et matériels. Par exemple, la violation d'une exigence de latence est-elle due à un ordonnancement temps réel défavorable, à des conflits sur les bus, aux caractéristiques des algorithmes fonctionnels ou des composants matériels ? Cette thèse introduit une approche d'analyse p
APA, Harvard, Vancouver, ISO, and other styles
6

Lesage, Benjamin. "Architecture multi-coeurs et temps d'exécution au pire cas." Phd thesis, Université Rennes 1, 2013. http://tel.archives-ouvertes.fr/tel-00870971.

Full text
Abstract:
Les tâches critiques en systèmes temps-réel sont soumises à des contraintes temporelles et de correction. La validation d'un tel système repose sur l'estimation du comportement temporel au pire cas de ses tâches. Le partage de ressources, inhérent aux architectures multi-cœurs, entrave le calcul de ces estimations. Le comportement temporel d'une tâche dépend de ses rivales du fait de l'arbitrage de l'accès aux ressources ou de modifications concurrentes de leur état. Cette étude vise à l'estimation de la contribution temporelle de la hiérarchie mémoire au pire temps d'exécution
APA, Harvard, Vancouver, ISO, and other styles
7

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
8

Touzeau, Valentin. "Analyse statique de caches LRU : complexité, analyse optimale, et applications au calcul de pire temps d'exécution et à la sécurité." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAM041.

Full text
Abstract:
Dans le cadre des systèmes critiques, la certification de programmes temps-réel nécessite de borner leur temps d'exécution.Les mémoires caches impactant fortement la latence des accès mémoires, les outils de calcul de pire temps d'exécution incluent des analyses de cache.Ces analyses visent à prédire statiquement si ces accès aboutissent à des cache-hits ou des cache-miss.Ce problème étant indécidable en général, les analyses de caches emploient des abstractions pouvant mener à des pertes de précision.Une hypothèse habituelle pour rendre le problème décidable consiste à supposer que toutes les
APA, Harvard, Vancouver, ISO, and other styles
9

Jahier, Erwan. "Analyse dynamique de programme : Mise en oeuvre automatisée d'analyseurs performants et spécifications de modèles d'exécution." Rennes, INSA, 2000. http://www.theses.fr/2000ISAR0009.

Full text
Abstract:
De nombreuses études montrent que la plus grande partie du coût de production d'un logiciel est générée lors de la phase de maintenance. Lors de cette phase, pour corriger des erreurs, pour optimiser des programmes, ou pour ajouter des fonctionnalités, il est essentiel de comprendre les programmes, et en particulier de comprendre leur comportement. Les analyseurs dynamiques d'exécutions tels que les profileurs, les moniteurs, ou les débogueurs, sont alors des outils indispensables. Cependant, ces outils d'analyse dynamique sont extrêmement coûteux à mettre en oeuvre : (1) d'abord, parce qu'il
APA, Harvard, Vancouver, ISO, and other styles
10

Bourgade, Roman. "Analyse du temps d'exécution pire-cas de tâches temps-réel exécutées sur une architecture multi-cœurs." Phd thesis, Université Paul Sabatier - Toulouse III, 2012. http://tel.archives-ouvertes.fr/tel-00746073.

Full text
Abstract:
Les défaillances des applications embarquées dans les systèmes temps-réel strict peuvent avoir des conséquences graves (catastrophes industrielles, mise en danger de vies humaines). La vérification des contraintes temporelles d'un système temps-réel strict dépend de la connaissance du temps d'exécution pire-cas des tâches constituant l'application embarquée. L'utilisation de processeurs multi-cœurs est l'un des moyens actuellement mis en œuvre afin d'améliorer le niveau de performances des systèmes embarqués. Cependant, la détermination du temps d'exécution pire-cas d'une tâche sur ce type d'a
APA, Harvard, Vancouver, ISO, and other styles
11

Bourgade, Roman. "Analyse du temps d'exécution pire-cas de tâches temps-réel exécutées sur une architecture multi-coeurs." Toulouse 3, 2012. http://thesesups.ups-tlse.fr/1740/.

Full text
Abstract:
Les défaillances des applications embarquées dans les systèmes temps-réel strict peuvent avoir des conséquences graves (catastrophes industrielles, mise en danger de vies humaines). La vérification des contraintes temporelles d'un système temps-réel strict dépend de la connaissance du temps d'exécution pire-cas des tâches constituant l'application embarquée. L'utilisation de processeurs multi-cœurs est l'un des moyens actuellement mis en œuvre afin d'améliorer le niveau de performances des systèmes embarqués. Cependant, la détermination du temps d'exécution pire-cas d'une tâche sur ce type d'a
APA, Harvard, Vancouver, ISO, and other styles
12

Colas, Damien. "Les annotations de chanteurs dans les matériels d'exécution des opéras de Rossini à Paris (1820-1860) : contribution à l'étude de la grammaire mélodique Rossinienne." Tours, 1997. http://www.theses.fr/1997TOUR2015.

Full text
Abstract:
Contrairement à l'affirmation de Duprez (L'Art du chant, 1847) communément admise jusqu'au début du XXe siècle, Rossini ne fut pas le premier compositeur à abolir la liberté d'improvisation des interprètes. Sa musique vocale était au contraire pensée, tant dans sa phraséologie que dans ses symétries à grande échelle, de manière à être variée et ornée. Les matériels d'exécution des opéras de Rossini conservés à Paris contiennent quantité d'annotations manuscrites de la main des chanteurs qui n'ont jamais été étudiées jusqu'à présent. Le but de la thèse de doctorat a été double : d'une part rass
APA, Harvard, Vancouver, ISO, and other styles
13

Bousse, Erwan. "Execution trace management to support dynamic V&V for executable DSMLs." Thesis, Rennes 1, 2015. http://www.theses.fr/2015REN1S082/document.

Full text
Abstract:
Les techniques dynamiques de vérification et validation (V&V) de modèles sont nécessaires pour assurer la qualité des modèles exécutables. La plupart de ces techniques reposent sur la concept de trace d'exécution, une séquence contenant un ensemble d'informations sur une exécution. Par conséquent, pour permettre la V&V dynamique de modèles exécutables conformes à n'importe quel langage de modélisation dédié exécutable (LMDx), il est crucial de fournir des outils pour construire et manipuler toutes sortes de traces d'exécution. À cet effet, nous proposons d'abord une approche de clonage
APA, Harvard, Vancouver, ISO, and other styles
14

Mourou, Pascal. "Planification et contrôle d'exécution dans un monde multi-agent : copilote pour véhicule en circulation autoroutière." Toulouse 3, 1994. http://www.theses.fr/1994TOU30135.

Full text
Abstract:
La premiere partie de la these decrit les fondements de l'intelligence artificielle utilises pour donner une definition detaillee de l'intelligence artificielle distribuee. La notion de relation entre agents y est approfondie. La representation des connaissances de chaque agent et la facon dont un monde multi-agent peut etre simule y sont egalement decrites. Tout cela permet a l'auteur de caracteriser ce monde multi-agent particulier qui est celui de la circulation autoroutiere. La deuxieme partie presente differentes methodes de decision multi-agent permettant a un agent de prendre une decisi
APA, Harvard, Vancouver, ISO, and other styles
15

Thievenaz, Hugo. "Scalable Trace-based Compile-Time Memory Allocation." Electronic Thesis or Diss., Lyon, École normale supérieure, 2024. http://www.theses.fr/2024ENSL0108.

Full text
Abstract:
Cette thèse, intitulée “Compilation d'allocation mémoire par analyse de trace avec passage à l'échelle”, étudie l’utilisation de l’analyse dynamique pour en déduire des réductions de trace mémoire. Le but plus large est d’exploiter les informations du programme qui sont disponibles à l’éxecution pour aller plus vite que les techniques d’analyses statiques tradictionnelles, car elles ne parviennent pas à passer à l’échelle pour des noyaux de programmes qui sont plus lourds en termes de nombres d’instructions et qui sont de dimension élevée.La méthodologie de recherche a été d’étudier l’état de
APA, Harvard, Vancouver, ISO, and other styles
16

Ruiz, Jordy. "Détermination de propriétés de flot de données pour améliorer les estimations de temps d'exécution pire-cas." Thesis, Toulouse 3, 2017. http://www.theses.fr/2017TOU30285/document.

Full text
Abstract:
La recherche d'une borne supérieure au temps d'exécution d'un programme est une partie essentielle du processus de vérification de systèmes temps-réel critiques. Les programmes de tels systèmes ont généralement des temps d'exécution variables et il est difficile, voire impossible, de prédire l'ensemble de ces temps possibles. Au lieu de cela, il est préférable de rechercher une approximation du temps d'exécution pire-cas ou Worst-Case Execution Time (WCET). Une propriété cruciale de cette approximation est qu'elle doit être sûre, c'est-à-dire qu'elle doit être garantie de majorer le WCET. Parc
APA, Harvard, Vancouver, ISO, and other styles
17

Brocchini, Ilaria. "Trace et disparition dans l'oeuvre de Walter Benjamin." Paris 1, 2005. http://www.theses.fr/2005PA010656.

Full text
Abstract:
Il existe dans les écrits de Walter Benjamin parallèles au Passagen-Werk une théorie de la trace, théorie non finalisée et considérée par le philosophe lui-même comme le pendant de celle de l'aura. Cette théorie peut se résumer en une transfiguration de l'environnement humain en images anhistoriques et auratiques. Celui-ci devient ainsi trace de synthèse de ces images. L'architecture du XIX siècle est, pour Benjamin, un domaine privilégié pour l'étude de cette transfiguration. Selon Benjamin, un certain nombre d'artistes et architectes ont mis fin à cette transfiguration. Ils ont pensé leur tr
APA, Harvard, Vancouver, ISO, and other styles
18

Ouedraogo, Marie-Françoise. "Extension of the canonical trace and associated determinants." Phd thesis, Université Blaise Pascal - Clermont-Ferrand II, 2009. http://tel.archives-ouvertes.fr/tel-00725230.

Full text
Abstract:
Cette thèse est consacrée à l'étude de la trace canonique et de deux types de déterminants : d'une part un déterminant associé à la trace canonique sur une classe d'opérateurs pseudodifférentiels et d'autre part des déterminants associés à des traces régularisées. Dans une première partie, en dimension impaire, nous revisitons l'unicité de la trace canonique sur l'espace des opérateurs pseudodifférentiels classiques de classe impaire avant de l'étendre aux opérateurs log-polyhomogènes de classe impaire. Nous classifions les traces sur l'algèbre des opérateurs pseudodifférentiels classiques de
APA, Harvard, Vancouver, ISO, and other styles
19

Jalbert, Emmanuelle. "Le signifiant Zaïmph, trace évanescente en quête d'imaginaire(s) : analyse sémiotique de Salammbô de Flaubert." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ40551.pdf.

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

Jalbert, Emmanuelle. "Le signifiant Zaïmph : trace évanescente en quête d'imaginaire(s) : analyse sémiotique de Salammbô de Flaubert /." Thèse, Chicoutimi : Université du Québec à Chicoutimi, 1998. http://theses.uqac.ca.

Full text
Abstract:
Mémoire (M.E.L.)--Université du Québec à Chicoutimi, 1998.<br>Ce mémoire a été réalisé à Chicoutimi dans le cadre du programme de maîtrise en études littéraires de l'Université du Québec à Trois-Rivières extensionné à l'Université du Québec à Chicoutimi. CaQCU Bibliogr.: p. [128-130]. Document électronique également accessible en format PDF. CaQCU
APA, Harvard, Vancouver, ISO, and other styles
21

Ruch, Claude. "Analyse d'elements traces par fluorescence x : nouveaux developpements." Université Louis Pasteur (Strasbourg) (1971-2008), 1986. http://www.theses.fr/1986STR13107.

Full text
Abstract:
L'analyse d'elements presents a l'etat de trace (concentration inferieures au mu nongg) connait un developpement important dans l'etude de l'environnement, en medecine et en biologie. Tous ces domaines requierent un nombre d'analyses eleve d'echantillons pour conduire a des resultats significatifs. Le nombre d'elements qui gagnent en importance ne cesse de croitre. La spectrometrie a dispersion d'energie repond parfaitement a ces besoins par une analyse multielementaire rapide, sans preparation chimique et d'une tres grande fiabilite. Une automatisation aisee permet des mesures de routine ving
APA, Harvard, Vancouver, ISO, and other styles
22

Pietrek, Artur. "TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00780232.

Full text
Abstract:
Certains environnements ont besoin de plusieurs compilateurs, par exemple un pour le système d'exploitation, supportant la norme C/C++ complète, et l'autre pour les applications, qui supporte éventuellement un sous-ensemble de la norme, mais capable de fournir plus de performance. Le maintien de plusieurs compilateurs pour une plateforme cible représente un effort considérable. Il est donc plus facile d'implémenter et de maintenir un seul outil responsable des optimisations particulières au processeur ciblé. Il nous faut alors un moyen de relier ces compilateurs à l'optimiseur, de préférence,
APA, Harvard, Vancouver, ISO, and other styles
23

Bonneton, Nathalie. "Le développement des actes moteurs du jeune enfant : analyse comparée des gestes d'atteinte et de trace." Rouen, 2002. http://www.theses.fr/2002ROUEL420.

Full text
Abstract:
Cette recherche analyse la façon dont le système cognitivo-moteur des enfants âgés de 26 à 38 mois intègre les informations spatiales dans son plan d'action. Les caractéristiques spatio-temporelles sont analysées lorsque le mouvement est contraint par le plan horizontal (tâche graphique) et lorsqu'il est non contraint (tâche d'atteinte). Une troisième expérience évalue le rôle de la trace laissée par le stylo. Nous avons montré que la règle d'isochronie était disponible dès l'âge de 26 mois. Cependant, la régulation de la vitesse en fonction de la distance de la cible est sensible à la nature
APA, Harvard, Vancouver, ISO, and other styles
24

Kamali, Yousef. "Filament-induced nonlinear fluorescence spectroscopy of trace gaseous pollutants in air." Thesis, Université Laval, 2010. http://www.theses.ulaval.ca/2010/27545/27545.pdf.

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

Pinto, Marcos Cunha. "Définition et utilisation de traces issues de plateformes virtuelles pour le débogage des MPSoCs." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM003/document.

Full text
Abstract:
La complexité croissante des systèmes multiprocesseurs sur puce (MPSoC) rend la vie plus difficile aux ingénieurs à cause des bugs et des inefficacités qui peuvent avoir un très large éventail de sources. L'interaction matériel / logiciel peut être l'une de ces sources, dont l'identification précoce et la résolution doivent être une priorité pour l'intégration rapide du système. Ainsi, en raison du grand nombre d'entrelacements d'exécution possibles, reproduire les conditions d'apparition d'une erreur ou d'un problème de performance est très difficile. Une approche de ce problème consiste à tr
APA, Harvard, Vancouver, ISO, and other styles
26

Geneves, Sylvain. "Etude de performances sur processeurs multicoeur : environnement d'exécution événementiel efficace et étude comparative de modèles de programmation." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00842012.

Full text
Abstract:
Cette thèse traite des performances des serveurs de données en multi-cœur. Plus précisément nous nous intéressons au passage à l'échelle avec le nombre de cœurs. Dans un premier temps, nous étudions le fonctionnement interne d'un support d'exécution événementiel multi-cœur. Nous montrons tout d'abord que le faux-partage ainsi que les mécanismes de communications inter-cœurs dégradent fortement les performances et empêchent le passage à l'échelle des applications. Nous proposons alors plusieurs optimisations pour pallier ces comportements. Dans un second temps, nous comparons les performances e
APA, Harvard, Vancouver, ISO, and other styles
27

Louche, Laurence. "La phlorine, molécule trace pour le contrôle de l'authenticité des jus d'agrume." Aix-Marseille 3, 2002. http://www.theses.fr/2002AIX30092.

Full text
Abstract:
Un composé phénolique, le 3,5-dihydroxyphényl-β-D-glucopyranoside ou phlorine, naturellement présent dans la peau des Citrus a été obtenu à partir d'un extrait aqueux de peaux d'oranges. Sa structure moléculaire a été confirmée par RMN du proton et du carbone et par spectrométrie de masse. L'extraction de la phlorine en fonction du temps et de la température (25 et 50ʿC) de peaux d'oranges sur deux variétés : Navel Late et Valencia a été abordée. Elle a été quantifiée dans les différentes parties de fruits de ces deux variétés. Une étude sur 45 espèces et variétés de Citrus a permis de doser l
APA, Harvard, Vancouver, ISO, and other styles
28

Vorapalawut, Nopparat. "Advances in trace element analysis of petroleum samples : insight into the speciation." Pau, 2011. http://www.theses.fr/2011PAUU3001.

Full text
Abstract:
L’arrivée de la spectrométrie de masse plasma à couplage inductif (ICP MS) a largement contribué à l’analyse multiélémentaire fiable et rapide d’échantillons pétroliers. Toutefois, les problèmes intrinsèques liés à l’instabilité du plasma, le dépôt du carbone sur les cônes et les interférences dues aux ions polyatomiques de carbone restent omniprésents. L’objectif de ce travail a été d’adresser plusieurs problèmes d’analyse des matrices pétrolières impossibles à résoudre par l’ICP MS quadripolaire. Il s’agit du dosage du soufre et du silicium, de l’analyse multiélémentaire simultanée à l’état
APA, Harvard, Vancouver, ISO, and other styles
29

Branchu, Colette. "Archéo-analyse de l'oeuvre : Le Petit Prince : l'écriture d'un secret ou la trace secrète d'une écriture hiéroglyphique." Phd thesis, Université Paul Valéry - Montpellier III, 2011. http://tel.archives-ouvertes.fr/tel-00804970.

Full text
Abstract:
Le conte Le Petit Prince, commence par " Lorsque j'avais six ans ". Ces mots sont précédés d'une image montrant l'enlacement d'un serpent boa autour d'une bête fauve. Or les premiers mots d'une oeuvre ainsi que l'illustration qui les précède en indiquent le déroulement et permet de prévoir la fin. Ces deux notations signalent que ce conte est l'histoire d'un enfant de six ans qui se pose deux questions clés: que signifient ces enlacements à la fois merveilleux et inquiétants dont il reproduit l'image et en quoi leur dynamique le concerne-t-il? Il pose ainsi la question " d'où je viens ? " suiv
APA, Harvard, Vancouver, ISO, and other styles
30

Knüpfer, Andreas. "Advanced Memory Data Structures for Scalable Event Trace Analysis." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2009. http://nbn-resolving.de/urn:nbn:de:bsz:14-ds-1239979718089-56362.

Full text
Abstract:
The thesis presents a contribution to the analysis and visualization of computational performance based on event traces with a particular focus on parallel programs and High Performance Computing (HPC). Event traces contain detailed information about specified incidents (events) during run-time of programs and allow minute investigation of dynamic program behavior, various performance metrics, and possible causes of performance flaws. Due to long running and highly parallel programs and very fine detail resolutions, event traces can accumulate huge amounts of data which become a challenge for int
APA, Harvard, Vancouver, ISO, and other styles
31

Colin, Alexis. "De la collecte de trace à la prédiction du comportement d'applications parallèles." Electronic Thesis or Diss., Institut polytechnique de Paris, 2022. http://www.theses.fr/2022IPPAS020.

Full text
Abstract:
Les supports d'exécution sont couramment utilisés par les applications parallèles afin d'exploiter efficacement les ressources matérielles sous-jacentes. Un support d'exécution dissimule la complexité de la gestion du matériel et expose aux développeurs d'applications une interface de haut niveau. À cette fin, il prend des décisions en s'appuyant sur des heuristiques qui estiment le comportement futur de l'application. Nous proposons Pythia, une bibliothèque utilisable comme oracle capable de prédire le comportement futur d'une application afin que les supports d'exécutions puissent prendre de
APA, Harvard, Vancouver, ISO, and other styles
32

Knüpfer, Andreas. "Advanced Memory Data Structures for Scalable Event Trace Analysis." Doctoral thesis, Technische Universität Dresden, 2008. https://tud.qucosa.de/id/qucosa%3A23611.

Full text
Abstract:
The thesis presents a contribution to the analysis and visualization of computational performance based on event traces with a particular focus on parallel programs and High Performance Computing (HPC). Event traces contain detailed information about specified incidents (events) during run-time of programs and allow minute investigation of dynamic program behavior, various performance metrics, and possible causes of performance flaws. Due to long running and highly parallel programs and very fine detail resolutions, event traces can accumulate huge amounts of data which become a challenge for int
APA, Harvard, Vancouver, ISO, and other styles
33

Ahumada, Bustamante Guido. "Analyse harmonique sur l'espace des chemins d'un arbre." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37611090m.

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

Berger, Gilles. "Etude expérimentale des premiers stades de l'altération hydrothermale de verres basaltiques et d'olivines : comportement des éléments en trace." Toulouse 3, 1987. http://www.theses.fr/1987TOU30201.

Full text
Abstract:
L'etude experimentale montre que l'alteration d'un verre basaltique par de l'eau de mer entre 200**(o)c et 320**(o)c et controlee par un processus de diffusion a deux etapes : un premier processus de diffusion a l'etat solide puis une diffusion des especes en solution qui vont impregner le gel de silice poreux. On etudie aussi les coefficients de distribution de li,rb et cs entre 150**(o)c et 260**(o)c entre des solutions de type eau de mer et trois silicates caracteristique de l'alteration hydrothermale marine
APA, Harvard, Vancouver, ISO, and other styles
35

Neami, Abdulwahid al. "Analyse quantitative des impuretes presentes a l'etat de traces dans cdte." Strasbourg 1, 1988. http://www.theses.fr/1988STR13206.

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

Assal, Marouane. "Analyse spectrale des systèmes d'opérateurs h-pseudodifférentiels." Thesis, Bordeaux, 2017. http://www.theses.fr/2017BORD0586/document.

Full text
Abstract:
Dans ce travail, nous nous intéressons à l’analyse spectrale des systèmes d’opérateurs pseudodifférentiels semi-classiques. Dans la première partie, nous étudions la généralisation du théorème d’Egorov en temps longs dans le cas où l’Hamiltonien quantique qui génère l’évolution en temps et l’observable quantique initiale sont deux opérateurs pseudodifférentiels semiclassiques associés à des symboles à valeurs matricielles. Sous une condition d’hyperbolicité sur le symbole principal de l’Hamiltonien qui assure l’existence des projecteurs semi-classiques, et pour une classe d’observables "semi-c
APA, Harvard, Vancouver, ISO, and other styles
37

Zhang, Rui. "Temporal and spatial dynamics of trace metal acquisition by prokaryotic communities in the Southern Ocean." Electronic Thesis or Diss., Sorbonne université, 2024. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2024SORUS136.pdf.

Full text
Abstract:
Les oligoéléments tels que le fer, le manganèse, le nickel et le cuivre jouent un rôle essentiel dans la croissance et le métabolisme des microorganismes procaryotes et eucaryotes phototrophes et non phototrophes dans l'océan, et influencent ainsi le cycle biogéochimique des principaux éléments. Alors que l'impact de la limitation en Fe sur les microorganismes phototrophes (phytoplancton) a été largement étudié, les liens entre les micronutriments et les procaryotes hétérotrophes restent jusqu'à présent peu étudiés. Cette thèse étudie le potentiel métabolique des microbes marins taxonomiquemen
APA, Harvard, Vancouver, ISO, and other styles
38

Rahmani, Meryem. "Analyses Raman multispectrales exaltées pour la détection de molécules sous forme de trace." Electronic Thesis or Diss., Le Mans, 2024. http://www.theses.fr/2024LEMA1004.

Full text
Abstract:
Au cours des dernières décennies, l'utilisation des produits phytosanitaires communément appelés pesticides a augmenté. Ces substances sont devenues de plus en plus présentes dans notre environnement, s’'accumulant ainsi dans les sols, l'air et les eaux. Ces produits, même en très faible concentration, représentent un danger pour la santé humaine, végétale et animale. Pour toutes ces raisons il est important d'encadrer l'utilisation des produits phytosanitaires en interdisant l'utilisation de certaines de ces substances et en mettant en place des réglementations pour fixer les Limites Maximale
APA, Harvard, Vancouver, ISO, and other styles
39

Savignan, Lionel. "Distribution d’éléments trace dans les sols de Nouvelle-Aquitaine et suivi de contaminants émergents (Ag, Pd, Pt, Rh)." Thesis, Pau, 2020. http://www.theses.fr/2020PAUU3039.

Full text
Abstract:
Cette thèse a pour objectif d’évaluer la distribution spatiale et les origines d’éléments trace anciens et émergents dans les sols de Nouvelle-Aquitaine en se basant sur le Réseau de mesures de la qualité des sols (RMQS). En premier lieu, six éléments trace anciens ont été ciblés (As, Cd, Cu, Cr, Ni, Pb), leur distribution spatiale a été estimée à partir des analyses de 356 échantillons issus de la première campagne RMQS. Les concentrations médianes régionales retrouvées sont proches des valeurs nationales. La comparaison entre les vibrisses régionales et nationales comme valeurs seuils d’anom
APA, Harvard, Vancouver, ISO, and other styles
40

Fopa, Léon Constantin. "Mise en contexte des traces pour une analyse en niveaux d'abstraction." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM077/document.

Full text
Abstract:
Les techniques d'analyse et de débogage d'applications sont de plus en plus mises à mal dans les systèmes modernes. En particulier dans les systèmes basés sur des composants embarqués multiprocesseurs (ou MPSoc) qui composent aujourd'hui la plupart de nos dispositifs quotidiens. Le recours à des traces d'exécution devient incontournable pour appliquer une analyse fine de tels systèmes et d'en identifier les comportements divergents. Même si la trace représente une source d'information riche mise à disposition du développeur pour travailler, les informations pertinentes à l'analyse se retrouven
APA, Harvard, Vancouver, ISO, and other styles
41

Camus, Brice. "Formules des traces semi-classique au niveau d'une énergie critique." Reims, 2001. http://www.theses.fr/2001REIMS015.

Full text
Abstract:
Nous étudions la formule des traces semi-classique au niveau d'une énergie critique pour un opérateur h-pseudo-différentie sur{R}{̂n} dont le symbole principal admet un unique point critique non-dégénéré. En particulier on considérera les cas où la matrice hessienne du symbole principal est symplectiquement diagonalisable et, en général, non définie. Ceci nous conduira à l'étude de la géométrie des systèmes hamiltoniens classiques près de leurs points d'équilibre et au voisinage des périodes non nulles du flot linéarisé. Les contributions de ces périodes conduisent alors à reformuler le problè
APA, Harvard, Vancouver, ISO, and other styles
42

Dumas, Chloé. "Impact of extreme events on particulate trace metal transfer from the continent to the deep sea." Perpignan, 2014. https://tel.archives-ouvertes.fr/tel-01164554.

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

Moy, Eloïse. "Étude de l’écriture chez l’enfant et l’adulte porteurs de trisomie 21 : analyse de la trace écrite et de sa dynamique." Thesis, Aix-Marseille, 2016. http://www.theses.fr/2016AIXM3040/document.

Full text
Abstract:
Malgré les avancées technologiques, l’écriture manuscrite continue d’être une habileté hautement sollicitée dans le cadre scolaire et constitue en partie les bases d’une intégration et d’une participation à une vie communautaire réussie. A ce jour, l’étude de l’écriture manuscrite chez des personnes porteuses de trisomie 21 (T21) reste un domaine peu abordé par la communauté scientifique. L’objectif de cette recherche est d’étudier les habiletés d’écriture chez des enfants et adultes T21 comparativement à la population typique de même âge de développement et âge chronologique. Une tâche de cop
APA, Harvard, Vancouver, ISO, and other styles
44

Cachia, Maxime. "Caractérisation des transferts d’éléments trace métalliques dans une matrice gaz/eau/roche représentative d'un stockage subsurface de gaz naturel." Thesis, Pau, 2017. http://www.theses.fr/2017PAUU3006/document.

Full text
Abstract:
Le gaz naturel représente environ 20% de la consommation énergétique mondiale et cette part est attendue à la hausse dans les prochaines années en raison de la transition énergétique. Pour des raisons économiques et stratégiques, et afin de réguler les demandes d’énergie entre l’été et l’hiver, le gaz naturel est stocké temporairement dans des réservoirs souterrains, notamment des réservoirs aquifères. Les opérations d’injection et de soutirage du gaz mettent donc en contact des espèces gazeuses, liquides et solides, et rendent potentiellement possibles de nombreux phénomènes de transferts d’e
APA, Harvard, Vancouver, ISO, and other styles
45

Aysola, Prasad. "Pulse microwave-mediated sample clean-up method to analyse trace metals, PCBs and pesticides, and for the treatment of organic wastes." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp01/MQ39070.pdf.

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

Jourdain, Anne. "Étude et développement d'un spectromètre photoacoustique intègre sur silicium pour analyse de gaz." Université Joseph Fourier (Grenoble), 1998. http://www.theses.fr/1998GRE10165.

Full text
Abstract:
L'etude consiste a miniaturiser par integration sur un substrat de silicium un spectrometre infrarouge. L'etude porte en particulier sur la detection de dioxyde de carbone. La detection photoacoustique qui consiste a mesurer une augmentation de pression dans une cavite apparait comme la technique de spectroscopie la mieux adaptee a la miniaturisation et a l'integration. Le microsysteme est compose de deux blocs principaux : un bloc source infrarouge realise sur membrane de nitrure de silicium et un bloc integrant un filtre optique accordable, un microphone pour la detection et une microcavite.
APA, Harvard, Vancouver, ISO, and other styles
47

Borchert, Manuela. "Interactions between aqueous fluids and silicate melts : equilibration, partitioning and complexation of trace elements." Phd thesis, Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4208/.

Full text
Abstract:
The origin and evolution of granites has been widely studied because granitoid rocks constitute a major portion of the Earth ́s crust. The formation of granitic magma is, besides temperature mainly triggered by the water content of these rocks. The presence of water in magmas plays an important role due to the ability of aqueous fluids to change the chemical composition of the magma. The exsolution of aqueous fluids from melts is closely linked to a fractionation of elements between the two phases. Then, aqueous fluids migrate to shallower parts of the Earth ́s crust because of it ́s lower den
APA, Harvard, Vancouver, ISO, and other styles
48

Ottogalli, François-Gaël. "Observations et analyses quantitatives multi-niveaux d'applications à objets réparties." Phd thesis, Université Joseph Fourier (Grenoble), 2001. http://tel.archives-ouvertes.fr/tel-00004697.

Full text
Abstract:
Les moyens de traitement de l'information auxquels nous avons accès sont de plus en plus puissants, de plus en plus répartis. Des modèles de programmation, tels que la multiprogrammation légère ou la programmation par objets, leur sont appliqués afin de juguler l'accroissement de la complexité qui en découle. Mais qu'apportent ces modèles ? La mise en oeuvre de ces modèles permet-elle d'employer au "mieux" les ressources disponibles ? Pour répondre à cette question, nous nous plaçons dans une démarche de type "évaluation de performances". La problématique porte sur la reconstruction post-morte
APA, Harvard, Vancouver, ISO, and other styles
49

Thomas, Gaël. "Applications actives : construction dynamique d'environnements d'exécutions flexibles homogènes." Paris 6, 2005. http://www.theses.fr/2005PA066170.

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

Goncalves, Ilidio. "Contrôle de l'atmosphère des lampes à incandescence par une méthode non destructive." Toulouse 3, 1991. http://www.theses.fr/1991TOU30176.

Full text
Abstract:
Ce travail a ete consacre a l'etude des decharges a pression quasi atmospherique, produites par une source radio frequence, dans des melanges argon-azote-oxygene. L'analyse est faite par spectroscopie a l'aide d'un analyseur multicanaux intensifie, dans la bande de longueurs d'onde comprise entre 300 et 900 nm. La decharge est entretenue par un generateur haute tension de forte impedance. Le plasma ainsi cree est proche d'un regime de type couronne. Dans ce gaz, il a ete aborde a la fois le transfert d'excitation argon-azote et l'influence de l'addition d'oxygene sur l'equilibre thermique du p
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!