Gotowe bibliografie tematyczne / Sciences de l'implémentation / Rozprawy doktorskie
Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Sciences de l'implémentation.

Rozprawy doktorskie na temat „Sciences de l'implémentation”

Autor: Grafiati
Data publikacji: 15 lutego 2025
Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 20 najlepszych rozpraw doktorskich naukowych na temat „Sciences de l'implémentation”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

1

Jeanjean, Pierre. "De l'implémentation d'un langage à objets dans un milieu méta-récursif vers l'implémentation méta-récursive d'un langage à objets." Paris 6, 1987. http://www.theses.fr/1987PA066444.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Fleiter, Jérôme. "Étude de l'implémentation de supraconducteurs à haute température critique dans les aimants d'accélérateur." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00911430.

Pełny tekst źródła
Streszczenie:
Les collisionneurs de particules sont des outils indispensables pour l'étude et la compréhension des lois fondamentales de la physique. Le plus grand accélérateur de particules jamais construit, le Large Hadron Collider (LHC), installé au CERN, est un accélérateur circulaire de type synchrotron à faisceaux contrarotatifs. Dans le LHC, les dipôles supraconducteurs en Nb-Ti génèrent une induction maximale de 8,3 T et les particules ont une énergie de collision de 14 TeV. La communauté scientifique souhaiterait des collisions à plus hautes énergies, ce qui nécessitera l'utilisation de dipôles à i
Style APA, Harvard, Vancouver, ISO itp.
3

Bossens, Frédéric. "Amortissement actif des structures câblées: de la théorie à l'implémentation." Doctoral thesis, Universite Libre de Bruxelles, 2001. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/211598.

Pełny tekst źródła
Streszczenie:
Cette thèse s'inscrit dans la continuation du travail de Younes Achkire, consacré au contrôle actif des ponts haubanés. Elle traite de l'implémentation d'un système de contrôle actif sur des maquettes de structures câblées. Deux types de structures sont étudiés expérimentalement: les ponts haubanés et les treillis spatiaux. Après une brève introduction sur l'usage du contrôle actif dans ces domaines, le chapitre 2 traite numériquement des mécanismes d'interaction entre le câble et la structure. Au chapitre 3, nous présentons la stratégie de contrôle que nous utilisons pour stabiliser une struc
Style APA, Harvard, Vancouver, ISO itp.
4

Sighireanu, Mihaela. "Contribution à la définition et à l'implémentation du langage "Extended Lotos"." Université Joseph Fourier (Grenoble), 1999. http://www.theses.fr/1999GRE10024.

Pełny tekst źródła
Streszczenie:
La mise au point des applications distribuees critiques est un probleme complexe pour lequel il est recommande d'utiliser des techniques de description formelle afin de specifier sans ambiguite le comportement des applications considerees, et des outils de verification automatique ou semi-automatique afin de valider le bon fonctionnement de ces applications. Les techniques de description formelle existantes (notamment les trois langages normalises estelle, lotos et sdl) presentent des inconvenients et des limitations qui restreignent leur adoption en milieu industriel. Cette these vise a resou
Style APA, Harvard, Vancouver, ISO itp.
5

Ali, Mohamed Ali Ahmed. "Développement de nouveaux composants passifs multicouches et l'implémentation d'une matrice de Butler large bande et compacte en tecgnologies GIS." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2010. http://tel.archives-ouvertes.fr/tel-00542002.

Pełny tekst źródła
Streszczenie:
Développement de Nouveaux Composants Passifs Multicouches et l'Implémentation d'une Matrice de Butler Large-Bande et Compacte en Technologie GIS Les systèmes de communications sans fils actuels imposent des contraintes très sévères en termes de la capacité du canal, la qualité de transmission tout en gardant les niveaux d'interférences et multi-trajets assez faibles. De telles contraintes ont rendu les antennes multifaisceaux un élément essentiel dans ces systèmes. Parmi les techniques permettant de réaliser une antenne multifaisceaux (sans avoir recours aux systèmes à balayages électroniques)
Style APA, Harvard, Vancouver, ISO itp.
6

Hilaire, Thibault. "Analyse et synthèse de l'implémentation de lois de contrôle-commande en précision finie- Étude dans le cadre des applications automobiles sur calculateur embarquée -." Phd thesis, Université de Nantes, 2006. http://tel.archives-ouvertes.fr/tel-00086926.

