Log in

Relevant bibliographies by topics / Systèmes de mise en cache / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Systèmes de mise en cache.

Dissertations / Theses on the topic 'Systèmes de mise en cache'

Author: Grafiati

Published: 25 May 2024

Last updated: 31 July 2025

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 'Systèmes de mise en cache.'

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

Busseuil, Rémi. "Exploration d'architecture d'accélérateurs à mémoire distribuée." Thesis, Montpellier 2, 2012. http://www.theses.fr/2012MON20218/document.

Full text

Abstract:

Bien que le développement actuel d'accélérateurs se concentre principalement sur la création de puces Multiprocesseurs (MPSoC) hétérogènes, c'est-à-dire composés de processeurs spécialisées, de nombreux acteurs de la microélectronique s'intéressent au développement d'un autre type de MPSoC, constitué d'une grille de processeurs identiques. Ces MPSoC homogènes, bien que composés de processeurs énergétiquement moins efficaces, possèdent une programmabilité et une flexibilité plus importante que les MPSoC hétérogènes, ce qui favorise notamment l'adaptation du système à la charge demandée, et offr

APA, Harvard, Vancouver, ISO, and other styles

2

Zhao, Hui. "High performance cache-aided downlink systems : novel algorithms and analysis." Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS366.

Full text

Abstract:

La thèse aborde d'abord le pire goulot d'étranglement de la mise en cache codée sans fil, qui est connue pour diminuer considérablement les gains de multidiffusion assistée par cache. Nous présentons un nouveau schéma, appelé mise en cache codée agrégée, qui peut récupérer entièrement les gains de mise en cache codée en capitalisant sur les informations partagées apportées par la contrainte de taille de fichier effectivement inévitable. La thèse passe ensuite à des scénarios avec des émetteurs avec des réseaux multi-antennes. En particulier, nous considérons maintenant le scénario multi-utilis

APA, Harvard, Vancouver, ISO, and other styles

3

Hajri, Salah Eddine. "L’amélioration des performances des systèmes sans fil 5G par groupements adaptatifs des utilisateurs." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLC029/document.

Full text

Abstract:

5G est prévu pour s'attaquer, en plus d'une augmentation considérable du volume de trafic, la tâche de connecter des milliards d'appareils avec des exigences de service hétérogènes. Afin de relever les défis de la 5G, nous préconisons une utilisation plus efficace des informations disponibles, avec plus de sensibilisation par rapport aux services et aux utilisateurs, et une expansion de l'intelligence du RAN. En particulier, nous nous concentrons sur deux activateurs clés de la 5G, à savoir le MIMO massif et la mise en cache proactive. Dans le troisième chapitre, nous nous concentrons sur la p

APA, Harvard, Vancouver, ISO, and other styles

4

Lottiaux, Renaud. "Gestion globale de la mémoire physique d'une grappe pour un système à image unique : : mise en oeuvre dans le système Gobelins." Rennes 1, 2001. http://www.theses.fr/2001REN10097.

Full text

Abstract:

Cette thèse portent sur la conception d'un système d'exploitation dédié aux grappes d'ordinateurs. L'objectif est de fournir un système à image unique au dessus d'une grappe. Pour cela, nous proposons un mécanisme logiciel appelé conteneur, fondé sur une gestion globale de la mémoire physique des noeuds d'une grappe. Ce mécanisme permet de stocker et de partager des données entre les noyaux d'un système d'exploitation hôte. Les conteneurs sont intégrés au sein du système hôte grâce à un ensemble de lieurs, qui sont des éléments logiciels intercalés entre les gestionnaires de périphériques et l

APA, Harvard, Vancouver, ISO, and other styles

5

Giannakas, Theodoros. "Joint modeling and optimization of caching and recommendation systems." Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS317.

Full text

Abstract:

La mise en cache du contenu au plus près des utilisateurs a été proposée comme un scénario gagnant-gagnant afin d'offrir de meilleurs tarifs aux utilisateurs tout en économisant sur les coûts des opérateurs. Néanmoins, la mise en cache peut réussir si les fichiers mis en cache parviennent à attirer un grand nombre de demandes. À cette fin, nous profitons du fait qu'Internet est de plus en plus axé sur le divertissement et proposons de lier les systèmes de recommandation et la mise en cache afin d'augmenter le taux de réussite. Nous modélisons un utilisateur qui demande plusieurs contenus à par

APA, Harvard, Vancouver, ISO, and other styles

6

Tsigkari, Dimitra. "Algorithms and Cooperation Models in Caching and Recommendation Systems." Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS210.

Full text

Abstract:

Dans le contexte des services de streaming vidéo à la demande, la mise en cache et la politique de recommandation ont un impact sur la satisfaction des utilisateurs, ainsi que des implications financières pour le fournisseur de contenu (CP) et le fournisseur du réseau de diffusion de contenu (CDN). Bien que la mise en cache et les recommandations soient traditionnellement décidées indépendamment les unes des autres, l'idée de concevoir ensemble ces décisions pourrait minimiser les coûts de distribution et le trafic Internet. Cette thèse suit cette direction d'exploitation de la codépendance de

APA, Harvard, Vancouver, ISO, and other styles

7

Kamel, Sarah. "Sécurité pour les réseaux sans fil." Thesis, Paris, ENST, 2017. http://www.theses.fr/2017ENST0011/document.

Full text

Abstract:

Aujourd’hui, le renforcement de la sécurité des systèmes de communications devient une nécessité, par anticipation du développement des ordinateurs quantiques et des nouvelles attaques qui en découleront. Cette thèse explore deux techniques complémentaires permettant d’assurer la confidentialité des données transmises sur des liens sans-fils. Dans la première partie de ce travail, nous nous intéressons au schéma de cryptographie à clé publique basée sur des réseaux de points, qui représente une des techniques les plus prometteuses pour la cryptographie post-quantique. En particulier, nous cons

APA, Harvard, Vancouver, ISO, and other styles

8

Kamel, Sarah. "Sécurité pour les réseaux sans fil." Electronic Thesis or Diss., Paris, ENST, 2017. http://www.theses.fr/2017ENST0011.

Full text

Abstract:

Aujourd’hui, le renforcement de la sécurité des systèmes de communications devient une nécessité, par anticipation du développement des ordinateurs quantiques et des nouvelles attaques qui en découleront. Cette thèse explore deux techniques complémentaires permettant d’assurer la confidentialité des données transmises sur des liens sans-fils. Dans la première partie de ce travail, nous nous intéressons au schéma de cryptographie à clé publique basée sur des réseaux de points, qui représente une des techniques les plus prometteuses pour la cryptographie post-quantique. En particulier, nous cons

APA, Harvard, Vancouver, ISO, and other styles

9

Thomas-Chauffin, Solene. "SSII, laboratoire de formes modernes de mise au travail ?" Thesis, Lyon 2, 2013. http://www.theses.fr/2013LYO20122.

Full text

Abstract:

En définissant les notions de „travail“ et de „ métier“, nous avons observé l’importance du „système d’information“ dans la réinvention du „travail“. Constatant la disparition ainsi que la modification des métiers ; en atteste les licenciements et les réorganisations des entreprises ; le travail ne disparait pas pour autant et s’invite sous de nouvelles formes, comme les statuts auto-entrepreneur et stagiaire, mais aussi en positionnant le consommateur comme travailleur. Du travail visible, sous la forme d’un travail salarié, au travail „caché“, c‘est la société tout entière qui s’en trouve ré

APA, Harvard, Vancouver, ISO, and other styles

10

Ben, Ammar Hamza. "On models for performance evaluation and cache resources placement in multi-cache networks." Thesis, Rennes 1, 2019. http://www.theses.fr/2019REN1S006/document.

Full text

Abstract:

Au cours des dernières années, les fournisseurs de contenu ont connu une forte augmentation des demandes de contenus vidéo et de services riches en média. Compte tenu des limites de la mise à l'échelle du réseau et au-delà des réseaux de diffusion de contenu, les fournisseurs de services Internet développent leurs propres systèmes de mise en cache afin d'améliorer la performance du réseau. Ces facteurs expliquent l'enthousiasme à l'égard du concept de réseau centré sur le contenu et de sa fonction de mise en cache en réseau. La quantification analytique de la performance de la mise en cache n'

APA, Harvard, Vancouver, ISO, and other styles

11

Van, Assche Vincent. "Etude et mise en oeuvre de commandes distribuées." Nantes, 2002. http://www.theses.fr/2002NANT2015.

Full text

Abstract:

Nous considérons dans ce travail des systèmes linéaires définis sur un anneau d'opérateurs (de tels systèmes peuvent servir à modéliser des systèmes à retards). Nous nous plaçons dans le cas où les commandes peuvent faire intervenir des retards distribués. On s'intéresse alors à la réalisation par bouclages (dynamiques, statiques, répartis) de précompensateurs. Nous apportons plusieurs solutions originales à ce problème, lorsque les modèles sont définis sur l'anneau des polynômes à plusieurs variables ou sur l'anneau [epsilon]. Les retards distribués ne peuvent pas en général être directement

APA, Harvard, Vancouver, ISO, and other styles

12

Averseng, Julien. "Mise en oeuvre et contrôle des systèmes de tenségrité." Montpellier 2, 2004. http://www.theses.fr/2004MON20188.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Mebsout, Alain. "Inférence d'invariants pour le model checking de systèmes paramétrés." Thesis, Paris 11, 2014. http://www.theses.fr/2014PA112188/document.

Full text

Abstract:

Cette thèse aborde le problème de la vérification automatique de systèmesparamétrés complexes. Cette approche est importante car elle permet de garantircertaines propriétés sans connaître a priori le nombre de composants dusystème. On s'intéresse en particulier à la sûreté de ces systèmes et on traitele côté paramétré du problème avec des méthodes symboliques. Ces travauxs'inscrivent dans le cadre théorique du model checking modulo théories et ontdonné lieu à un nouveau model checker : Cubicle.Une des contributions principale de cette thèse est une nouvelle technique pourinférer des invariants

APA, Harvard, Vancouver, ISO, and other styles

14

Aubert, Olivier. "Patron de conception pour l'analyse et la construction de systèmes à comportements autoadaptatifs." Rennes 1, 2001. http://www.theses.fr/2001REN10140.

Full text

Abstract:

La grande complexité des grands systèmes informatiques tels que les caches web ou les systèmes mobiles ainsi que leur la dynamicité de leur environnement rend plus ardue leur administration du fait du grand nombre de réglages qu'elle entraîne. L'introduction de mécanismes d'adaptation automatique dans les systèmes augmente leur autonomie et les rend plus facilement administrables. Pour atteindre cet objectif, nous proposons une classification des systèmes d'adaptation permettant de préciser le vocabulaire et les mécanismes mis en jeu. Dans le cadre de l'adaptation dynamique de comportements, n

APA, Harvard, Vancouver, ISO, and other styles

15

Mabed, Malha. "Evaluation et mise en oeuvre des systèmes de production cyclique." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2005. http://tel.archives-ouvertes.fr/tel-00850443.

Full text

Abstract:

L'évolution de l'environnement des entreprises a transformé la nature des relations entre elles, qui de simple relations d'achat entre clients et fournisseurs se sont transformées en des rapports plus contractualisés et plus durables. Ces derniers imposent à ces entreprises de revoir leurs méthodes de gestion et de production pour une meilleure synchronisation de leurs flux. Nous nous intéressons dans ce mémoire à une relation particulière entre clients et fournisseurs, celle fondée sur le principe de livraisons cycliques, selon lequel le fournisseur s 'engage à livrer des quantités de produit

APA, Harvard, Vancouver, ISO, and other styles

16

Ballo, Moïse. "Elements pour la mise en place d'un système d'information urbain à Bamako." Aix-Marseille 1, 1999. http://www.theses.fr/1999AIX10050.

Full text

Abstract:

Face a la croissance effrenee des villes africaines et a la crise qui en decoule sur les plans economique, social, politique et environnemental , les scientifiques et les gestionnaires de la ville sont a la recherche de methodes, de techniques et d'outils alternatifs venant enrichir les approches classiques. Dans cette perspective, les systemes d'information geographiques suscitent un interet grandissant et ont tendance a faire l'objet d'une adoption massive. Sans mettre en cause cette tendance, ii est urgent et imperieux d'engager une reflexion approfondie sur les conditions d'une utilisation

APA, Harvard, Vancouver, ISO, and other styles

17

Wu, Yao Kuang Rasoavololona Marie-Blandine. "Robustesse des systèmes auteurs multimédia : contribution théorique et mise en œuvre." Phd thesis, Université Paris VIII Vincennes-Saint Denis, 2000. http://tel.archives-ouvertes.fr/edutice-00000313.

Full text

Abstract:

Les systèmes auteurs sont des outils de développement permettant à tout individu de concevoir un didacticiel ou un autre type de logiciel afin de partager leurs connaissances avec le minimum d'effort au niveau programmation informatique. Mais, l'impact ou le résultat de ces concepts n'est malheureusement pas proportionnel aux efforts et aux mérites des chercheurs et des professionnels qui s'y sont investis. La complexité des fonctions et des problèmes rencontrés par les personnes initiées ou non à la conception, la distribution physique et fonctionnelle des erreurs et l'hétérogénéité de moyens

APA, Harvard, Vancouver, ISO, and other styles

18

Malta, Carmelo. "Les systèmes transactionnels pour environnements d'objets : principes et mise en oeuvre." Montpellier 2, 1993. http://www.theses.fr/1993MON20154.

Full text

Abstract:

Le controle des acces concurrents a des donnees partagees et manipulees simultanement par plusieurs utilisateurs, ainsi que la reprise, sont des composantes essentielles de tout systeme de gestion de donnees actuel. Tout d'abord, une technique de controle de concurrence adaptee aux bases de donnees a objets, car s'appuyant sur le graphe d'heritage, est proposee. Par la suite, une technique plus fine de controle de concurrence et de reprise exploitant la commutativite des operations est introduite et mise en uvre. Enfin, une variante qui automatise l'extraction des proprietes de commutativite e

APA, Harvard, Vancouver, ISO, and other styles

19

Boher, Laurent. "Etude et mise en oeuvre de récepteurs itéractifs pour systèmes MIMO." Rennes, INSA, 2008. http://www.theses.fr/2008ISAR0017.

Full text

Abstract:

Les systèmes MIMO constitués de plusieurs antennes à l'émission et à la réception offrent un gain en capacité grâce à l'exploitation de la diversité spatiale. La plupart des techniques MIMO introduisent cependant de l'interférence co-antenne qui doit être annulée pour profiter au mieux de la diversité. Les techniques itératives basées sur le principe de la turbo-égalisation permettent de traiter cette interférence mais souffrent d'une forte complexité. On étudie ici la faisabilité et la complexité de solutions itératives pour des systèmes MIMO. Tout d'abord, l'étude des solutions itératives ex

APA, Harvard, Vancouver, ISO, and other styles

20

Wu, Yao Kuang Marie-Blandine. "Robustesse des systèmes auteurs multimédias : contribution théorique et mise en oeuvre." Paris 8, 2000. http://www.theses.fr/2000PA081746.

Full text

Abstract:

Les systemes auteurs multimedias ou sam sont des outils de developpement permettant a tout individu de concevoir un didacticiel ou tout type de logiciel pour partager leurs connaissances avec le minimum d'effort en programmation. Mais le resultat de ces concepts n'est pas proportionnel aux efforts et aux merites des chercheurs et des professionnels qui s'y sont investis. La complexite des fonctions et des problemes rencontres par les personnes initiees ou non a la conception, la distribution physique et fonctionnelle des erreurs et l'heterogeneite des moyens et des medias mis en oeuvre ne faci

APA, Harvard, Vancouver, ISO, and other styles

21

Kriouile, Abderahman. "Formal methods for functional verification of cache-coherent systems-on-chip." Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM041/document.

Full text

Abstract:

Les architectures des systèmes sur puce (System-on-Chip, SoC) actuelles intègrent de nombreux composants différents tels que les processeurs, les accélérateurs, les mémoires et les blocs d'entrée/sortie, certains pouvant contenir des caches. Vu que l'effort de validation basée sur la simulation, actuellement utilisée dans l'industrie, croît de façon exponentielle avec la complexité des SoCs, nous nous intéressons à des techniques de vérification formelle. Nous utilisons la boîte à outils CADP pour développer et valider un modèle formel d'un SoC générique conforme à la spécification AMBA 4 ACE

APA, Harvard, Vancouver, ISO, and other styles

22

Yu, Shuai. "Multi-user computation offloading in mobile edge computing." Electronic Thesis or Diss., Sorbonne université, 2018. http://www.theses.fr/2018SORUS462.

Full text

Abstract:

Mobile Edge Computing (MEC) est un modèle informatique émergent qui étend le cloud et ses services à la périphérie du réseau. Envisager l'exécution d'applications émergentes à forte intensité de ressources dans le réseau MEC, le déchargement de calcul est un paradigme éprouvé réussi pour activer des applications gourmandes en ressources sur les appareils mobiles. De plus, compte tenu de l'émergence de l'application collaborative mobile (MCA), les tâches déchargées peuvent être dupliquées lorsque plusieurs utilisateurs se trouvent à proximité. Cela nous motive à concevoir un schéma de déchargem

APA, Harvard, Vancouver, ISO, and other styles

23

Abbas, Laurent. "Mise au point d'un procédé de réticulation retardée de polymères après mise en forme : Systèmes dormants par vectorisation." Université Louis Pasteur (Strasbourg) (1971-2008), 2006. https://publication-theses.unistra.fr/restreint/theses_doctorat/2006/ABBAS_Laurent_2006.pdf.

Full text

Abstract:

Le travail de thèse présenté dans ce manuscrit a consisté en la mise au point d’un nouveau procédé de réticulation d’une matrice polyoléfine fonctionnalisée. Le procédé « systèmes dormants par vectorisation » est basé sur la compétition entre une cinétique de réaction et une cinétique de diffusion, obtenue suite au confinement réversible d’un des constituants de la réaction dans des particules appelées vecteurs. Schématiquement, les particules de vecteur peuvent être représentées comme des réservoirs qui permettent la libération contrôlée de l’espèce « piégée ». Les deux objectifs de cette étu

APA, Harvard, Vancouver, ISO, and other styles

24

Méndez, Real Maria. "Spatial Isolation against Logical Cache-based Side-Channel Attacks in Many-Core Architectures." Thesis, Lorient, 2017. http://www.theses.fr/2017LORIS454/document.

Full text

Abstract:

L’évolution technologique ainsi que l’augmentation incessante de la puissance de calcul requise par les applications font des architectures ”many-core” la nouvelle tendance dans la conception des processeurs. Ces architectures sont composées d’un grand nombre de ressources de calcul (des centaines ou davantage) ce qui offre du parallélisme massif et un niveau de performance très élevé. En effet, les architectures many-core permettent d’exécuter en parallèle un grand nombre d’applications, venant d’origines diverses et de niveaux de sensibilité et de confiance différents, tout en partageant des

APA, Harvard, Vancouver, ISO, and other styles

25

Vercouter, Laurent. "Conception et mise en oeuvre de systèmes multi-agents ouverts et distribués." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2000. http://tel.archives-ouvertes.fr/tel-00839604.

Full text

Abstract:

Un Système Multi-Agents (SMA) ouvert est un système extensible et évolutif. Son extension se traduit par la possibilité d'ajouter de nouveaux agents mais aussi de gérer leurs retraits. De plus, un SMA ouvert doit permettre l'évolution de ses agents. Nous nous sommes intéressés à la conception de SMA ouverts du point de vue de la représentation des autres maintenue par chaque agent du système. L'ouverture peut conduire la représentation qu'un agent a des autres, à devenir fausse ou incomplète. Dans les travaux existants, l'ouverture d'un SMA est gérée de manière centrale par une entité regroupa

APA, Harvard, Vancouver, ISO, and other styles

26

Gao, Yang. "Contrôleur de cache générique pour une architecture manycore massivement parallèle à mémoire partagée cohérente." Paris 6, 2011. http://www.theses.fr/2011PA066296.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Pecci, Isabelle. "Contribution à la définition et à la mise en oeuvre d'un dialogue adaptatif pour la CAO." Metz, 1997. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1997/Stemart.Isabelle.SMZ9701.pdf.

Full text

Abstract:

La CFAO (conception et fabrication assistées par ordinateur) gère l'ensemble des aides informatiques utilisées dans une entreprise pour réaliser un produit. Les systèmes de CFAO qui en découlent permettent de concevoir un prototype virtuel du produit. Pour obtenir de bons résultats, le dialogue homme/machine propose doit être performant. On s'intéresse a la maitrise des connaissances pour rendre le dialogue adaptatif i. E. Obtenir un dialogue qui répond aux attentes des utilisateurs, qui gère leur caractère opportuniste et qui offre de nombreuses possibilités afin de les aider. Une étude des b

APA, Harvard, Vancouver, ISO, and other styles

28

Ouaarab, Salaheddine. "Protection du contenu des mémoires externes dans les systèmes embarqués, aspect matériel." Thesis, Paris, ENST, 2016. http://www.theses.fr/2016ENST0046/document.

Full text

Abstract:

Ces dernières années, les systèmes informatiques (Cloud Computing, systèmes embarqués, etc.) sont devenus omniprésents. La plupart de ces systèmes utilisent des espaces de stockage (flash,RAM, etc.) non fiables ou non dignes de confiance pour stocker du code ou des données. La confidentialité et l’intégrité de ces données peuvent être menacées par des attaques matérielles (espionnage de bus de communication entre le composant de calcul et le composant de stockage) ou logicielles. Ces attaques peuvent ainsi révéler des informations sensibles à l’adversaire ou perturber le bon fonctionnement du

APA, Harvard, Vancouver, ISO, and other styles

29

Ochs, Magalie. "Modélisation, formalisation et mise en œuvre d'un agent rationnel dialoguant émotionnel empathique." Paris 8, 2007. http://octaviana.fr/document/13337923X#?c=0&m=0&s=0&cv=0.

Full text

Abstract:

Les recherches tendent à montrer que les agents virtuels capables d'exprimer des émotions d'empathie permettent d'améliorer l'interaction humain-machine. De tels agents doivent connaître dans quelles circonstances quelles émotions peuvent apparaître durant l'interaction. Pour ce faire, une analyse exploratoire de situations de dialogues réels humain-machine ayant amené l'utilisateur à exprimer des émotions a été réalisée. Ces résultats ont été étudiés à la lumière des descriptions théoriques des émotions en psychologie cognitive afin d'identifier les types d'émotions pouvant apparaître durant

APA, Harvard, Vancouver, ISO, and other styles

30

Bhatia, Sapan. "Optimisations de compilateur optimistes pour les systèmes réseaux." Bordeaux 1, 2006. http://www.theses.fr/2006BOR13169.

Full text

Abstract:

Cette thèse présente un ensemble de techniques qui permettent l'optimisation des performances des systèmes réseaux modernes. Ces techniques reposent sur l'analyse et la transformation des programmes impliqués dans la mise en oeuvre des protocoles réseaux. La première de ces techniques fait appel à la spécialisation de programmes pour optimiser des piles de protocoles réseaux. La deuxième, que nous avons nommée spécialisation distante, permet à des systèmes embarqués limités en ressources de bénéficier de la pécialisation de programmes en déportant à travers le réseaux les opérations de spécial

APA, Harvard, Vancouver, ISO, and other styles

31

Zayati, Ahlem. "Mise en oeuvre des architectures orientées services pour les systèmes d'information industriels." Phd thesis, INSA de Lyon, 2012. http://tel.archives-ouvertes.fr/tel-00828310.

Full text

Abstract:

Pour faire face aux contraintes économiques (demande de plus en plus importante pour de la personnalisation de masse, globalisation et réduction des coûts...), le développement de stratégies de production " Juste À Temps ", ou " Lean Manufacturing " impose la réorganisation de l'entreprise sur les activités génératrices de valeur en suivant une logique de chaîne de valeur pour éviter tout gaspillage. Cette stratégie conduit de fait à un recentrage métier et une extension de la chaîne de valeur. L'entreprise est donc amenée à développer des stratégies de collaboration (Bare et Cox, 2008 ; Davis

APA, Harvard, Vancouver, ISO, and other styles

32

Guillemenet, Jérôme. "Etude expérimentale de la mise en forme de systèmes acier-polymère-acier." Mulhouse, 2000. http://www.theses.fr/2000MULH0626.

Full text

Abstract:

La mise en forme des assemblages acier/polymère/acier est une opération délicate et conduit à une chute de l'adhérence voire à une rupture de l'assemblage. Le but de cette thèse est d'établir un lien entre les propriétés cohésives du film de polymère, l'adhésion polymère/acier et l'emboutissabilité des tôles sandwich. En accord avec le modèle rhéologique de l'adhérence, l'énergie d'adhérence, mesurée par clivage, dépend de la vitesse d'introduction du coin. Une analogie entre l'évolution du module d'élasticité de l'adhésif avec la vitesse d'une part et l'évolution de l'énergie d'adhérence avec

APA, Harvard, Vancouver, ISO, and other styles

33

Choffel, Olivier. "L' esthétique prothétique : apport et mise en oeuvre de nouveaux systèmes céramiques." Strasbourg 1, 2002. http://www.theses.fr/2002STR1D014.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Gueddana, Sofiane. "Conception, mise en oeuvre et évaluation de systèmes de communication multi-échelles." Paris 11, 2009. http://www.theses.fr/2009PA112175.

Full text

Abstract:

La communication non médiatisée prend généralement plusieurs formes, et la transition d’une situation à l’autre est fluide et continue. A l’inverse, les outils de communication existants permettent rarement d'ajuster progressivement le flux d'information échangé. Cette thèse propose donc de concevoir des systèmes de communication multi-échelles qui offrent des services à différents degrés d’engagement et permettent la transition fluide entre ces services. Cette approche est illustrée par le système de communication vidéo, Pêle-Mêle, qui utilise des techniques de vision par ordinateur, des filt

APA, Harvard, Vancouver, ISO, and other styles

35

Romero, Eduardo Luis. "Mise en oeuvre des protocoles SIP et RTP sur système embarqué." Mémoire, Université de Sherbrooke, 2009. http://savoirs.usherbrooke.ca/handle/11143/1504.

Full text

Abstract:

L'avènement de la VoIP (Voice over IP) a déclenché une période de profonds changements dans le marché des télécommunications. En particulier, dans le secteur de la téléphonie résidentielle, cette technologie s'est consolidée, rapidement et pour de nombreuses raisons, comme l'évolution de la téléphonie traditionnelle. Dès les tous débuts, et afin d'établir une base de compatibilité permettant l'interconnexion de plusieurs réseaux téléphoniques et la convergence entre les systèmes traditionnels analogiques et leur évolution numérique, l'industrie a demandé l'établissement de cadres normatifs. En

APA, Harvard, Vancouver, ISO, and other styles

36

Falcone, Yliès Carlo. "Etude et mise en oeuvre de techniques de validation à l'exécution." Université Joseph Fourier (Grenoble), 2009. http://www.theses.fr/2009GRE10239.

Full text

Abstract:

L'étude de cette thèse porte sur trois méthodes de validation dynamiques : les méthodes de vérification, d'enforcement (mise en application), et de test de propriétés lors de l'exécution des systèmes. Nous nous intéresserons à ces approches en l'absence de spécification comportementale du système à valider. Pour notre étude, nous nous plaçons dans la classification Safety-Progress des propriétés. Ce cadre offre plusieurs avantages pour la spécification de propriétés sur les systèmes. Nous avons adapté les résultats de cette classification, initialement développés pour les séquences infinies, p

APA, Harvard, Vancouver, ISO, and other styles

37

Ouaarab, Salaheddine. "Protection du contenu des mémoires externes dans les systèmes embarqués, aspect matériel." Electronic Thesis or Diss., Paris, ENST, 2016. http://www.theses.fr/2016ENST0046.

Full text

Abstract:

Ces dernières années, les systèmes informatiques (Cloud Computing, systèmes embarqués, etc.) sont devenus omniprésents. La plupart de ces systèmes utilisent des espaces de stockage (flash,RAM, etc.) non fiables ou non dignes de confiance pour stocker du code ou des données. La confidentialité et l’intégrité de ces données peuvent être menacées par des attaques matérielles (espionnage de bus de communication entre le composant de calcul et le composant de stockage) ou logicielles. Ces attaques peuvent ainsi révéler des informations sensibles à l’adversaire ou perturber le bon fonctionnement du

APA, Harvard, Vancouver, ISO, and other styles

38

Guthmuller, Èric. "Architecture adaptative de mémoire cache exploitant les techniques d'empilement tridimensionnel dans le contexte des multiprocesseurs intégrés sur puce." Paris 6, 2013. http://www.theses.fr/2013PA066096.

Full text

Abstract:

La parallélisation des architectures de processeur a entraîné un besoin toujours accru en bande passante vers la mémoire principale. Les processeurs multicoeurs demandent une telle quantité de mémoire cache qu’il devient difficile d’intégrer autant de mémoire aux côtés des processeurs. L’émergence des technologies d’empilement tridimensionnel rend possible l’empilement de mémoire au-dessus des processeurs. Dans cette thèse, nous proposons une architecture de cache 3D pour manycore exploitant les techniques d’empilement tridimensionnel pour dépasser les limitations des architectures existantes.

APA, Harvard, Vancouver, ISO, and other styles

39

Annichini, Collomb Aurore. "Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre." Phd thesis, Université Joseph Fourier (Grenoble), 2001. http://tel.archives-ouvertes.fr/tel-00004334.

Full text

Abstract:

Dans le cadre de la télécommunication, les entreprises développent des protocoles gérant le transfert de données entre machines. Ces protocoles fonctionnent sur le principe d'envoi de messages entre deux parties par l'intermédiaire de canaux non fiables. Pour s'assurer que tous les messages ont bien été reçus, les techniques employées consistent à réémettre les messages perdus et/ou à attendre un laps de temps déterminé avant de conclure à l'échec de la transmission. De plus, les systèmes sont souvent modélisés en fonction de paramètres. Nous avons travaillé sur un modèle mathématique permetta

APA, Harvard, Vancouver, ISO, and other styles

40

Rifi, Omar. "Mise-à-jour des bases de croyances logiques et changement minimal." Toulouse 3, 2000. http://www.theses.fr/2000TOU30082.

Full text

Abstract:

Dans cette étude nous examinons les différents opérateurs de mise-à-jour des bases de croyances de la littérature. Dans un premier temps, nous introduisons trois nouveaux opérateurs pour répondre aux critiques faites (dans la littérature et par nous-même) à certains de ces opérateurs. Nous caractérisons complètement les opérateurs existant et ceux précédemment définis. Nous comparons alors leur force et leur complexité. Nous évaluons ensuite ces opérateurs par rapport aux postulats proposés par Katsuno et Mendelzon. Il apparaît que la plupart de ces opérateurs violent la majorité de ces postul

APA, Harvard, Vancouver, ISO, and other styles

41

Dupuis, Matthieu. "Processus de mise en place et évolution des systèmes de volcans de boue." Thesis, Lille 1, 2017. http://www.theses.fr/2017LIL10057/document.

Full text

Abstract:

Cette thèse porte sur les mécanismes responsables de la croissance de systèmes de volcans de boue ainsi que sur les processus qui gouvernent leur évolution de surface. L’étude s’appuie sur une analyse structurale sur données sismiques faite sur deux structures anticlinales localisées dans le NW du Bassin Sud Caspien ainsi que sur une analyse structurale de terrain approfondie couplée à une imagerie de la sub-surface des édifices par résistivité électrique ainsi que par études géochimiques d’édifices volcaniques localisés dans la continuité onshore du bassin de la Kura en Azerbaïdjan. Les volca

APA, Harvard, Vancouver, ISO, and other styles

42

BRYCE, CIARAN. "Etude et mise en oeuvre de propriétés de sécurité dans les systèmes informatiques." Rennes 1, 1994. http://www.theses.fr/1994REN10219.

Full text

Abstract:

Le but de cette these est la verification des proprietes de securite de programmes paralleles. Dans la premiere partie de cette these, nous presentons un mecanisme de controle d'acces et nous l'integrons dans un langage objets-orientes parallele. La deuxieme partie de la these presente un systeme de preuve de securite pour un langage parallele. Ce systeme est utilise pour verifier qu'il n'existe pas de fuite d'informations illegale entre les variables d'un programme. Nous adaptons ce mecanisme en une version pour un compilateur ainsi qu'en un mecanisme qui s'integre dans la machine d'execution

APA, Harvard, Vancouver, ISO, and other styles

43

Méaille, Robert. "Les Systèmes d'Information Géographique : structure, mise en oeuvre et utilisation dans différentes études." Phd thesis, Nice, 1988. http://pastel.archives-ouvertes.fr/pastel-00957266.

Full text

Abstract:

L'augmentation de la quantité d'information disponible pour appréhender l'environnement a nécessité la création d'une nouvelle structure de gestion de l'information : le Système d'Information Géographique (SIG). Deux types de SIG peuvent être trouvés : ceux couvrant une large zone (de la taille d'un pays), et ceux plus locaux dont la plupart possèdent un but précis. Quoique la philosophie de ces deux structures soit la même, la mise en oeuvre et la gestion restent plus aisées pour les SIG locaux. La création et la mise en oeuvre d'un ou plusieurs SIG sont discutées. Trois exemples d'utilisatio

APA, Harvard, Vancouver, ISO, and other styles

44

Latiri-Otthoffer, Lamia. "La mise en paysage des systèmes d'irrigation dans les oasis du Sud tunisien." Paris 1, 1999. http://www.theses.fr/1999PA010530.

Full text

Abstract:

L'objet de cette recherche a pour but l'étude épistémologiques du concept paysage dans la culture arabo-musulmane à travers cinq axes. Le premier axe se consacre à l'étude du concept paysage dans la langue arabe. Le second axe s'intéresse, à travers les représentations iconographiques, à l'étude des représentations licites et illicites et à la place qu'occupe le paysage dans les miniatures. Le troisième axe analyse les descriptions géographiques littéraires arabes du IX-XIe siècle et les modèles de représentation paysagers dégagés des descriptions objectives et subjectives du territoire : les

APA, Harvard, Vancouver, ISO, and other styles

45

Bonnel, Cédric. "Mise en place des lobes distaux dans les systèmes turbiditiques actuels : analyse comparée des systèmes du Zaïre, Var, et Rhône." Bordeaux 1, 2005. http://www.theses.fr/2005BOR13060.

Full text

Abstract:

"Dans la littérature, le terme "lobe" a été employé pour définir un très grand nombre d'objets ou faciès sédimentaires associés à la mise en place des éventails profonds, mais depuis les années 90 le terme lobe est essentiellement employé pour définir la zone de dépôt située au débouché des chenaux. Très peu d'études exhaustives, regroupant des données de bathymétrie, d'imagerie, de sonar, de sismique, de carottages et d'observation in situ, ont été jusqu'à ce jour, publiées. Ce travail réalisé dans le cadre d'une collaboration Ifremer, Université Bordeaux 1 et Total, repose sur l'étude de tro

APA, Harvard, Vancouver, ISO, and other styles

46

Admane, Ayaden Farida. "Mise en oeuvre des systèmes d'information géographique pour la prise de décision : démarches et outils." Toulouse 1, 2008. http://www.theses.fr/2008TOU10045.

Full text

Abstract:

Un SIG, dans son double rôle de conservation de données géographiques descriptives d'un espace et de positionnement géographique de données dites attributaires, est un élément majeur du SI d'une organisation, et amène de l'aide à la décision spécifique. La dimension spatiale ajoute une complexité et demande une réflexion différente tant au niveau des situations de décision ( c'est à dire l'usage par les organisations) qu'au niveau des processus cognitifs des décideurs (prise de décision elle-même). Notre travail propose des solutions méthodologiques et techniques, basées sur des réflexions thé

APA, Harvard, Vancouver, ISO, and other styles

47

Hamel, Philippe. "S. I. G. Du Grand Caen : conception et mise en oeuvre." Caen, 1996. http://www.theses.fr/1996CAEN1199.

Full text

Abstract:

Le grand caen constitue un champ d'investigation complexe, qui necessite une methode d'investigation adaptee : un systeme d'information geographique (ou s. I. G. ). Il convient d'abord d'organiser cette methode. Celle-ci comprend les constantes de la methode scientifique : demonstration, theorisation, explication. Elle comprend aussi des preoccupations supplementaires liees a la construction d'une base de donnees geographique, et a l'exploitation de cette base a l'aide d'un systeme de gestion de base de donnees localisees, notamment aux fins d'analyse d'un espace geographique et de cartographi

APA, Harvard, Vancouver, ISO, and other styles

48

Epardaud, Stéphane. "Mise en oeuvre d'un langage à mobilité forte." Nice, 2008. http://www.theses.fr/2008NICE4010.

Full text

Abstract:

Afin de résoudre les problèmes liés à l’intégration d’un nombre croissant d’appareils programmables, nous proposons un langage d’agents mobiles. Ces agents mobiles sont capables de migrer d’un appareil ou ordinateur `a l’autre afin d’exploiter au mieux ses ressources, ce qui permet de profiter au mieux des capacités de chaque appareil à partir d’un unique programme. Ce langage est ULM: Un Langage pour la Mobilité. Nous présentons dans cette thèse ses fonctionnalités, ses particularités, ainsi que sa mise en oeuvre. ULM est un dérivé du langage Scheme, auquel nous avons ajouté les fonctionnalit

APA, Harvard, Vancouver, ISO, and other styles

49

Sibille, Patrick. "Analyses de la mise en œuvre de méthodes d'estimation paramétrique." Nancy 1, 1990. http://www.theses.fr/1990NAN10043.

Full text

Abstract:

Le travail présente dans ce mémoire est relatif à la mise en œuvre de méthodes d'estimation paramétrique. Après une présentation générale du problème de modélisation/identification des processus, le problème de l'estimation des paramètres des modèles des systèmes linéaires invariants est traité. Les méthodes abordées sont classées en deux familles : les méthodes d'estimation hors-ligne utilisant les données en temps différé, et les méthodes d'estimation récurrentes exploitant les données en temps réel. La première partie de ce travail est consacrée à la première famille. Dans cette partie, les

APA, Harvard, Vancouver, ISO, and other styles

50

Hivet, Gilles. "Modélisation mésoscopique pour le comportement bi-axial et la mise en forme des renforts de composites tissés." Orléans, 2002. http://www.theses.fr/2002ORLE2036.

Full text

Abstract:

Le comportement mécanique des renforts de composites tissés secs est très spécifique. La particularité de ces matériaux est que la rigidité de tension est prépondérante par rapport aux autres. L'entrelacement des mèches au sein du tissu impose que l'état de tension-déformation dans une direction dépend de celui de la direction transverse. Cette étude propose une représentation de ce comportement sous forme de surfaces à partir d'expériences réalisées antérieurement. Afin d'identifier analytiquement la géométrie et les surfaces de comportement, un modèle mésoscopique géométriquement cohérent et

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!