Bibliografie tematiche / Modèle de programmation MapReduce / Tesi
Segui questo link per vedere altri tipi di pubblicazioni sul tema: Modèle de programmation MapReduce.

Tesi sul tema "Modèle de programmation MapReduce"

Autore: Grafiati
Pubblicato: 12 ottobre 2024
Ultima modifica: 31 luglio 2025

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 saggi (tesi di laurea o di dottorato) per l'attività di ricerca sul tema "Modèle de programmation MapReduce".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi le tesi di molte aree scientifiche e compila una bibliografia corretta.

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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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.
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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é
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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é
Gli stili APA, Harvard, Vancouver, ISO e altri
8

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
9

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
16

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
19

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
38

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
39

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
41

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
46

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

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
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.

Testo completo
Abstract (sommario):
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
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi di altri tipi di fonti sul tema "Modèle de programmation MapReduce":
Articoli di riviste
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia