Relevant bibliographies by topics / LSE (langage de programmation) Langages de programmation / Dissertations / Theses
To see the other types of publications on this topic, follow the link: LSE (langage de programmation) Langages de programmation.

Dissertations / Theses on the topic 'LSE (langage de programmation) Langages de programmation'

Author: Grafiati
Published: 4 June 2021
Last updated: 11 February 2022

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 'LSE (langage de programmation) Langages de programmation.'

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

Bolliet, Louis Kuntzmann Jean. "Notation et processus de traduction des langages symboliques." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00008411.

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

Branski-Cazaban, Jacqueline. "La langue et les langages informatiques." Toulouse 2, 1987. http://www.theses.fr/1988TOU20007.

Full text
Abstract:
Cette these consite d'une part en l'etude de la creation lexicale dans une langue de specialite, l'anglais informatique et d'autre part en l'etude de l'anglais des langages de programmation, en particulier, du basic et du cobol. Elle est divisee en cinq parties qui sont: -l'historique de l'informatique -la creation lexicale -la presentation des langages de programmation -l'analyse linguistique du basic -l'analyse linguistique du cobol. Le probleme etant de savoir s'il y a des points communs au niveau de la creation lexicale entre un anglais de specialite qui permet aux informaticiens de commun
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

Nembo, Jean. "Gestion des objets complexes persistants dans les langages de programmation : une application au langage fortran." Paris 6, 1991. http://www.theses.fr/1991PA066593.

Full text
Abstract:
Cette these presente une approche d'extension d'un langage de programmation classique au support des objets complexes et des fonctionnalites bases de donnees. Apres un etat de l'art sur les differentes approches de modelisation d'objets complexes et de gestion de la persistance dans les langages de programmation, nous presentons le prototype nomme fop (fortran objets persistants), qui resulte de l'integration de la gestion des objets complexes persistants dans le langage fortran. Pour introduire les objets complexes dans ce langage, nous avons defini un modele de donnees base sur des concepts
APA, Harvard, Vancouver, ISO, and other styles
5

CAMP, OLIVIER. "Les contraintes en programmation logico-fonctionnelle : application au langage miles." Paris 6, 1994. http://www.theses.fr/1994PA066336.

Full text
Abstract:
Depuis les annees 80 on s'est souvent penche sur l'integration des styles de programmation en logique et fonctionnelle. Le langage miles est le resultat d'une telle fusion. Il est obtenu en ajoutant a un noyau lisp les concepts d'un langage de programmation en logique: le non-determinisme, les variables logiques et l'unification. L'ajout de variables logiques dans un langage applicatif fait apparaitre de nouveaux objets: les expressions gelees. Dans cette these nous montrons comment celles-ci permettent, grace a l'unification, de definir des contraintes semblables a celles des clp. De plus, no
APA, Harvard, Vancouver, ISO, and other styles
6

Garneau, Tony. "Langage de programmation pour les simulations géoréférencées à base d'agents." Thesis, Université Laval, 2011. http://www.theses.ulaval.ca/2011/27803/27803.pdf.

Full text
Abstract:
Lors des dix dernières années, les technologies basées sur les agents logiciels ont été appliquées dans plusieurs domaines tels que les jeux vidéo, les films où évoluent des personnages animés, en réalité virtuelle, dans le développement d’interfaces où sont fournis des agents « assistants », dans les applications Web éducatives utilisant des personnages virtuels, pour ne nommer que ceux-là. Dans plusieurs de ces domaines, les simulations à base d’agents nécessitent l’intégration de données géographiques. Celles-ci intègrent une dimension spatiale et permettent la simulation de divers phénomè
APA, Harvard, Vancouver, ISO, and other styles
7

Peskine, Gilles. "Types abstraits dans les systèmes répartis." Paris 7, 2008. http://www.theses.fr/2008PA077050.

Full text
Abstract:
Soit un réseau de machines exécutant des programmes ML qui s'échangent des données. Comment peut-on garantir le typage des communications en présence de types abstraits ? Une approche sûre est de traiter des types abstraits définis sur des machines différentes comme distincts. En pratique, cela est bien trop restrictif, en particulier lorsqu'un type abstrait sert à garantir un invariant. Les principales contributions de cette thèse sont les suivantes : je définis une notion d'empreinte de type abstrait : deux types abstraits sont réputés compatibles s'ils ont la même empreinte ; je propose une
APA, Harvard, Vancouver, ISO, and other styles
8

Drabik, Pascal Bert Didier Mossière Jacques Jorrand Philippe. "Validation sémantique dans les théories structurées application à un langage de programmation générique /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00333592.

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

Bellot, Patrick. "Sur les sentiers du GRAAL : étude, conception et réalisation d'un langage de programmation sans variable." Paris 6, 1987. http://www.theses.fr/1986PA066586.

Full text
Abstract:
L'objectif de la thèse est l'étude de la programmation sans variable et la conception et la mise en œuvre d'un langage sans variable qui soit réellement utilisable. Dans la première partie, un exposé des problèmes de la programmation sans variable est proposé. La deuxième partie propose une solution partielle aux problèmes évoqués dans la partie précédente. Cette solution est le langage JYM, développé comme une première étape vers la solution. Dans la troisième partie, un langage de programmation complet, appelé GRALL, est proposé. Ce langage se présente comme une option nouvelle pour la progr
APA, Harvard, Vancouver, ISO, and other styles
10

Drabik, Pascal. "Validation sémantique dans les théories structurées : application à un langage de programmation générique." Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00333592.

Full text
Abstract:
La spécification par type abstrait algébrique permet de décrire le comportement de structures de données particulières telles que les files, piles, arbres, etc. D'autre part, la généricité permet de spécifier le comportement de classes de structures. Nous nous intéressons dans cet ouvrage aux types abstraits génériques exprimes dans le formalisme algébrique. Ces spécifications génériques sont souvent liées entre elles par des relations telles que l'importation, la paramétrisation, etc. Toute instance d'une spécification générique s1, paramétrée par une spécification s2, doit vérifier des condi
APA, Harvard, Vancouver, ISO, and other styles
11

Folch, Helka. "Articuler les classifications sémantiques induites d'un domaine." Paris 13, 2002. http://www.theses.fr/2002PA132015.

Full text
Abstract:
Nous montrons la nécessité d'une analyse sémantique endogène pour faciliter l'accès au volume croissant de documents disponibles suite au développement exponentiel d'Internet. Cet afflux de texte on line génère la constitution de corpus hétérogènes qui rendent complexe la conception de modèles d'accés sémantique aux documents. Dans de tels cas, la projection de structures sémantiques a priori n'est pas une démarche adaptée pour un accès efficace aux documents. De même la recherche plein texte par mots clés n'est pas appropriée lorsque ceux-ci sont polysémiques. Le sens des mots est souvent con
APA, Harvard, Vancouver, ISO, and other styles
12

Forget, Julien. "Un langage synchrone pour les systèmes embarqués critiques soumis à des contraintes temps réel multiples." Toulouse, ISAE, 2009. https://hal.archives-ouvertes.fr/tel-01942421.

Full text
Abstract:
Ce travail porte sur la programmation de systèmes de Contrôle-Commande. Ces systèrnes sont constitués d’une boucle de controle qui acquiert l’état actuel du système par l'intermédiaire de capteurs, exécute des algorithmes de contrôle à partir de ces données et calcule en réaction les commandes à appliquer sur les actionneurs du système dans le but de réguler son état et d'accomplir une mission donnée. Les logiciels de commandes de vol d’un aéronef sont des exemples typiques de systèmes de Contrôle-Commande ayant pour objectif de contrôler la position, la vitesse et l’attitude de l'aéronef dura
APA, Harvard, Vancouver, ISO, and other styles
13

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
14

Velez, Fernando Adiba Michel. "Un modèle et un langage pour les bases de données généralisées projet TIGRE /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00311959.

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

Diaz, Daniel. "Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis : le système clp (FD)." Phd thesis, Université d'Orléans, 1995. http://tel.archives-ouvertes.fr/tel-00981853.

Full text
Abstract:
Ce travail porte sur la compilation des langages de programmation logique par contraintes sur les domaines finis (DF). Plutôt que d'adopter l'approche usuelle considérant le résolveur comme une boîte noire nous avons choisi l'approche boîte de verre de P. Van Hentenryck. Dans celle-ci, le résolveur gère une seule contrainte primitive. Toutes les contraintes complexes (équations, contraintes symboliques...) sont traduites en des appels de contraintes primitives. Le résolveur est ainsi simple et homogène. De plus, l'utilisateur peut définir ses propres contraintes en termes de cette primitive. C
APA, Harvard, Vancouver, ISO, and other styles
16

Fotsing, Talla Bernard. "Les grammaires attribuées pour la conception et l'assemblage de langages dédiés." Rennes 1, 2010. https://tel.archives-ouvertes.fr/tel-00555556.

Full text
Abstract:
Nous proposons dans cette thèse une démarche méthodologique de développement logiciel reposant sur le concept de la Programmation Orientée Langage. Il s'agit de conduire la même démarche méthodologique au niveau des langages que ce qui est classiquement fait au niveau des composants logiciels. Nous utilisons le formalisme des grammaires attribuées pour tenter de répondre à la question : comment peut-on créer de nouveaux langages par composition de langages réutilisables existants ? Nous tirons profit de leur traduction en algèbres de combinateurs fonctionnels pour définir des spécifications ex
APA, Harvard, Vancouver, ISO, and other styles
17

HOANG, HUY KHANH. "Apport du non-determinisme dans les langages de requetes." Paris 1, 1997. http://www.theses.fr/1997PA010062.

Full text
Abstract:
Nous proposons un mecanisme de non-determinisme restreint pour definir des langages de requetes. Ce mecanisme est base sur un constructeur de choix, appele choix symetrique, qui s'applique seulement sur des ensembles contenant des elements symetriques, c'est a dire des elements de la base de donnees qui sont indistinguables au niveau conceptuel. Ce mecanisme nous permet de definir un langage de requetes deterministe dont le pouvoir d'expression est strictement plus grand que celui de fixpoint avec count , considere jusqu'ici comme "la meilleure approximation" de dbptime. Ce langage est base d'
APA, Harvard, Vancouver, ISO, and other styles
18

Henry, Grégoire. "Typer la désérialisation sans sérialiser les types." Phd thesis, Université Paris-Diderot - Paris VII, 2011. http://tel.archives-ouvertes.fr/tel-00624156.

Full text
Abstract:
Le typage statique des langages de programmation garantit des propriétés de sûreté d'exécution des programmes et permet l'usage de représentations de données dénuées d'informations de types. En présence de primitives de (dé)sérialisation, ces données brutes peuvent invalider les propriétés apportées par le typage statique. Il est alors utile de pouvoir tester dynamiquement la compatibilité des données lues avec le type statique attendu. Cette thèse définit, dans le cadre des langages de programmation basés sur un système de types avec polymorphisme paramétrique et utilisant une représentation
APA, Harvard, Vancouver, ISO, and other styles
19

Hugues, Maxime. "Un paradigme de programmation multi-niveaux pour le calcul numérique sur les machines post-petascales et exascales." Thesis, Lille 1, 2011. http://www.theses.fr/2011LIL10146/document.

Full text
Abstract:
L'arrivée des supercalculateurs post-petascales and exascales offre la perspective d'accélérer la résolution des problèmes d'ingénierie et aux modélisations hautement complexes. Cependant, ces futurs systèmes posent des problèmes aux informaticiens pour construire de telles machines. De nombreux problèmes doivent être résolus comme la tolérance aux pannes, la consommation énergétique et la programmation de ces systèmes complexes composés de milliard de coeurs.Dans cette thèse, nous nous sommes concentrés sur l'aspect programmation et proposons un paradigme de programmation multi-niveaux compos
APA, Harvard, Vancouver, ISO, and other styles
20

Koester, Cécile. "Étude de l'intégration de PEARLS : processeur expérimental d'aide à la recherche dans les langages symboliques." Paris 11, 1988. http://www.theses.fr/1988PA112277.

Full text
Abstract:
Cette étude présente une analyse des diverses étapes nécessaires à la réalisation d'un processeur intégré, adapté au traitement symbolique. Après un exposé des choix architecturaux de PEARLS, choix qui ont abouti à la définition d'une machine virtuelle dédiée à l'exécution des applications issues de l'intelligence artificielle, nous procédons à une étude détaillée du séquencement des instructions. Cette étude permet de dégager les contraintes temporelles pour le dessin VLSI. Au regard de ces contraintes, nous pouvons alors, dans un deuxième temps, nous intéresser aux structures électriques des
APA, Harvard, Vancouver, ISO, and other styles
21

Anota, Patrice. "Persistance et contrôle de concurrence dans les bases de données orientées objets." Compiègne, 1989. http://www.theses.fr/1989COMPD175.

Full text
Abstract:
Les langages orientés objets dotés de mécanismes de stockage peuvent prétendre être le modèle idéal de la majorité des applications. Les langages traditionnels de représentation àa base de frame utilisés en intelligence artificielle sauvent des images mémoire entre les sessions. Nous avons décidé de développer une méthode de stockage de gros objets de longueur quelconque dont la structure est cachée du SGBD. La première partie de la thèse décrit l'implantation d'une telle méthode sur la machine LISP. Cela constitue une réflexion sur une méthode de représentation efficace d'un objet en mémoire
APA, Harvard, Vancouver, ISO, and other styles
22

Denier, Simon. "Expression et composition des motifs de conception avec les aspects." Phd thesis, Université de Nantes, 2007. http://tel.archives-ouvertes.fr/tel-00458186.

Full text
Abstract:
Les patrons de conception répertorient les bonnes pratiques de la programmation par ob- jets. Les solutions des patrons, appelées motifs, apparaissent avec une densité croissante dans les bibliothèques et cadriciels. Les effets de cette densité sur la modularité, l'adaptation et la réutilisation des programmes sont mal connus. Or la dispersion et le mélange du code lié à l'im- plémentation des motifs rendent difficile l'étude de ces effets. La programmation par aspects est une technique nouvelle dédiée au traitement de ces deux symptômes. En modularisant les motifs dans des aspects, nous pouvo
APA, Harvard, Vancouver, ISO, and other styles
23

Arnaud, Jean-Baptiste. "Vers des références de première classe comme infrastructure de sécurité dans les langages dynamiquement typés." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2013. http://tel.archives-ouvertes.fr/tel-00808419.

Full text
Abstract:
Les langages de programmation orientés-objet dynamiquement typés ne peuvent pas fournir d'informations de type avant l'exécution. Deux de leurs principaux avantages sont qu'ils permettent le prototypage rapide á et l'intégration de modifications lors de l'exécution. La capacité des langages dynamiquement typés accepter les changements du programme lors de son exécution et en l'absence d'informations de type, condamne les approches de sécurité classiques á l'échec. Contrôler les références des objets et des graphes d'objets est indispensable pour construire des systèmes sécurisés. Les approches
APA, Harvard, Vancouver, ISO, and other styles
24

Zendra, Olivier. "Traduction et optimisation globale dans les langages de classes." Phd thesis, Université Henri Poincaré - Nancy I, 2000. http://tel.archives-ouvertes.fr/tel-00565633.

Full text
Abstract:
Ce travail s'inscrit dans le cadre des recherches menées autour de la compilation des langages de classes, notamment Eiffel, et plus généralement des langages à objets à typage statique. Très brièvement, on peut dire que le but de cette thèse revient à tenter de répondre à une question fondamentale: comment mieux compiler les langages à objets, c'est à dire comment avoir des programmes plus rapides et plus sûrs ? Ce travail de recherche est basé en grande partie sur l'analyse statique, abordée via deux axes principaux. Le premier consiste à pouvoir effectuer des contrôles de validité et de coh
APA, Harvard, Vancouver, ISO, and other styles
25

Llopard, Ivan. "Programming embedded manycore : refinement and optimizing compilation of a parallel action language for hierarchical state machines." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066157/document.

Full text
Abstract:
Afin de gérer la complexité des systèmes embarqués modernes, les langages de modélisation proposent des abstractions et des transformations adaptées au domaine. Basées sur le formalisme de machines à états hiérarchiques, connu sous le nom de Statecharts, ils permettent la modélisation du contrôle parallèle hiérarchique. Cependant, ils doivent faire à deux défis majeures quant il s'agit de la modélisation des applications à calcul intensif: le besoin des méthodes unifiées supportant des actions avec parallélisme de donnée; flots d'optimisation et génération de code à partir des modèles trop gén
APA, Harvard, Vancouver, ISO, and other styles
26

Martinat, Isaac. "Conception d'un langage de description de strutures tabulaires et du système de reconnaissance associé : Application aux tableaux dans les documents d'archives." Rennes, INSA, 2009. http://www.theses.fr/2009ISARA002.

Full text
Abstract:
De nos jours une numérisation en masse de documents permet une large diffusion de ceux-ci. Pour faciliter l’accès aux informations contenues dans certains de ces documents, nous nous intéressons à la reconnaissance d’une classe de documents structurés, les tableaux. Cette thèse présente un langage de description de tableaux associé à un système de reconnaissance. Ce langage simple et intuitif permet de décrire des descriptions de structures tabulaires complexes et variables ainsi que des descriptions plus précises. Celles-ci permettent à l’analyseur de compenser les informations manquantes et
APA, Harvard, Vancouver, ISO, and other styles
27

Noguera, Carlos. "Un ensemble d'outils orientés modèle pour développer et valider des cadres logiciels à base d'annotations." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2008. http://tel.archives-ouvertes.fr/tel-00668953.

Full text
Abstract:
Les annotations, dans le langage de programmation Java, sont un moyen d'embarquer des méta-données dans le code source d'un programme. Elles peuvent être utilisées pour étendre le langage Java avec des concepts spécifiques à un domaine. Utilisées de cette manière, les annotations offrent un moyen de réduire le fossé sémantique entre les concepts du domaine et les concepts fournis par le langage de programmation. Pour l'utilisateur de ce cadre d'annotations (c.-à-d., le développeur d'applications), il est important de comprendre comment les différentes annotations se relient entre elles afin de
APA, Harvard, Vancouver, ISO, and other styles
28

Bayol, Benoit. "Système informatique d'aide à la modélisation mathématique basé sur un langage de programmation dédié pour les systèmes dynamiques discrets stochastiques.Application aux modèles de croissance de plantes." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLC032/document.

Full text
Abstract:
Afin de prévoir les rendements ou réduire la consommation d’intrants nous pouvons, en exploitant les données expérimentales, créer des modèles mathématiques afin de simuler la croissance des cultures en fonction des caractéristiques de l’environnement. Dans cette optique, cette thèse s’intéresse particulièrement aux modèles dits ”mécanistes”.Des premières tentatives, dans les années 70, à nos jours, il y a eu pléthore de nouveaux modèles créés, à différentes échelles, afin d’étudier certains phénomènes dans les cultures ou au sein des plantes. On peut par exemple cite
APA, Harvard, Vancouver, ISO, and other styles
29

Aouadj, Messaoud. "AirNet, le modèle de virtualisation « Edge-Fabric » comme plan de contrôle pour les réseaux programmables." Thesis, Toulouse 3, 2016. http://www.theses.fr/2016TOU30138/document.

Full text
Abstract:
Les travaux de cette thèse s'inscrivent dans le contexte général des réseaux logiciels, dits "Software-Defined Networking" (SDN). Ce paradigme récent est l'une des initiatives les plus notables pour rendre les réseaux actuels programmables ou, en d'autres termes, plus simple à configurer, à tester, à corriger et à faire évoluer. Dans un écosystème SDN, l'interface nord (Northbound API) est utilisée par l'administrateur réseaux pour définir ses politiques et programmer le plan de contrôle, elle représente donc un enjeu majeur. Idéalement, cette interface nord devrait permettre aux administrateu
APA, Harvard, Vancouver, ISO, and other styles
30

Baligand, Fabien. "Une approche déclarative pour la gestion de la qualité de service dans les compositions de service." Phd thesis, École Nationale Supérieure des Mines de Paris, 2008. http://tel.archives-ouvertes.fr/tel-00308934.

Full text
Abstract:
L'avènement des architectures orientées service tend à promouvoir un style d'architecture logicielle où des services, exposant des fonctionnalités accessibles à l'aide de protocoles hautement standardisés sont composés avec un couplage lâche. Dans un tel contexte où les services sont aisément amenés à être remplacés ou utilisés par un grand nombre d'utilisateurs, la notion de Qualité de Service (QdS), qui s'intéresse à la qualité de la relation entre un service et ses clients, constitue un enjeu majeur. La QdS regroupe diverses préoccupations telles que la sécurité, la garantie de livraison, l
APA, Harvard, Vancouver, ISO, and other styles
31

Ramananandro, Tahina. "Les objets en C + + : sémantique formelle mécanisée et compilation vérifiée." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00769044.

Full text
Abstract:
C++ est un des langages de programmation les plus utilisés en pratique, y compris pour le logiciel embarqué critique. C'est pourquoi la vérication de programmes écrits en C++ devient intéressante, en particulier via l'utilisation de méthodes formelles. Pour cela, il est nécessaire de se fonder sur une sémantique formelle de C++. De plus, une telle sémantique formelle peut être validée en la prenant comme base pour la spécication et la preuve d'un compilateur C++ réaliste, afin d'établir la confiance dans les techniques usuelles des compilateurs C++. Dans cette thèse, nous nous focalisons sur l
APA, Harvard, Vancouver, ISO, and other styles
32

Padiou, Gérard. "Contribution à l'étude de la notion d'objet réparti dans les langages et systèmes opératoires." Toulouse 3, 1987. http://www.theses.fr/1987TOU30205.

Full text
Abstract:
Etude bibliographique precisant le concept d'objet et sa suite en oeuvre dans les langages et systemes operatoires. Definition de la notion d'objet dans le complexe particulier du modele de systeme reparti propose. Les mecanismes inclus dans ce modele reposent sur la notion de taches migrantes et de familles de taches. Les protocoles de migration de taches sont decrits en terme de reseaux logiques. Une forme linguistique est decrite et utilisee sur des exemples d'algorithmes repartis. Enfin, le phenomene de migration des taches et la validation des programmes decrits sont formalises a l'aide d
APA, Harvard, Vancouver, ISO, and other styles
33

Lee, Jeon Young. "Contribution à l'étude de l'architecture d'un système intégrant les différents formalismes de représentation de la connaissance." Compiègne, 1985. http://www.theses.fr/1985COMPDE48.

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

Daoud, Mohammad. "Utilisation de ressources non conventionnelles et de méthodes contributives pour combler le fossé terminologique entre les langues en développant des "préterminologies" multilingues." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00583682.

Full text
Abstract:
Notre motivation est de combler le fossé terminologique qui grandit avec la production massive de nouveaux concepts (50 quotidiens) dans divers domaines, pour lesquels les termes sont souvent inventés d'abord dans une certaine langue bien dotée, telle que l'anglais ou le français. Trouver des termes équivalents dans différentes langues est nécessaire pour de nombreuses applications, telles que la RI translingue et la TA. Cette tâche est très difficile, particulièrement pour certaines langues très utilisées telles que l'arabe, parce que (1) seule une petite proportion de nouveaux termes est cor
APA, Harvard, Vancouver, ISO, and other styles
35

Faucher, Colette. "Elaboration d'un langage extensible fondé sur les schémas : le langage Objlog+." Aix-Marseille 3, 1991. http://www.theses.fr/1991AIX30039.

Full text
Abstract:
L'objet de cette these est l'elaboration d'un langage extensible fonde sur les schemas et bati sur prolog, objlog+, dans lequel la notion de schema fait reference a une simple structure de donnees a trois niveaux champ-aspect-valeur, a laquelle aucune semantique du type schema generique/schema specifique n'est associee a priori. A chaque categorie du savoir peut etre associee une categorie de schemas dont la semantique est definie explicitement a posteriori. Les categories suivantes sont predefinies: schemas parametres, schemas non parametres, filtres, prototypes, instances, filtres parametres
APA, Harvard, Vancouver, ISO, and other styles
36

Moal, Frédéric. "Langage de biais en apprentissage symbolique." Orléans, 2000. http://www.theses.fr/2000ORLE2051.

Full text
Abstract:
L'extraction de connaissances dans les bases de données (ECD) est un domaine de recherche actuellement très actif. Une problématique importante pour l'ECD est l'apprentissage supervisé, dont le but est de trouver une définition en intension d'un concept représenté par un ensemble d'exemples étiquetés comme appartenant ou non à ce concept. Dans un contexte relationnel, cette tâche, pour des raisons à la fois théoriques et pratiques, nécessite l'utilisation de biais pour adapter l'algorithme d'apprentissage aux caractéristiques du problème considéré. Nous proposons un cadre unifié et déclaratif
APA, Harvard, Vancouver, ISO, and other styles
37

Dekoker, Sylvain. "Alma : un langage de programmation d'agents cognitifs." Paris 6, 2012. http://www.theses.fr/2012PA066076.

Full text
Abstract:
Cette thèse s'intéresse à la programmation d'agents cognitifs. Devant les grandes difficultés que l'on rencontre pour concevoir, réaliser et maintenir des systèmes informatiques de plus en plus complexes, nous pensons que ce paradigme peut apporter des réponses. Grâce à des concepts proches de notre manière de penser, cela ouvre la porte à de nouvelles solutions. L'état d'esprit dans lequel les systèmes multi-agents nous plongent, nous guide vers une modularité différente : plus explicite, plus déclarative, mieux adaptable et plus robuste. Nous pensons que ce paradigme ne se développera pas à
APA, Harvard, Vancouver, ISO, and other styles
38

Roudier, Yves. "Abstractions reactives pour les langages a objets paralleles : modeles et programmation." Nice, 1996. http://www.theses.fr/1996NICE5047.

Full text
Abstract:
Ce travail porte sur l'utilisation de la programmation reactive, et plus particulierement du modele asynchrone, dans les langages a objets paralleles. Ce type de programmation permet de decrire des systemes evoluant en reponse et simultanement aux modifications de leur environnement. Les relations entre reactivite et programmation a objets ont deja fait l'objet de plusieurs etudes, notamment dans le domaine synchrone. Nous dressons tout d'abord un resume des recherches du domaine. Le premier aspect de notre contribution consiste en la definition de trois modeles reactifs, asynchrones et a obje
APA, Harvard, Vancouver, ISO, and other styles
39

Cunin, Dominique. "Pratiques artistiques sur les écrans mobiles : création d’un langage de programmation." Thesis, Paris 8, 2014. http://www.theses.fr/2014PA080045/document.

Full text
Abstract:
Tout au long de ses évolutions, l'ordinateur n'a cessé de permettre autant la consultation que la création de médias. Mais contrairement à l'activité de consultation, la création de logiciels interactifs demande une certaine maîtrise de la programmation informatique, qui reste le seul moyen de produire des programmes agissant sur une machine numérique. Dans ce contexte, les pratiques artistiques engagées dans la création d'œuvres interactives ne peuvent se dispenser de recourir à la programmation informatique, c'est-À-Dire à la création logicielle. Mais dans quelles situations les artistes se
APA, Harvard, Vancouver, ISO, and other styles
40

Codani, Jean-Jacques. "Microprogrammation, architectures, langages à objets : NAS /." [Le-Chesnay] : Institut national de recherche en informatique et en automatique, 1988. http://catalogue.bnf.fr/ark:/12148/cb35000251h.

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

El, Amrani Younès. "Génération automatique d'interfaces pour langages fonctionnels." Orléans, 1996. http://www.theses.fr/1996ORLE2074.

Full text
Abstract:
Cette thèse est une étude sur l'extensibilité des langages fonctionnels dans les environnements multi-applicatifs. Elle présente un panorama de toutes les approches permettant cette extensibilité tant au niveau structurel des langages fonctionnels qu'au niveau des choix d'implantations de ces derniers. Les différentes techniques d'implantations y sont aussi passées en revue. Nous proposons dans cette thèse des techniques d'interfaçage efficaces, puissantes et produites automatiquement à l'aide d'un générateur. Ce générateur se distingue par sa portabilité maximale et par son aspect multicible.
APA, Harvard, Vancouver, ISO, and other styles
42

Park, Seung Kyu Schoellkopf J. P. "Etude de langages interprétables par une machine langage de haut niveau." S. l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00300432.

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

Pazzaglia, Jean-Christophe. "Methodologie et outils pour la programmation reflexive dans les langages a objets." Nice, 1997. http://www.theses.fr/1997NICE5119.

Full text
Abstract:
La distinction entre concepteur et utilisateur d'un langage s'estompe des lors que celui-ci propose des capacites reflexives. Certains langages a objets, le plus souvent par l'intermediaire d'un protocole metaobjet, decrivent ainsi non plus un point mais une region dans l'espace des langages. Une etude detaillee des modeles et des techniques actuellement utilises dans ce domaine permet d'exhiber les moyens d'actions offerts et de correler trois facteurs au centre de nos preoccupations : le potentiel expressif, l'efficacite et la facilite d'utilisation. Une analyse in vivo d'un cas d'ecole decl
APA, Harvard, Vancouver, ISO, and other styles
44

Hufflen, Jean-Michel Jorrand Philippe Bert Didier Verjus Jean-Pierre. "Fonctions et généricité dans un langage de programmation parallèle." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00335698.

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

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
46

Sinot, François-Regis. "Stratégies efficaces et modèles d'implantation pour les langages fonctionnels." Palaiseau, Ecole polytechnique, 2006. http://www.theses.fr/2006EPXX0021.

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

Danvy, Olivier. "Machines virtuelles pour langages applicatifs et langage acteur : réalisation et programmation." Paris 6, 1986. http://www.theses.fr/1986PA066459.

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

Dechamboux, Pascal. "Gestion d'objets persistants : du langage de programmation au système." Phd thesis, Grenoble 1, 1993. http://tel.archives-ouvertes.fr/tel-00005124.

Full text
Abstract:
Cette these decrit la definition et la mise en oeuvre dun langage de programmation pour bases de donnees : le langage a objets Peplom (PErsistent Programming Language for Object Management). Lapproche adoptee a pour but doffrir une su^rete importante du langage, une implementation efficace et de la flexibilite pour le schema des definitions (types, modules, etc...). Le langage propose nest pas totalement nouveau puisquil est syntaxiquement base sur le langage C/C++ ce qui lui confere une conformite avec les standards. La these presente dans un premier temps un etat de lart en deux parties. La
APA, Harvard, Vancouver, ISO, and other styles
49

Dabrowski, Frédéric. "Programmation réactive synchrone : langage et contrôle des ressources." Paris 7, 2007. http://www.theses.fr/2007PA077140.

Full text
Abstract:
Les systèmes réactifs maintiennent une interaction permanente avec un environnement. Les langages synchrones (une famille de langages dédiée à la conception de ces systèmes) permettent la description de comportements parallèles s'exécutant de manière synchrone, relativement à une horloge logique associée à une diffusion instantanée de l'information. La conception de ces langages permet une compilation des programmes vers du code séquentiel, des automates à états finis ou des circuits. Toutefois, les contraintes imposées pour atteindre ce but limitent l'utilisation de ces langages à des domaine
APA, Harvard, Vancouver, ISO, and other styles
50

Ezequel, Philippe. "Décomposition en programmation logique." Montpellier 2, 1990. http://www.theses.fr/1990MON20100.

Full text
Abstract:
On étudie dans cette thèse la décomposition de programmes logiques, c'est-à-dire le fait qu'un programme puisse être découpé en sous-programmes de telle sorte que le résultat de l'exécution indépendante de chacun des sous-programmes soit équivalent à l'exécution du programme entier. A cet effet, une nouvelle description des programmes logiques (en termes d'ensembles de buts, les comportements) est donnée. On prouve qu'elle est équivalente aux sémantiques classiques. On en déduit de nouvelles conditions nécessaires et suffisantes d'équivalence et de décomposabilité des programmes logiques. Une
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'LSE (langage de programmation) Langages de programmation' for other source types:
Books
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!

To the bibliography