Pełny tekst źródła
Streszczenie:
Cette thèse CIFRE, réalisée en collaboration industrielle entre l'IRCCyN et PSA Peugeot-Citroën, s'intéresse à l'aspect numérique de l'implémentation, au sein de calculateurs embarqués, de lois de contrôle/commande.<br /> <br />Ces travaux ont porté sur l'implémentation de lois de contrôle-commande (provenant de l'automatique ou du traitement du signal) sous les contraintes de précision finie.<br />Le processus d'implémentation amène de nombreuses dégradations de la loi et nous nous intéressons plus particulièrement à la quantification des coefficients intervenant dans les calculs.<br /><br />
Style APA, Harvard, Vancouver, ISO itp.
7

Bourbia, Salma. "Algorithmes de prise de décision pour la "cognitive radio" et optimisation du "mapping" de reconfigurabilité de l'architecture de l'implémentation numérique." Phd thesis, Supélec, 2013. http://tel.archives-ouvertes.fr/tel-00931350.

Pełny tekst źródła
Streszczenie:
Dans cette thèse nous nous intéressons au développement d'une méthode de prise de décision pour un équipement de réception de Radio Intelligente qui s'adapte dynamiquement à son environnement. L'approche que nous adoptons est basée sur la modélisation statistique de l'environnement radio. En caractérisant statistiquement les observations fournies par les capteurs de l'environnement, nous mettons en place des règles de décisions statistiques qui prennent en considération les erreurs d'observation des métriques radio, ce qui contribue à minimiser les taux des décisions erronées. Nous visons auss
Style APA, Harvard, Vancouver, ISO itp.
8

Daher, Ali. "Application de la théorie des nombres à la conception optimale et à l'implémentation de très faible complexité des filtres numériques." Phd thesis, Université de Bretagne occidentale - Brest, 2009. http://tel.archives-ouvertes.fr/tel-00490369.

Pełny tekst źródła
Streszczenie:
L'objectif principal de notre étude est de développer des algorithmes rapides pour une conception optimale et une implantation de très faible complexité des filtres numériques. Le critère d'optimisation choisi est celui de la minimisation de l'erreur quadratique moyenne. Ainsi, nous avons étudié et développé de nouveaux algorithmes de synthèse des filtres à réponse impulsionnelle finie (RIF) associés aux deux techniques de filtrage par blocs, overlap-save (OLS) et overlap-add (OLA). Ces deux techniques de filtrage RIF consistent à traiter le signal par blocs au moyen de la transformée de Fouri
Style APA, Harvard, Vancouver, ISO itp.
9

Boulos, Vincent. "Adéquation Algorithme Architecture et modèle de programmation pour l'implémentation d'algorithmes de traitement du signal et de l'image sur cluster multi-GPU." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00876668.

Pełny tekst źródła
Streszczenie:
Initialement con¸cu pour d'echarger le CPU des tˆaches de rendu graphique, le GPU estdevenu une architecture massivement parall'ele adapt'ee au traitement de donn'ees volumineuses.Alors qu'il occupe une part de march'e importante dans le Calcul Haute Performance, uned'emarche d'Ad'equation Algorithme Architecture est n'eanmoins requise pour impl'ementerefficacement un algorithme sur GPU.La contribution de cette th'ese est double. Dans un premier temps, nous pr'esentons legain significatif apport'e par l'impl'ementation optimis'ee d'un algorithme de granulom'etrie(l'ordre de grandeur passe de l
Style APA, Harvard, Vancouver, ISO itp.
10

Agbodjogbe, Basile Djessounounkon. "L'implémentation des nouveaux programmes par compétences au Bénin : des textes officiels aux pratiques d'enseignement : analyses didactiques en éducation physique et sportive et en sciences de la vie et de la terre en classe de 5ème." Phd thesis, Université Toulouse le Mirail - Toulouse II, 2013. http://tel.archives-ouvertes.fr/tel-00904230.

Pełny tekst źródła
Streszczenie:
La thèse analyse l'implémentation des nouveaux programmes d'EPS et de SVT au Bénin dans le cadre de la réforme curriculaire selon l'approche par les compétences. Cette question est envisagée selon une approche comparative en termes de transposition didactique. Trois études emboitées structurent le travail empirique. La première caractérise les nouvelles matrices disciplinaires en EPS et en SVT à partir d'une analyse de contenus des documents officiels. La seconde s'intéresse aux points de vue des acteurs impliqués dans cette réforme depuis dix ans (inspecteurs, conseillers pédagogiques, enseig
Style APA, Harvard, Vancouver, ISO itp.
11

Estibals, Nicolas. "Algorithmes et arithmétique pour l'implémentation de couplages cryptographiques." Phd thesis, Université de Lorraine, 2013. http://tel.archives-ouvertes.fr/tel-00924743.

Pełny tekst źródła
Streszczenie:
Les couplages sont des primitives cryptographiques qui interviennent désormais dans de nombreux protocoles. Dès lors, il est nécessaire de s'intéresser à leur calcul et à leur implémentation efficace. Pour ce faire, nous nous reposons sur une étude algorithmique et arithmétique de ces fonctions mathématiques. Les couplages sont des applications bilinéaires définies sur des courbes algébriques, plus particulièrement, dans le cas qui nous intéresse, des courbes elliptiques et hyperelliptiques. Nous avons choisi de nous concentrer sur une sous-famille de celles-ci : les courbes supersingulières d
Style APA, Harvard, Vancouver, ISO itp.
12

Delvallée, Marion. "Développement, évaluation et implémentation d’un programme de transition centré sur le patient pour les patients victimes d’AVC, associant un suivi par un case-manager et l’accès à une plateforme Internet d’information." Electronic Thesis or Diss., Lyon 1, 2024. https://theses.hal.science/tel-04948437.

Pełny tekst źródła
Streszczenie:
L’accident vasculaire cérébral (AVC) constitue la 2ème cause de mortalité et la 3ème cause de handicap acquis chez l’adulte à l’échelle mondiale. Le retour à domicile suite à la survenue d’un AVC est une étape clé pour le patient et son entourage. Du fait du caractère brutal de l’AVC et des durées de séjour de plus en plus courtes, les patients et leur famille doivent rapidement s’adapter au nouvel état de santé de la personne touchée et au nouveau rôle d’aidant. Actuellement, environ 60% des patients retournent à domicile directement après leur prise en charge en unité neurovasculaire (UNV).
Style APA, Harvard, Vancouver, ISO itp.
13

Ben, Hafaiedh Imane. "Systèmes à base de composants : du design à l'implémentation." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00573291.

Pełny tekst źródła
Streszczenie:
Dans cette thèse, nous nous sommes intéressés aux design, vérification et implémentation des systèmes à base de composants. Nous proposons d'abord une méthodologie de design et de vérification compositionelle et incrémentale à base de contrats pour les systèmes de composants. Nous proposons ensuite une implémentation distribuée qui permet de préserver certaines properiétés globales de ces systèmes. La méthodologie de design proposée utilise les contrats comme un moyen de contraindre, raffiner et d'implémenter les systèmes. Elle est basée sur un formalisme de contracts générique, que nous insta
Style APA, Harvard, Vancouver, ISO itp.
14

Autant, Cyril. "Réseaux de Pétri pour la sémantique et l'implémentation de processus parallèles." Phd thesis, Grenoble INPG, 1993. http://tel.archives-ouvertes.fr/tel-00343578.

Pełny tekst źródła
Streszczenie:
Dans la première partie de cette thèse, nous présentons une implémentation du langage fp2 ayant pour modèle les réseaux de Petri. Fp2 est un langage de programmation parallèle base sur la réécriture de termes et les spécifications algébriques. Nous donnons une nouvelle sémantique a fp2, de la famille des sémantiques du vrai parallélisme, et prouvons la correction de cette sémantique par rapport a la sémantique interleaving du langage. Le modèle utilise, les réseaux de Petri, et la nouvelle sémantique donnée au langage permettent une représentation plus compacte de programmes complexes, évitant
Style APA, Harvard, Vancouver, ISO itp.
15

Meftali, Samy. "Vers la reconfiguration dynamique dans les systèmes embarqués: de la modélisation à l'implémentation." Habilitation à diriger des recherches, Université des Sciences et Technologie de Lille - Lille I, 2010. http://tel.archives-ouvertes.fr/tel-00528470.

Pełny tekst źródła
Streszczenie:
Ce manuscrit résume mes travaux de recherche depuis ma thèse soutenue en septembre 2002. Certains de mes travaux présentés sont achevés à l'heure actuelle, d'autres sont en cours d'avancement ou encore à un stade exploratoire. Tout au long de ces années, mes travaux se sont inscrit dans le contexte de la conception conjointe logicielle/matérielle de SoCs dédiés aux applications de traitement de signal intensif. La complexité des systèmes ciblant ce domaine d'application ne cesse de s'accroitre lors des dernières années. En effet, les besoins grandissants, en terme de puissance de calcul et sto
Style APA, Harvard, Vancouver, ISO itp.
16

Trabelsi, Chiraz. "Contrôle matériel des systèmes partiellement reconfigurables sur FPGA : de la modélisation à l'implémentation." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2013. http://tel.archives-ouvertes.fr/tel-00852361.

Pełny tekst źródła
Streszczenie:
Ce travail propose une méthodologie de conception du contrôle pour les systèmes reconfigurables sur FPGA, visant à améliorer la productivité des concepteurs et assurer l'efficacité de l'implémentation. Cette méthodologie est basée sur un modèle de contrôle semi-distribué qui se compose d'un ensemble de contrôleurs distribués modulaires assurant chacun les tâches d'observation, de prise de décision et de reconfiguration pour une région reconfigurable du système, et d'un coordinateur entre les décisions des contrôleurs distribués afin de respecter les contraintes et objectifs globaux du système.
Style APA, Harvard, Vancouver, ISO itp.
17

Antoniu, Gabriel. "DSM-PM2 : une plate-forme portable pour l'implémentation de protocoles de cohérence multithreads pour systèmes à mémoire virtuellement partagée." Phd thesis, Ecole normale supérieure de lyon - ENS LYON, 2001. http://tel.archives-ouvertes.fr/tel-00565382.

Pełny tekst źródła
Streszczenie:
Dans leur présentation traditionnelle, les systèmes à mémoire distribuée virtuellement partagée (MVP, en anglais DSM) permettent à des processus de partager un espace d'adressage commun selon un modèle de cohérence fixé : cohérence séquentielle, à la libération, etc. Les pro- cessus peuvent habituellement être distribués sur des noeuds physiquement distincts et leurs in- teractions par la mémoire commune sont implémentées (de manière transparente) par la MVP, en utilisant une bibliothèque de communication. Dans la plupart de travaux dans ce domaine, il est sous-entendu que la MVP et l'architec
Style APA, Harvard, Vancouver, ISO itp.
18

Berrebi, Johanna. "Contribution à l'intégration d'une liaison avionique sans fil. L'ingénierie système appliquée à une problématique industrielle." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00800141.

Pełny tekst źródła
Streszczenie:
Dans un avion, un hélicoptère ou un lanceur actuel, des milliers de capteurs, pour la plupart non critiques sont utilisés pour la mesure de divers paramètres (températures, pressions, positions...) Les résultats sont ensuite acheminés par des fils vers les calculateurs de bord qui les traitent. Ceci implique la mise en place de centaines de kilomètres de câbles (500 km pour un avion de ligne) dont le volume est considérable. Il en résulte une grande complexité de conception et de fabrication, des problèmes de fiabilité, notamment au niveau des connexions, et une masse importante. Par ailleurs
Style APA, Harvard, Vancouver, ISO itp.
19

Goulier, J. "Contribution à la conception de convertisseurs analogique numérique delta sigma à temps continu, des spécifications à l'implémentation. Application à un standard de télécommunication large bande." Phd thesis, 2008. http://tel.archives-ouvertes.fr/tel-00322955.

Pełny tekst źródła
Streszczenie:
Ce travail de recherche porte sur la conversion analogique numérique delta sigma à temps continu passe-bas, et plus particulièrement sur les difficultés de réalisation de ce type de convertisseur. L'objectif global de ces recherches était la mise en place d'une méthode de conception adaptée. Dans un premier temps, le travail s'est focalisé sur le calcul d'architecture et l'obtention de coefficients adaptés à une spécification donnée. L'impact des imperfections d'horloge sur les performances de ces convertisseurs a ensuite été étudié et une méthode analytique d'estimation des dégradations intro
Style APA, Harvard, Vancouver, ISO itp.
20

Reignier, Patrick. "Intelligence Ambiante Pro-Active : de la Spécification à l'Implémentation." Habilitation à diriger des recherches, 2010. http://tel.archives-ouvertes.fr/tel-00529415.

Pełny tekst źródła
Streszczenie:
L'objectif de l'informatique ubiquitaire ou ambiante, telle que définit par Weiser dans son article de référence, est de faire disparaître l'informatique traditionnelle au profit d'un espace informatisé. L'ordinateur ambiant doit également offrir des capacités d'interaction plus naturelles, être transparent et utilisable sans effort. L'intelligence ambiante est la rencontre de l'intelligence artificielle et de l'informatique ambiante. Il s'agit de déterminer, grâce à l'ensemble des dispositifs de perception présents, l'activité des utilisateurs (le contexte) afin de mieux comprendre et anticip
Style APA, Harvard, Vancouver, ISO itp.
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii