Zaloguj się

Gotowe bibliografie tematyczne / Modèle de programmation MapReduce / Rozprawy doktorskie

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Modèle de programmation MapReduce.

Rozprawy doktorskie na temat „Modèle de programmation MapReduce”

Autor: Grafiati

Data publikacji: 12 października 2024

Data aktualizacji: 31 lipca 2025

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

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Modèle de programmation MapReduce”.

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

Rivault, Sébastien. "Parallélisme, équilibrage de charges et extensibilité dans le traitement des mégadonnées sur des systèmes à grande échelle." Electronic Thesis or Diss., Orléans, 2024. http://www.theses.fr/2024ORLE1019.

Pełny tekst źródła

Streszczenie:

Durant les deux dernières décennies, grâce à la réduction des coûts de stockage, d'échange et de traitement de l'information, le volume de données générées chaque année ne cesse d'exploser. Les enjeux liés au traitement de ces mégadonnées sont souvent décrits par la règle des 3V : le volume, la variété et la vitesse de création, de collecte, d'analyse et de partage des données. Pour stocker et analyser ces ensembles de données volumineux, il est essentiel d'utiliser des grappes de machines et des algorithmes extensibles et insensibles aux déséquilibres pouvant se produire pour répartir équitab

Style APA, Harvard, Vancouver, ISO itp.

2

Nemchenko, Sergiy. "Modèle de transactions avancées et modèle à composants." Valenciennes, 2004. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/229b5fe0-093f-46d5-bd94-a2e3d64d0cb5.

Pełny tekst źródła

Streszczenie:

Ces dernières années nous avons pu voir le développement rapide des applications distribuées. Cet effet est lié au développement rapide du matériel et des principes de la programmation. Par conséquent, les programmes peuvent se permettre de créer des applications plus compliquées mettant en oeuvre plusieurs ordinateurs et serveurs. En même temps, les exigences de qualité de services offerts augmentent aussi. Les services non-fonctionnels sont créés pour répondre à cette demande. Le service transactionnel permet de créer des applications distribuées fiables malgré les pannes possibles. Par cont

Style APA, Harvard, Vancouver, ISO itp.

3

Markhoff, Béatrice. "Contribution à la définition d'un modèle de calcul fonctionnel paralèlle." Besançon, 1995. http://www.theses.fr/1995BESA2059.

Pełny tekst źródła

Streszczenie:

Nous defendons la these d'une programmation de haut niveau pour l'exploitation des architectures paralleles mimd a memoire distribuee, basee sur un parallelisme de controle, et qui soit a la fois fiable et efficace. Un modele de calcul fonctionnel parallele est developpe en ce sens, que nous presentons en deux temps dans ce rapport: dans une premiere partie nous decrivons le modele de programmation supporte par un noyau de langage appele kap#2l, alors que dans la deuxieme partie nous developpons un modele d'execution parallele et distribue, par reduction de graphes. Dans le modele de programma

Style APA, Harvard, Vancouver, ISO itp.

4

Blay-Fornarino, Mireille, and Anne-Marie Pinna. "Un modèle objet logique et relationnel : le langage Othelo." Nice, 1990. http://www.theses.fr/1990NICE4359.

Pełny tekst źródła

Streszczenie:

Cette thèse a pour but d'intégrer dans un système unique certains résultats de la programmation par objets, de la programmation en logique et de la programmation par relations. Ce système est alors capable de modéliser les connaissances du monde extérieur dans un formalisme permettant de les manipuler symboliquement. Cette thèse est constituée de trois parties principales. Définition d'un modèle objet abstrait dans lequel les opérations élémentaires sous-jacentes aux mécanismes mis en œuvre dans un langage à objets (création, héritage, envoi de message) sont redéfinissables par un programmeur.

Style APA, Harvard, Vancouver, ISO itp.

5

Bertrand, Frédéric. "Un modèle de contrôle réactif pour les langages à objets concurrents." La Rochelle, 1996. http://www.theses.fr/1996LAROS005.

Pełny tekst źródła

Streszczenie:

Dans une application distribuée, les objets peuvent être considérés comme des unités d'exécution. Ce concept existe déjà depuis plusieurs années, cependant une des difficultés consiste à contrôler le fonctionnement d'un objet en tant que composant d'un programme concurrent. La solution que nous avons étudiée consiste à utiliser une approche réactive pour réaliser ce contrôle. Le choix de cette approche est motivé par l'adéquation du modèle réactif au contrôle et à l'utilisation d'une approche formelle. Ce modèle est basé sur la présence d'une entité de contrôle, au sein de chaque objet, que no

Style APA, Harvard, Vancouver, ISO itp.

6

Núñez, López Angel Rodrigo. "Un modèle de programmation intégrant classes, évènements et aspects." Nantes, 2011. http://archive.bu.univ-nantes.fr/pollux/show.action?id=1ba3f61f-5a98-4b3e-8a93-b64ecca1c6ce.

Pełny tekst źródła

Streszczenie:

Le paradigme de la programmation par objets (PPO) est devenu le paradigme de programmation le plus utilisé. La programmation événementielle (PE) et la programmation par aspects (PPA) complètent la PPO en comblant certaines de ses lacunes lors de la construction de logiciels complexes. Les applications actuelles combinent ainsi les trois paradigmes. Toutefois, la POO, la PE et la POA ne sont pas encore bien intégrées. Leurs concepts sous-jacents sont en général fournis sous la forme de constructions syntaxiques spécifiques malgré leurs points communs. Ce manque d’intégration et d’orthogonalité

Style APA, Harvard, Vancouver, ISO itp.

7

Núñez, Angel. "Un modèle de programmation intégrant classes, événements et aspects." Phd thesis, Université de Nantes, 2011. http://tel.archives-ouvertes.fr/tel-00656649.

Pełny tekst źródła

Streszczenie:

Le paradigme de la programmation par objets (PPO) est devenu le paradigme de programmation le plus utilisé. La programmation événementielle (PE) et la programmation par aspects (PPA) complètent la PPO en comblant certaines de ses lacunes lors de la construction de logiciels complexes. Les applications actuelles combinent ainsi les trois paradigmes. Toutefois, la POO, la PE et la POA ne sont pas encore bien intégrées. Leurs concepts sous-jacents sont en général fournis sous la forme de constructions syntaxiques spécifiques malgré leurs points communs. Ce manque d'intégration et d'orthogonalité

Style APA, Harvard, Vancouver, ISO itp.

8

Balmas, Françoise. "Contribution à la conceptualisation de programmes : modèle, implémentation, utilisation et évaluation." Paris 8, 1995. http://www.theses.fr/1995PA081071.

Pełny tekst źródła

Streszczenie:

Cette these propose un modele de caracterisation de l'activite des programmes. Tout programme est decrit selon l'ensemble des calculs qu'il effectue, ceux-ci etant classes en six categories admettant plusieurs variations. Actuellement, ce modele s'applique aux programmes integrant une seule boucle. La caracterisation d'un programme au travers du modele, ou schema, constitue l'explication globale de ce programme, celle-ci revelant sa structure algorithmique et permettant de le rattacher a un ensemble de stereotypes que les programmeurs experimentes connaissent bien. Le schema est egalement la s

Style APA, Harvard, Vancouver, ISO itp.

9

Delignieres-Hannequin, Isabelle. "Proposition d'un modèle d'évaluation parallèle de prolog." Lille 1, 1991. http://www.theses.fr/1991LIL10060.

Pełny tekst źródła

Streszczenie:

L'accroissement des performances nécessaires au développement des applications en intelligence artificielle qui utilisent notamment la programmation logique, nécessite de recourir à l'exploitation du parallélisme. La programmation logique utilise deux formes de parallélisme: d'une part, le parallélisme explicite exploité par les langages gardes, tels CP, GHC et Prolog, d'autre part le parallélisme implicite exploitant les possibilités intrinsèques présentes dans un langage tel Prolog. L'exploitation du parallélisme implicite conduit généralement à s'éloigner de la sémantique opérationnelle cla

Style APA, Harvard, Vancouver, ISO itp.

10

Meysembourg-Männlein, Marie Laurence. "Modèle et langage à objets pour la programmation d'applications réparties." Phd thesis, Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00333509.

Pełny tekst źródła

Streszczenie:

Cette thèse a été effectuée dans le cadre du projet Guide mené conjointement par le laboratoire de génie informatique et le centre de recherche Bull de Grenoble depuis mi 86. Guide est le support d'un ensemble de recherches sur la programmation des applications reparties. Ces recherches sont entreprises sur la base du développement d'un système expérimental : le système Guide. Ce dernier est un système d'exploitation reparti à objets qui fournit un haut niveau d'intégration (invisibilité de la répartition notamment). Un premier prototype du système fonctionne depuis fin 88 et permet la program

Style APA, Harvard, Vancouver, ISO itp.

11

Lazure, Dominique. "Programmation géométrique à parallélisme de données : modèle, langage et compilation." Lille 1, 1995. http://www.theses.fr/1995LIL10021.

Pełny tekst źródła

Streszczenie:

Le parallélisme de données permet l'exploitation efficace des machines massivement parallèles, en particulier lorsque le nombre d'unités de calcul dépasse le millier. Le programmeur manipule simultanément un grand nombre de données, en leur appliquant un traitement unique séquentiellement décrit. L'algorithmique scientifique accède au parallélisme par ce biais : la majorité des applications numériques intensives sont d'ores et déjà programmées en utilisant le paradigme du parallélisme de données. Nous proposons une approche géométrique de ce modèle de programmation. Les structures de données d

Style APA, Harvard, Vancouver, ISO itp.

12

Mazo, Peña Raúl. "Modèle générique pour la vérification de modèles de lignes de produits." Paris 1, 2011. http://www.theses.fr/2011PA010075.

Pełny tekst źródła

Streszczenie:

La production de masse n'est pas un phénomène nouveau : depuis le 12ème siècle à Venise, jusqu'à nos jours, les industries du navire, du coton et de la voiture utilisent ce concept pour accroître l'efficacité et réduire les pertes, deux facteurs clés pour améliorer les bénéfices. Cependant, le consumérisme de nos jours rend la production de masse insuffisante pour satisfaire les nouvelles exigences où la personnalisation est essentielle. Un nouveau paradigme de production était nécessaire pour soutenir ces nouvelles exigences, en gardant des coûts de production raisonnables, des besoins de mai

Style APA, Harvard, Vancouver, ISO itp.

13

Bennani, Nadia. "Proposition d'un modèle d'évaluation parallèle des langages fonctionnels sans variables." Lille 1, 1994. http://www.theses.fr/1994LIL10187.

Pełny tekst źródła

Streszczenie:

Les langages fonctionnels se caracterisent par un parallelisme inherent qui peut etre exploite soit de maniere explicite en rajoutant des annotations dans le programme precisant ainsi les fonctions a appliquer en parallele, soit de maniere implicite de facon transparente a l'utilisateur, en adoptant une strategie d'evaluation decrite par un schema d'execution. Le modele pcube, defini par n. Devesa au sein du projet narch au lifl decrit une nouvelle strategie d'evaluation adaptee aux programmes fonctionnels sans variables. Compare aux modeles d'evaluation existants, le modele pcube s'apparente

Style APA, Harvard, Vancouver, ISO itp.

14

Legond-Aubry, Fabrice. "Un modèle d'assemblage de composants par contrat et programmation orientée aspect." Paris, CNAM, 2005. http://www.theses.fr/2005CNAMA001.

Pełny tekst źródła

Streszczenie:

La taille croissante des applications et la multitude de leurs interconnexions rendent de plus en plus difficile leur conception. Les composants offrent une couche d'abstraction qui améliore leurs mises en interactions et isole le code pour améliorer la portabilité et l'inter-opérabilité. Cependant, les composants souffrent d'une grande complexité de déploiement et d'un manque d'outils pour la descripton de leurs assemblages et de leurs dépendances. Actuellement, il n'existe pas de solution industrielle standardisée pour permettre l'assemblage et l'extension des composants : il faut des outils

Style APA, Harvard, Vancouver, ISO itp.

15

Mazer, Emmanuel. "Handey : un modèle de planificateur pour la programmation automatique des robots." Grenoble INPG, 1987. http://tel.archives-ouvertes.fr/tel-00325222.

Pełny tekst źródła

Streszczenie:

Système de planification de toutes les opérations nécessaires à la réalisation d'un assemblage telles que la reconnaissance, la saisie et le transport de la pièce à monter. Une architecture basée sur l'utilisation d'une hiérarchie de filtres est utilisée comme structure de contrôle

Style APA, Harvard, Vancouver, ISO itp.

16

Radenac, Yann. "Programmation "chimique" d'ordre supérieur." Rennes 1, 2007. ftp://ftp.irisa.fr/techreports/theses/2007/radenac.pdf.

Pełny tekst źródła

Streszczenie:

Dans le modèle de programmation « chimique », les programmes sont vus comme des solutions chimiques abstraites. Les données sont des molécules dont les réactions chimiques représentent les opérations. Quand des molécules vérifient une condition de réaction, elles sont remplacées par le résultat de l'opération associée. Le programme se termine quand plus aucune réaction n'est possible. On défend la thèse qu'un modèle chimique d'ordre supérieur est adapté à la programmation de systèmes s'exécutant à grande échelle. Dans ce modèle, les règles de réaction sont elles-mêmes considérées comme des mol

Style APA, Harvard, Vancouver, ISO itp.

17

Fauthoux, David. "Des grains aux aspects, proposition pour un modèle de programmation orientée-aspect." Toulouse 3, 2004. http://www.theses.fr/2004TOU30100.

Pełny tekst źródła

Streszczenie:

Le développement des programmes rencontre actuellement des difficultés pour la séparation des préoccupations qui le composent. Elles sont entrelacées et leur code est éparpillé dans le programme. La programmation orientée-aspect a pour but de rendre modulaires les préoccupations et de fournir les outils pour les mélanger entre elles et au programme. Après avoir analysé en détail quatre systèmes orientés-aspect majeurs, ce mémoire présente un modèle à grains fins, les " lentilles ". Elles sont regroupées par niveaux d'abstraction. Le premier stade est le " flot " qui peut entrer en intersection

Style APA, Harvard, Vancouver, ISO itp.

18

Moisan, Bruno. "Un modèle de programmation parallèle à objets appliqué à la synthèse d'images." Toulouse 3, 1993. http://www.theses.fr/1993TOU30206.

Pełny tekst źródła

Streszczenie:

Les applications de synthèse d'images nécessitent des puissances de calcul très importantes. Depuis quelques années de nombreux projets de recherche visent à définir des architectures spécialisées, ou des méthodes et des outils pour paralléliser efficacement ces applications sur les calculateurs parallèles existants. Dans cette optique, notre objectif est de définir une environnement de programmation pour des applications graphiques s'exécutant sur des architectures distribuées. Nous présentons au chapitre 1, les concepts du projet Voxar, point de départ des travaux présentés. Nous rappelons q

Style APA, Harvard, Vancouver, ISO itp.

19

Duquesne, Pierre. "Un modèle de langage pour la mise à jour dynamique de programmes." Rennes 1, 2011. http://www.theses.fr/2011REN1S010.

Pełny tekst źródła

Streszczenie:

De nombreux systèmes informatiques nécessitent d'être en fonctionnement permanent et sans interruption. Cependant, ces systèmes doivent également être régulièrement adaptés aux changements du domaine dans lequel ils opèrent et aux évolutions des besoins des utilisateurs. La mise à jour logicielle dynamique est l'opération qui consiste à remplacer un programme en exécution par une version suivante sans interrompre le fonctionnement du programme. Cette thèse divise le problème de l'évolution dynamique des programmes en deux sous-problématiques. La difficulté essentielle est d'assurer des exécuti

Style APA, Harvard, Vancouver, ISO itp.

20

Gransart, Christophe. "Box : un modèle et un langage à objets pour la programmation parallèle et distribuée." Lille 1, 1995. http://www.theses.fr/1995LIL10006.

Pełny tekst źródła

Streszczenie:

Ce travail s'inscrit dans le cadre du projet pvc/BOX dont le but est le développement d'un environnement orienté objet pour l'exploitation des machines parallèles distribuées. Le concepteur d'applications réparties est devant un double problème de conception. Il doit représenter les données manipulées par son application (ainsi que les procédures qui les manipulent), mais il doit aussi représenter les activités qui vont coopérer à la réalisation de l'application. Pour répondre à ce besoin, nous introduisons un modèle prenant en charge de manière uniforme ces deux aspects de la conception d'app

Style APA, Harvard, Vancouver, ISO itp.

21

Doreille, Mathias. "Athapascan-1 : vers un modèle de programmation parallèle adapté au calcul scientifique." Phd thesis, Grenoble INPG, 1999. http://tel.archives-ouvertes.fr/tel-00004825.

Pełny tekst źródła

Streszczenie:

Les ordinateurs parallèles offrent une alternative intéressante pour les applications de calcul scientifique, grandes consommatrices de ressources de calcul et de mémoire. Cependant, la programmation efficace de ces machines est souvent difficile et les implantations obtenues sont généralement peu portables. Nous proposons dans cette thèse un modèle de programmation parallèle permettant une programmation simple, portable et efficace des applications parallèles. Ce modèle est basé sur une décomposition explicite de l'application en tâches de calculs qui communiquent entre elles par l'intermédia

Style APA, Harvard, Vancouver, ISO itp.

22

Le, Huédé Fabien. "Intégration d'un modèle d'Aide à la Décision Multicritère en Programmation Par Contraintes." Paris 6, 2003. http://www.theses.fr/2003PA066540.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

23

Coustet, Christophe. "Parallélisation explicite de programmes fonctionnels et synchronisation de processus : application au modèle MaRS." Toulouse, ENSAE, 1993. http://www.theses.fr/1993ESAE0002.

Pełny tekst źródła

Streszczenie:

Cette thèse traite de la parallélisation dans le cadre fonctionnel et des interactions entre granularité, taux d'activité et rendement des processus. Le modèle servant de toile de fond à notre étude est MaRS (Machine à Réduction Symbolique) développé au CERT-ONERA qui se caractérise entre autres choses par des processus à coût particulièrement faible mais en nombre limité. L'objectif de cette thèse est de dériver par une critique constructive du modèle MaRS un nouveau modèle au champ d'application étendu. Pour cela une première partie est consacrée à la présentation du cadre fonctionnel et du

Style APA, Harvard, Vancouver, ISO itp.

24

Pantel, Marc. "Représentation et transformation : un modèle de la réutilisabilité pour les langages fonctionnels à objets." Toulouse, INPT, 1994. http://www.theses.fr/1994INPT014H.

Pełny tekst źródła

Streszczenie:

L'objet de cette these est la definition d'un langage fonctionnel a objets possedant de bonnes proprietes de reutilisabilite et d'expressivite. Dans ce memoire, nous proposons un nouveau modele de reutilisabilite qui repose sur les notions de representations et de transformations. La premiere partie presente une etude synthetique des modeles de type et d'effets impurs. La deuxieme partie decrit le modele a base de representations et de transformations et propose plusieurs evolutions des mecanismes usuels de la programmation par objets. La troisieme partie presente un premier langage: micro-fol

Style APA, Harvard, Vancouver, ISO itp.

25

Leblanc, Hervé. "Sous-hiérarchie de Galois : un modèle pour la construction et l'évolution des hiérarchies d'objets." Montpellier 2, 2000. http://www.theses.fr/2000MON20155.

Pełny tekst źródła

Streszczenie:

La production et la maintenance des hierarchies de classes (classes devant etre compris au sens large, incluant en particulier les interfaces au sens des langages java et idl) sont des points cles dans l'ingenierie des objets. Nous avons choisi, pour automatiser les procedes de construction de ces hierarchies, de produire un sous-ordre utile du treillis de galois (ou treillis de concepts), appele sous-hierarchie de galois. Cette structure assure une factorisation totale des proprietes et une organisation des classes coherente d'un point de vue conceptuel. Notre problematique est l'etude de la

Style APA, Harvard, Vancouver, ISO itp.

26

Majoul, Salam. "Etude et mise en oeuvre d'un modèle de coordination basé sur la réécriture." Toulouse 3, 2000. http://www.theses.fr/2000TOU30171.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

27

Rebeuf, Xavier. "Un modèle de coût symbolique pour les programmes parallèles asynchrones à dépendances structurées." Orléans, 2000. http://www.theses.fr/2000ORLE2056.

Pełny tekst źródła

Streszczenie:

L'objectif d'une parallélisation est souvent de minimiser en premier lieu le temps d'exécution. Il paraît donc indispensable de disposer d'un modèle permettant d'évaluer a priori les performances d'un algorithme. Or, l'évaluation repose sur l'identification des synchronisations pour chaque exécution (dépendances-écriture-lecture). Sans restriction de l'expression du parallélisme, un calcul exact conduit généralement à une explosion combinatoire. Pour pallier ce problème, les modèles de coût classiques, ne prennent généralement en compte qu'une partie du parallélisme possible, permettant ainsi

Style APA, Harvard, Vancouver, ISO itp.

28

Li, Chong. "Un modèle de transition logico-matérielle pour la simplification de la programmation parallèle." Phd thesis, Université Paris-Est, 2013. http://tel.archives-ouvertes.fr/tel-00952082.

Pełny tekst źródła

Streszczenie:

La programmation parallèle et les algorithmes data-parallèles sont depuis plusieurs décennies les principales techniques de soutien l'informatique haute performance. Comme toutes les propriétés non-fonctionnelles du logiciel, la conversion des ressources informatiques dans des performances évolutives et prévisibles implique un équilibre délicat entre abstraction et automatisation avec une précision sémantique. Au cours de la dernière décennie, de plus en plus de professions ont besoin d'une puissance de calcul très élevée, mais la migration des programmes existants vers une nouvelle configurat

Style APA, Harvard, Vancouver, ISO itp.

29

Plateau, Florence. "Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée." Paris 11, 2010. http://www.theses.fr/2010PA112080.

Pełny tekst źródła

Streszczenie:

Dans cette thèse, nous nous intéressons aux modèles et aux langages pour la programmation d'applications de traitement de flux ayant des contraintes de temps-réel, comme les applications multimédias. Elles manipulent des flots de données infinis, auxquels sont appliquées des opérations successives. Ces systèmes peuvent être représentés par des réseaux de Kahn. Dans ce modèle, des noeuds de calcul s'exécutent de manière concurrente et communiquent à travers des buffers infinis. Son intérêt est d'être déterministe tout en permettant d'exprimer le parallélisme intrinsèque aux applications. Néanmo

Style APA, Harvard, Vancouver, ISO itp.

30

Skalli, Houssaini Mohamed Ali. "Programmation dynamique et planification : un modèle de régulation des prix sectoriels en France." Paris 2, 1991. http://www.theses.fr/1991PA020014.

Pełny tekst źródła

Streszczenie:

Un modele de politique economique doit non seulement constituer une representation fidele du systeme qu'il decrit, mais doit aussi avoir les proprietes qui assurent l'existence, l'unicite et la faisabilite de la politique optimale a evaluer. Dans ce travail, nous construirons un modele dynamique des prix sectoriels francais, montrons qu'il tient compte de l'origine et du mode de transmission inter-sectorielle des mouvements des prix et proposons des methodes qui permettent d'en analyser les proprietes dynamiques. En effet, issu des techniques input-output, ce modele, pour etre utilise a des fi

Style APA, Harvard, Vancouver, ISO itp.

31

Berger, Laurent. "Mise en oeuvre des interactioons en environnements distribués, compilés et fortement typés : le modèle MICADO." Nice, 2001. http://www.theses.fr/2001NICE5644.

Pełny tekst źródła

Streszczenie:

La programmation orientée objets a déjà prouvé ses intérêt lors de la mise en œuvre d’applications complexes. Le développement des applications distribuées à l’aide de technologies objets est réalisable mais cela implique de gérer les communications entre les objets distants. Des outils tels que CORBA, RPC et Java RMI facilitent la mise en œuvre de la communication en masquant les accès réseaux. Cette maturation en termes de réseaux et de programmation par objets conduit aujourd’hui à une intensification du développement d’applications distribuées. Cette évolution des applications distribuées

Style APA, Harvard, Vancouver, ISO itp.

32

SALSET, THIERRY. "Correction séquentielle de programmes parallèles dans le modèle asynchrone et mémoire partagée." Marne-la-vallée, ENPC, 1997. http://www.theses.fr/1997ENPC9711.

Pełny tekst źródła

Streszczenie:

Nous étudions une propriété de correction de programmes écrit dans un sous-ensemble de fortran étendu avec des constructions parallèles empruntées à un projet de norme ANSI. Le modèle de parallélisme est asynchrone et a mémoire partagée. La propriété est une équivalence entre le programme parallèle étudie et sa version séquentielle. Sous certaines hypothèses, nous prouvons que cette propriété résulte de la préservation des dépendances, définies sur la version séquentielle, par le flot de contrôle et les synchronisations. La condition essentielle de préservation est une relation d'implication e

Style APA, Harvard, Vancouver, ISO itp.

33

Thomas, Isabelle. "Modèle de l'utilisateur, modèle de la tache et modèles d'explications pour expliquer dans le contexte des taches de conception : application en conception d'équipements électroniques." Paris 13, 1993. http://www.theses.fr/1993PA132026.

Pełny tekst źródła

Streszczenie:

Les systèmes a base de connaissances sont aujourd'hui exploites pour réaliser des taches complexes, comme la recherche documentaire, du conseil financier, ou de la conception d'équipements électroniques, qui nécessitent non seulement de mettre en œuvre un raisonnement, mais encore d'instaurer une coopération entre le systeme informatique et son utilisateur. Cette thèse vise l'amélioration de l'interaction entre un tel systeme et son utilisateur, par le développement des capacités d'explication du premier. Notre réflexion est issue d'une étude de cas, le développement d'un module d'explication

Style APA, Harvard, Vancouver, ISO itp.

34

Kengne, Tchendji Vianney. "Solutions parallèles efficaces sur le modèle CGM d'une classe de problèmes issus de la programmation dynamique." Amiens, 2014. http://www.theses.fr/2014AMIE0106.

Pełny tekst źródła

Streszczenie:

Plusieurs facteurs technologiques, logiciels et économiques amènent les concepteurs d'architectures parallèles à converger vers des systèmes multi-processeurs gros-grain. Pourtant, la plupart des logiciels parallèles ont été conçu pour des systèmes parallèles à grains fins et pour des systèmes à mémoire partagée. Dans cette thèse, nous utilisons le modèle de calcul parallèle BSP/CGM (Bulk Synchronous Parallel / Coarse-Grained Multicomputer), conçu dans le but de diminuer l'écart entre le logiciel et le matériel, pour apporter des solutions parallèles efficaces, à une classe de problèmes issus

Style APA, Harvard, Vancouver, ISO itp.

35

Rossignon, Corentin. "Un modèle de programmation à grain fin pour la parallélisation de solveurs linéaires creux." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0094/document.

Pełny tekst źródła

Streszczenie:

La résolution de grands systèmes linéaires creux est un élément essentiel des simulations numériques.Ces résolutions peuvent représenter jusqu’à 80% du temps de calcul des simulations.Une parallélisation efficace des noyaux d’algèbre linéaire creuse conduira donc à obtenir de meilleures performances. En mémoire distribuée, la parallélisation de ces noyaux se fait le plus souvent en modifiant leschéma numérique. Par contre, en mémoire partagée, un parallélisme plus efficace peut être utilisé. Il est doncimportant d’utiliser deux niveaux de parallélisme, un premier niveau entre les noeuds d’une

Style APA, Harvard, Vancouver, ISO itp.

36

Sakdavong, Jean-Christophe. "Un modèle orienté objet pour la programmation distribuée fondé sur des classes de configuration." Toulouse 3, 1996. http://www.theses.fr/1996TOU30082.

Pełny tekst źródła

Streszczenie:

Cette these traite d'un modele de programmation dedie a la programmation orientee objet dans les systemes distribues. Le modele propose est appele d-hector et il permet d'etendre un langage oriente objet sequentiel a la programmation parallele et distribuee. Celui-ci apporte la notion de classes distribuables a partir desquelles il est possible d'instancier des objets distribues. Le modele d-hector a ete concu selon l'idee qu'il est possible de separer les classes distribuables en trois composants fondamentaux. Il s'agit des classes fonctionnelles (attributs et methodes), des classes de synchr

Style APA, Harvard, Vancouver, ISO itp.

37

Royer, Jean-Claude. "Un modèle de programmation par objets en SCHEME : application à la synthèse d'images 2D." Bordeaux 1, 1989. http://www.theses.fr/1989BOR10512.

Pełny tekst źródła

Streszczenie:

Les concepts de la programmation par objets sont etudies, principalement dans les langages possedant les notions de classe et de metaclasse. Un certain nombre de problemes dus a l'heritage statique des variables d'instances, a certaines strategies de recherche et les faiblesses de l'assimilation classe/ensemble sont montres. Le langage propose ensuite integre certains traits originaux destines a remedier a ces problemes

Style APA, Harvard, Vancouver, ISO itp.

38

Collard, Philippe. "L'apprentissage discriminant dans MAGE, un modèle d'apprentissage général." Nice, 1990. http://www.theses.fr/1990NICE4383.

Pełny tekst źródła

Streszczenie:

Cette thèse est une contribution au modèle d'apprentissage général MAGE. Ce modèle repose sur l'hypothèse qu'il existe des mécanismes généraux d'apprentissage, au sens où ces mécanismes sont indépendants du domaine de connaissance. Cette hypothèse induit des restrictions importantes sur la nature de l'apprentissage ; ainsi, on se place dans le contexte d'un apprentissage de bas niveau portant sur des coefficients numériques associés à des connaissances élémentaires de type transition d'états. L’idée soutenue est que des principes généraux ne doivent pas être recherchés uniquement au niveau des

Style APA, Harvard, Vancouver, ISO itp.

39

Risset, Tanguy. "Parallélisation automatique : du modèle systolique à la compilation des nids de boucles." Lyon 1, 1994. http://www.theses.fr/1994LYO10033.

Pełny tekst źródła

Streszczenie:

Les techniques developpees par la recherche dans le domaine des architectures systoliques sont tres proches de celle qui servent aujourd'hui a la parallelisation automatique de programmes simples. Cette these etudie ces techniques a travers leurs differentes applications. On etudie d'abord la synthese systolique pure pour des algorithmes de calcul matriciel. Puis on s'interesse a l'extension du modele systolique a une architecture plus generale. On travaille ensuite sur les techniques de programmation simd, en utilisant les resultats obtenus sur les architectures semi-systoliques. On etudie en

Style APA, Harvard, Vancouver, ISO itp.

40

Aniorté, Philippe. "Bases d'informations généralisées : modèle agrégatif, version et hypertext." Toulouse 3, 1990. http://www.theses.fr/1990TOU30001.

Pełny tekst źródła

Streszczenie:

Les travaux se situent dans le domaine des systemes integres multimedia. Ils concernent plus particulierement la manipulation d'objets complexes et volumineux, a l'aide du modele agregatif. Compte tenu de la nature des objets manipules les documents le modele est etendu a la gestion de versions et a la consultation hypertext. Apres un etat des recherches dans les domaines de la modelisation et la manipulation des objets complexes, les principaux concepts du modele agregatif sont presentes. La suite est consacree a la manipulation des objets complexes et volumineux. Dans un premier temps, le la

Style APA, Harvard, Vancouver, ISO itp.

41

Huang, Xin. "Querying big RDF data : semantic heterogeneity and rule-based inconsistency." Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCB124/document.

Pełny tekst źródła

Streszczenie:

Le Web sémantique est la vision de la prochaine génération de Web proposé par Tim Berners-Lee en 2001. Avec le développement rapide des technologies du Web sémantique, de grandes quantités de données RDF existent déjà sous forme de données ouvertes et liées et ne cessent d'augmenter très rapidement. Les outils traditionnels d'interrogation et de raisonnement sur les données du Web sémantique sont conçus pour fonctionner dans un environnement centralisé. A ce titre, les algorithmes de calcul traditionnels vont inévitablement rencontrer des problèmes de performances et des limitations de mémoire

Style APA, Harvard, Vancouver, ISO itp.

42

Dehdouh, Khaled. "Entrepôts de données NoSQL orientés colonnes dans un environnement cloud." Thesis, Lyon 2, 2015. http://www.theses.fr/2015LYO22018.

Pełny tekst źródła

Streszczenie:

Le travail présenté dans cette thèse vise à proposer des approches pour construire et développer des entrepôts de données selon le modèle NoSQL orienté colonnes. L'intérêt porté aux modèles NoSQL est motivé d'une part, par l'avènement des données massives et d'autre part, par l'incapacité du modèle relationnel, habituellement utilisés pour implémenter les entrepôts de données, à permettre le passage à très grande échelle. En effet, les différentes modèles NoSQL sont devenus des standards dans le stockage et la gestion des données massives. Ils ont été conçus à l'origine pour construire des bas

Style APA, Harvard, Vancouver, ISO itp.

43

Signes, Nathalie. "Définition et évaluation d'une machine abstraite dédiée à la compilation d'un modèle d'exécution répartie pour le langage Prolog." Toulouse 3, 1993. http://www.theses.fr/1993TOU30055.

Pełny tekst źródła

Streszczenie:

Coala (calculateur oriente acteurs pour la logique et ses applications) a pour but de mettre en uvre et de supporter efficacement le parallelisme inherent au langage prolog, sans l'intervention du programmeur. Le modele d'execution repartie sous-jacent a l'architecture utilise le graphe de connexion et/ou de r. Kowalski comme representation interne des textes prolog. L'etude d'une approche compilee du modele d'execution repartie a conduit a la definition d'une machine abstraite specifique au projet coala et baptisee ciam (coala inference abstract machine). Le principe general est de traduire u

Style APA, Harvard, Vancouver, ISO itp.

44

Gaïeb, Mohamed Sémi. "Modèle et langage pour la spécification d'architectures basées sur les bus logiciels à messages." Nice, 2001. http://www.theses.fr/2001NICE5631.

Pełny tekst źródła

Streszczenie:

Les logiciels font de plus en plus appel au parallélisme et aux composants distribués. Ces notions ont été petit à petit introduites dans les langages de programmation (ADA, JAVA) ou donné lieu au développement de langages spécialisés et de middlewares. Cependant, il existe peu d’outils de conception de haut niveau pour de tels programmes. Dans cette thèse, nous proposons un modèle de communication basée sur les bus logiciels à messages et un langage de spécification des interactions entre objets de type réactifs asynchrones distribués nommé ROL (Reactive Object Language) ; Ce langage permet l

Style APA, Harvard, Vancouver, ISO itp.

45

Brunette, Christian. "Construction et simulation graphiques de comportements : le modèle des Icobjs." Phd thesis, École Nationale Supérieure des Mines de Paris, 2004. http://tel.archives-ouvertes.fr/tel-00327441.

Pełny tekst źródła

Streszczenie:

Intuitivement, une simulation graphique (monde virtuel, jeu,...) peut etre vue comme un espace borne dans lequel plusieurs entites, disposant chacune d'un comportement propre, evoluent en parallele. Il parait donc naturel d'utiliser des langages concurrents pour programmer ces comportements. Cependant, c'est rarement le cas pour des raisons de complexite de programmation et de deboguage, de non-determinisme et d'efficacite. Nous proposons d'utiliser l'Approche Reactive introduite par F. Boussinot qui permet de definir clairement les comportements d'entites graphiques. Nous avons enrichi les Ic

Style APA, Harvard, Vancouver, ISO itp.

46

Kharrazen, Essaïd. "PSILISP, un modèle d'interprétation parallèle de programmes LISP." Paris 11, 1986. http://www.theses.fr/1986PA112385.

Pełny tekst źródła

Streszczenie:

PSILISP comprend la définition d’un langage dérivé de LISP et d’une implémentation de ce langage sur une architecture multiprocesseur de type MIMD à mémoire partagée. Les principales caractéristiques de ce langage sont : portée lexicale des identificateurs, appel des arguments par valeur, évaluation parallèle explicite des arguments d’une application, primitives sans effet de bord. PSILISP étend LISP par l’introduction des « applications parallèles ». Leur évaluation se traduit par une exploitation massive des processeurs pour le calcul en parallèle des arguments. PSILISP utilise la portée lex

Style APA, Harvard, Vancouver, ISO itp.

47

Ferhat, Abdelhamid. "Méthodes interactives en programmation mathématique multicritère utilisant des relations de surclassement comme modèle de préférence." Paris 9, 1996. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1996PA090010.

Pełny tekst źródła

Streszczenie:

Cette thèse s'articule autour de deux axes de recherche : le premier axe concerne les problèmes d'analyse multicritère. Nous proposons une nouvelle méthode interactive en programmation linéaire multicritère (PLM) dont l'idée directrice en programmation (PLM) est d'utiliser un échantillon de points non dominés. A partir duquel, on construira une relation binaire de sur classement. Celle-ci est considérée comme un modèle de préférence qui permet de réduire l'échantillon au noyau de la relation de sur classement. A l'étape de calcul de la méthode interactive proposée, nous développons une nouvell

Style APA, Harvard, Vancouver, ISO itp.

48

Foisel, Rémy. "Modèle de réorganisation de systèmes multi-agents : une approche descriptive et opérationnelle." Nancy 1, 1998. http://docnum.univ-lorraine.fr/public/SCD_T_1998_0287_FOISEL.pdf.

Pełny tekst źródła

Streszczenie:

Cette thèse, effectuée au sein de l'équipe RFIA (Reconnaissance des Formes et Intelligence Artificielle) du LORIA, présente le résultat de notre travail sur l'étude des interactions et de leur réorganisation pour la construction de systèmes multi-agents. Notre travail s'est articulé autour de deux phases complémentaires qui correspondent à la proposition d'un modèle de réorganisation des intéractions et la définition d'un formalisme de description de systèmes. Ce formalisme de description est évidemment couplé à des mécanismes permettant une opérationnalisation des systèmes décrits. La premièr

Style APA, Harvard, Vancouver, ISO itp.

49

Bourzoufi, Abdelhafid. "Définition et évaluation d'une machine abstraite parallèle pour un modèle OU-parallèle multi-séquentiel de PROLOG." Lille 1, 1992. http://www.theses.fr/1992LIL10021.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

50

Rose-Andrieux, Raphaël. "Modèle probabiliste hérarchique de la locomotion bipède." Thesis, Paris Sciences et Lettres (ComUE), 2016. http://www.theses.fr/2016PSLEE031/document.

Pełny tekst źródła

Streszczenie:

Les robots humanoïdes ont toujours fasciné car leur potentiel d’application est considérable. En effet, si un robot avait les mêmes caractéristiques sensori-motrices et morphologiques qu’un homme, il pourrait théoriquement réaliser les mêmes tâches. Cependant, un premier obstacle au développement de ces robots est la stabilité d’une posture bipède. Lors d’une marche bipède, la marge d’erreur est très faible et les décisions doivent être prises rapidement avec une information souvent incomplète et incertaine. L’incertitude a de multiples sources comme des capteurs imparfaits, un modèle simplifi

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!