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

Dissertations / Theses on the topic 'Common LISP (langage de programmation)'

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

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 34 dissertations / theses for your research on the topic 'Common LISP (langage 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

Newton, Jim. "Representing and computing with types in dynamically typed languages." Electronic Thesis or Diss., Sorbonne université, 2018. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2018SORUS440.pdf.

Full text
Abstract:
Cette thèse présente des techniques de génération de code liées à la vérification dynamique de types de séquences hétérogènes mais régulières. Nous généralisons les expressions rationnelles classiques aux expressions rationnelles de type, en adaptant leur surface syntaxique, représentation interne, calcul, optimisation, et sérialisation (génération de code). Nous comparons la forme native basée sur des S-Expressions avec une représentation par Diagrammes de Décision Binaire, enrichis pour représenter les opérations booléennes dans un treillis de types prenant en charge le sous-typage. Nous int
APA, Harvard, Vancouver, ISO, and other styles
2

Scalabrin, Edson Emílio. "Conception et réalisation d'environnement de développement de systèmes d'agents cognitifs." Compiègne, 1996. http://www.theses.fr/1996COMPD948.

Full text
Abstract:
Les systèmes à base de connaissances sont devenus très complexes à cause de leur volume et de leur diversité, et leur maintenance est difficile. L'approche multi-agent offre actuellement un certain nombre de possibilités pour améliorer la structuration, la modularité et l'évolution de ces systèmes. Toutefois, le développement effectif d'un SMA présente un grand nombre de difficultés. En effet, on souffre de l'absence de modèle d'agent générique, d'un certain flottement concernant les niveaux des protocoles (confusion des niveaux et absence de normes). De plus, la distribution effective sur des
APA, Harvard, Vancouver, ISO, and other styles
3

Recanati, Catherine. "Lambdix : un interprète LISP à liaison lexicale et évaluation paresseuse." Paris 11, 1986. http://www.theses.fr/1986PA112337.

Full text
Abstract:
Lambdix est contrairement à lisp un langage fonctionnel d'ordre supérieur, de performances comparables. Son implantation développe une représentation arborescente des environnements qui permet de résoudre les problèmes liés au passage d'arguments fonctionnels. Cette gestion des environnements permet une implantation de l'appel "par nécessité
APA, Harvard, Vancouver, ISO, and other styles
4

Andary, Philippe. "Optimisation d'emplois du temps par recuit simulé. Algorithmique des algèbres de Lie libres." Rouen, 1996. http://www.theses.fr/1996ROUES001.

Full text
Abstract:
Cette thèse est constituée de deux parties totalement indépendantes. La première partie est consacrée à la réalisation d'un logiciel de calcul automatique d'emploi du temps optimal, par la méthode du recuit simulé. Le premier chapitre introduit la théorie probabiliste sous-jacente : les chaînes de Markov hétérogènes. Puis nous donnons les principaux résultats permettant de valider cette méthode. Dans le second chapitre, nous présentons le logiciel qui a été développé en Common Lisp Object System, sur machine Lisp. Nous formalisons tout d'abord le problème des emplois du temps, puis nous décriv
APA, Harvard, Vancouver, ISO, and other styles
5

Vuong, Ingmar. "K. O. A. L. A. : un coprocesseur microprogrammable pour l'interprétation de LISP." Paris 11, 1986. http://www.theses.fr/1986PA112205.

Full text
Abstract:
Exécuter la forme originale du programme lisp possède un certain nombre d'avantages, que l'on ne retrouve pas dans un schéma d'exécution qui inclut une phase de compilation. Une étude analytique du problème est présentée, mettant en évidence les limites de l'interprétation par rapport à la compilation: interpréter lisp n'est pas intrinsèquement plus lent que d'exécuter du code compile lisp, le facteur variant entre 0. 5 et 2. Cette étude est suivie par la définition d'une architecture minimale permettant d'implémenter efficacement la partie critique de l'interprète lisp: l'évaluateur. Cette ar
APA, Harvard, Vancouver, ISO, and other styles
6

Ploix, Damien. "Elaboration, réalisation et évaluation d'un environnement de programmation analogique." Paris 8, 1999. http://www.theses.fr/1999PA081532.

Full text
Abstract:
Cette these presente une methode originale de creation et d'utilisation de representations analogiques de programmes, notre environnement de programmation zeugma qui implemente cette methode et son evaluation par la presentation de representations analogiques de pro♭ grammes. Le systeme zeugma permet a l'utilisateur de construire ses propres representations de programmes, utilisant les analogies ou les metaphores qui lui sont familiere, de les experimen♭ ter sur des programmes qu'il a ecrits ou qui lui sont inconnus, puis de les utiliser comme nou♭ velles composantes d'un environnement de prog
APA, Harvard, Vancouver, ISO, and other styles
7

Braun, Gabriel. "Sur la programmation de constructions geometriques." Université Louis Pasteur (Strasbourg) (1971-2008), 1988. http://www.theses.fr/1988STR13061.

Full text
Abstract:
Definition d'une couche orientee objets sur lifs, facilitant l'implantation de connaissances geometriques. Presentation de la notion de "reseau de construction" permettant la definition de constructions geometriques de facon incrementale ou deductive, assurant la gestion automatique des contraintes en cas de modifications et autorisant certaines manipulations formelles plus elaborees. L'etat actuel du prototype developpe est presente
APA, Harvard, Vancouver, ISO, and other styles
8

Gaetano, Marc. "Conception et réalisation d'un logiciel pour la manipulation formelle des polynoèmes en plusieurs indeterminées." Nice, 1986. http://www.theses.fr/1986NICE4072.

Full text
Abstract:
Ce logiciel, baptisé Basta (base standard), est spécialement conçu pour expérimenter diverses implémentations de l'algorithme de calcul d'une base standard de polynômes, et de tous ses algorithmes dérivés (résolution d'équations polynomiales, manipulations de matrices a coefficients polynômes). Basta est écrit en CEYX, extension orientée objet de langage LE LISP (de l'INRIA), et il se caractérise principalement par les trois points suivants : élaboration et mise au point d'une nouvelle méthode de représentation des polynômes en plusieurs variables. Représentation des objets mathématiques dans
APA, Harvard, Vancouver, ISO, and other styles
9

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

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

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
11

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
12

Koukam, Abder. "Dérivation de programmes Ada par transformation de systèmes parallèles fondés sur la communication abstraite entre processus." Nancy 1, 1990. http://www.theses.fr/1990NAN10481.

Full text
Abstract:
Le travail présenté dans cette thèse s'inscrit dans le cadre d'une démarche méthodique pour la construction de systèmes parallèles. L'idée de base est de définir de tels systèmes comme un ensemble d'entités manipulant des suites de données, entre lesquelles des relations dites de communication sont spécifiées. Pour concevoir les solutions déduites de cette démarche, un langage d'expression de systèmes parallèles est proposé. Ce langage est caractérisé par : une expression abstraite des relations de communication en termes de types abstraits algébriques appelés types de communication. Une conce
APA, Harvard, Vancouver, ISO, and other styles
13

Menegaux, Antoine. "Sampi : système d'aide à la maintenance des programmes interactif." Vandoeuvre-les-Nancy, INPL, 1988. http://www.theses.fr/1988NAN10394.

Full text
Abstract:
L'outil présenté est un éditeur de graphes, l'interface avec l'utilisateur étant exclusivement réalisée sous forme textuelle : on manipule du texte source. Pour réaliser l'outil, un langage de manipulation textuelle a été défini. Ce langage est ensuite complété pour enrichir les fonctionnalités de l'outil. Enfin, le langage est exprimé sous la forme d'une syntaxe abstraite, pour permettre à l'utilisateur d'introduire ses propres concepts
APA, Harvard, Vancouver, ISO, and other styles
14

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

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

Even, Christian. "Autour du lambda-calcul partiel." Lille 1, 1993. http://www.theses.fr/1993LIL10045.

Full text
Abstract:
Cette thèse a pour objet l'étude des aspects syntaxiques, algébriques et catégoriques du lambda-calcul partiel, qui est un outil théorique pour étudier l'équivalence de programmes exécutées selon un mécanisme d'appel par valeur. En appliquant des techniques éprouvées dans le lambda-calcul pur et en les adaptant à ce calcul on a ainsi obtenu: 1) une preuve de la confluence pour un lambda-calcul partiel simplifie; 2) la caractérisation d'une classe de termes fortement normalisables par un système de types simples; 3) la caractérisation des termes égalisables à une valeur dans le lambda-calcul pa
APA, Harvard, Vancouver, ISO, and other styles
16

Slimani, Yahya. "Structures de données et langages non-procéduraux en informatique graphique." Lille 1, 1986. http://www.theses.fr/1986LIL10002.

Full text
Abstract:
La synthèse d'images fait partie des applications informatiques pour lesquelles on essaie de mettre en oeuvre des architectures et des logiciels répondant, le mieux possible, à deux contraintes principales qui sont l'espace mémoire et le temps de calcul. Devant cette situation, et après avoir analysé les besoins du graphique en matière de structures de données et d'algorithmique, notre travail est une approche par l'utilisation des langages applicatifs (type LISP) en graphique, sous deux aspects : 1- structure de donnée où nous proposons un nouveau modèle de donnée susceptible d'être utilisé p
APA, Harvard, Vancouver, ISO, and other styles
17

Salomé, Jean-Christophe. "Gestion des contraintes temporelles pour le contrôle d'exécution d'un plan d'actions en robotique." Toulouse, ENSAE, 1985. http://www.theses.fr/1985ESAE0017.

Full text
Abstract:
Analyse des problèmes rencontrés en génération de places. Construction d'un générateur de places. Représentation des connaissances pour des phénomènes réels. Stratégie pour un montage-démontage de pièces. Contrôle d'exécution. Problèmes de l'évitement d'obstacles.
APA, Harvard, Vancouver, ISO, and other styles
18

Spir, Eric. "Etude et implantation d'un glaneur de cellules adaptatif pour LISP." Paris 7, 1989. http://www.theses.fr/1989PA077117.

Full text
Abstract:
Un module de gestion de la mémoire pour LISP écrit en LISP et portable sur des matériels standards (VAX, MC68000,. . . ), est présenté. Chaque tâche du gestionnaire mémoire a fait l'objet d'une étude bibliographique poussée afin de déterminer les solutions les plus satisfaisantes dans notre contexte. Souvent, une approche originale a été choisie. L'algorithme d'exploration est une synthèse des stratégies Mark 6 Sweep et Stop 6 Copy due à une publication de B. Lang et F. Dupont qui n'avait pas encore fait l'objet d'une implémentation. Le balayage de la zone des listes est incrémental et des opt
APA, Harvard, Vancouver, ISO, and other styles
19

Vidal, Didier. "Nouvelles notions de réduction en lambda-calcul : Application à la réalisation d'un langage fonctionnel fondé sur la réduction forte." Nancy 1, 1989. http://www.theses.fr/1989NAN10488.

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

Marre, Daniel. "La programmation fonctionnelle parallèle : application à MaRS̱Lisp." Toulouse, INSA, 1992. http://www.theses.fr/1992ISAT0014.

Full text
Abstract:
Cette these traite de la programmation fonctionnelle parallele explicite et de son application a l'aide de mars-lips, le langage applicatif paresseux et non type de mars, la machine a reduction parallele de graphe a memoiree partagee, concue et realisee au cert-onera. L'objectif de ce travail est la presentation et l'experimentation de methodes d'ecriture ou de parallelisation de programmes fonctionnels paralleles en mars-lips. Une premiere partie definit le cadre du travail et les outils utilises. Le premier chapitre presente les caracteristiques d'un langage fonctionnel pour son implementati
APA, Harvard, Vancouver, ISO, and other styles
21

Barlatier, Patrick. "Conception et implantation d'un modèle de raisonnement sur les contextes basé sur une théorie des types et utilisant une ontologie de domaine." Chambéry, 2009. https://tel.archives-ouvertes.fr/tel-00678447.

Full text
Abstract:
Dans ce mémoire, nous proposons une solution possible à la question suivante : comment formaliser des environnements associés à un processus (quelconque) et comment utiliser les informations qu'ils contiennent pour produire des actions pertinentes ? Cette question nous a amené à introduire la notion de contexte ainsi qu'une représentation réutilisable des connaissances pour le formaliser. Nous nous sommes donc intéressés aux notions d'ontologies, de contextes et d'actions. Pour la représentation et le raisonnement sur les contextes et les actions, nous proposons une solution appelée DTF. Celle
APA, Harvard, Vancouver, ISO, and other styles
22

Cousin, Éric. "Compilation optimisée d'un langage fonctionnel pour une machine parallèle à réduction de graphe." Toulouse, ENSAE, 1991. http://www.theses.fr/1991ESAE0012.

Full text
Abstract:
Cette thèse présente les mécanismes mis en œuvre pour compiler efficacement un langage fonctionnel non strict en un code combinatoire directement exécutable sur mars, un réducteur parallèle de graphes à mémoire partagée réalisé à l'ONERA-CERT. Nous décrivons d'abord brièvement les principes de fonctionnement de MaRS (langage fonctionnel, réduction parallèle de graphe, jeu de combinateurs indexes, architecture générale), ainsi que le point de départ de notre travail, un algorithme itératif permettant l'abstraction de toutes les variables en une seule passe. Nous montrons ensuite comment quelque
APA, Harvard, Vancouver, ISO, and other styles
23

Deslaugiers, Marina. "Conception et réalisation du module d'affichage d'un méta - décompilateur." Paris 7, 1985. http://www.theses.fr/1985PA07F049.

Full text
Abstract:
Le CNET (Centre National d'Etudes des télécommunications) a lancé en 1982, un projet nommé "CONCERTO11 ayant pour mission la spécification d'un atelier logiciel multilangage. Il vise à optimiser et faciliter les diverses phases (conception, production, maintenance. . . ) liées au traitement des logiciels de télécommunications de complexité croissante et de volume important. L'étude présentée dans ce mémoire consiste en la conception et la réalisation d'une partie du META-DECOMPILATEUR de l'atelier, le MODULE D'AFFICHAGE, chargé d'afficher sur un terminal, sous forme lisible et esthétique, les
APA, Harvard, Vancouver, ISO, and other styles
24

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.

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

Stransky, Jan. "Analyse sémantique de structures de données dynamiques avec application au cas particulier de langages LISPiens." Paris 11, 1988. http://www.theses.fr/1988PA112187.

Full text
Abstract:
L'objectif est de présenter une méthode permettant d'obtenir par analyse sémantique du code source d'un programme, des informations sur ce que sera la structure des données dynamiques (c'est à "tas") à l'exécution de ce programme. Pour cela, dans un premier temps, un treillis de graphes spécialisés (les "h-graphes") est construit Nous montrons que chaque h-graphe est une approximation sémantiquement correcte d'un ensemble d'états possibles de la mémoire dynamique, et présentons les primitives abstraites correspondantes à quelques primitives classiques d'un langage LISPien. Dans un deuxième tem
APA, Harvard, Vancouver, ISO, and other styles
26

Codani, Jean-Jacques. "Microprogrammation, architectures, langages a objets : n::(a)s." Paris 6, 1988. http://www.theses.fr/1988PA066648.

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

Li, Chumin. "Une étape dans la conception d'environnements intégrés d'objets." Compiègne, 1990. http://www.theses.fr/1990COMPD241.

Full text
Abstract:
Notre thèse est qu'il est nécessaire et possible de développer un environnement unifié intégré, fondé sur la notion d'objet, qui peut à la fois gérer de nombreux objets de façon permanente et partagée, et accommoder un grand nombre de mécanismes de représentation, de programmation et de déduction. Le point de départ de nos travaux est le modèle ensembliste PDM (Property Driven Model) développé par Jean-Paul Barthès à l'UTC et le prototype VORAS du même auteur qui réalisait un des premiers SGBD orientés objets. Nous avons proposé des adaptations et des extensions à ce modèle pour en obtenir une
APA, Harvard, Vancouver, ISO, and other styles
28

Coudron, Matthieu. "Nouvelles approches pour les communications multichemins." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066514/document.

Full text
Abstract:
La dépendance des différentes infrastructures vis-à-vis du réseau Internet va croissant. D’abord la convergence des médias mais bientôt l’Internet des objets ou les véhicules autonomes peut-être vont contribuer à augmenter la criticité d’Internet. Il est donc important de résoudre les problèmes liés à l’infrastructure actuelle, en terme de passage à l’échelle, de confidentialité ou bien de fiabilité. Les communications multichemins font partie des possibilités pour attaquer ce défi. Pour autant la transition vers ces technologies n’est pas sans difficulté. En effet certains équipements bloquen
APA, Harvard, Vancouver, ISO, and other styles
29

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
30

Abdulrab, Habib. "Résolution d'équations sur les mots : étude et implémentation Lisp de l'algorithme de Makanin." Rouen, 1987. http://www.theses.fr/1987ROUES013.

Full text
Abstract:
Introduction de certaines notions et quelques améliorations et simplifications de l'algorithme de Makanin. L'objectif est de donner une nouvelle version poursuivant l'étude de cet algorithme et de réaliser une implémentation permettant de traiter des équations non triviales. Proposition d'un système interactif écrit en Lisp fonctionnant sur VAX 780 sous UNIX et sur machine Lisp. Ce système permet de visualiser les équations en position de l'arborescence, calculer une solution de l'équation à résoudre et fournit un outil permettant de comprendre, expérimenter et étudier cet algorithme
APA, Harvard, Vancouver, ISO, and other styles
31

Zhao, Épouse Boury Xiao Chun. "Méthodologie de conception d'un système expert pour la généralisation cartographique." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1990. http://tel.archives-ouvertes.fr/tel-00529718.

Full text
Abstract:
Rôle de la généralisation cartographique dans les systèmes de production des cartes assistée par ordinateur dans les systèmes d'information géographique. On espère contourner les difficultés de la généralisation cartographique (GC) partiellement en faisant appel à la méthodologie des systèmes experts. Quelques algorithmes de modélisation basés sur la compréhension des éléments géographiques dans leur ensemble sont décrits. On propose une représentation des connaissances par l'utilisation conjointe de plusieurs techniques : représentation par objets, raisonner avec des règles, tout en associant
APA, Harvard, Vancouver, ISO, and other styles
32

Claisse, Harry. "Structures chainées et environnement paginé." Compiègne, 1987. http://www.theses.fr/1987COMPI270.

Full text
Abstract:
Cette thèse est orientée vers les problèmes de structures de pointeurs. La première partie est consacrée à la recherche des éléments qui résultent de décisions de conception pouvant influencer l'efficacité de l'exécution de LISP dans un environnement paginé. Le problème se résume en une recherche de la réduction du nombre de défauts de pages. Nous utilisons pour cela un ensemble de mesures qui permettent de cerner les points cruciaux tels que : structure de l'espace virtuel, espace de travail, ramasse-miettes. Nous étudions plusieurs méthodes de stockage des symboles (chaînes de caractères per
APA, Harvard, Vancouver, ISO, and other styles
33

Lafourcade, Mathieu. "Génie logiciel pour le génie linguiciel." Phd thesis, Université Joseph Fourier (Grenoble), 1994. http://tel.archives-ouvertes.fr/tel-00005104.

Full text
Abstract:
Cette thèse concerne l'étude de différentes techniques modernes de génie logiciel qui peuvent être mises en ¦uvre pour développer des systèmes de Traitement Automatique des Langues Naturelles de façon générique et extensible. La première partie fait le point sur l'état de l'art en TALN à propos des Langages Spécialisés pour la Programmation Linguistique et permet d'identifier l'intégrabilité, l'extensibilité et la généricité comme trois qualités qu'il est souhaitable de fournir aux systèmes de TALN. La définition d'un modèle à objets (LEAF) et l'affinage d'un modèle d'architecture (tableau bla
APA, Harvard, Vancouver, ISO, and other styles
34

Perchat, Joachim. "Composants multiplateformes pour la prise en compte de l'hétérogénéité des terminaux mobiles." Thesis, Valenciennes, 2015. http://www.theses.fr/2015VALE0006/document.

Full text
Abstract:
Ces travaux de thèse visent à diminuer le coût de développement des applications mobilespour smartphones Android, iOS, etc. Les applications mobiles sont de plus en plus complexes. Auparavant, une application mobile se contentait d’afficher des données provenant du web. Maintenant, en plus de cela, elles communiquent avec le monde extérieur. Par exemple, certaines applications communiquent avec des montres, avec des écrans de télévision etc. D’autres permettent le scan de codes barres ou encore l’interaction avec des objets réels à travers la réalité augmentée. Les serveurs peuvent envoyer des
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Common LISP (langage 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