Bibliografie tematiche / Transformation de programme (Informatique) / Tesi
Segui questo link per vedere altri tipi di pubblicazioni sul tema: Transformation de programme (Informatique).

Tesi sul tema "Transformation de programme (Informatique)"

Autore: Grafiati
Pubblicato: 25 luglio 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 "Transformation de programme (Informatique)".

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

Kunz, César. "Préservation des preuves et transformation de programmes." Phd thesis, École Nationale Supérieure des Mines de Paris, 2009. http://pastel.archives-ouvertes.fr/pastel-00004940.

Testo completo
Abstract (sommario):
Le paradigme du code mobile implique la distribution des applications par les producteurs de code à environnements hétérogènes dans lesquels elles sont exécutées. Une pratique étendue de ce paradigme est constituée par le développement d'applications telles que les applets ou les scripts Web, transferés à travers un réseau non sécurisé comme Internet à des systèmes distants, par exemple un ordinateur, un téléphone mobile ou un PDA (Assistant personnel). Naturellement, cet environnement peux ouvrir la porte au déploiement de programmes malveillants dans des plateformes distantes. Dans certains
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Alexandre, Francis. "Transformation de programmes logiques." Nancy 1, 1991. http://www.theses.fr/1991NAN10429.

Testo completo
Abstract (sommario):
La transformation de programmes est reconnue comme un moyen puissant de construire des programmes corrects et efficaces. La démarche générale consiste à appliquer pas à pas des transformations en vue d'obtenir un programme plus efficace. Dans ce cadre, le point de départ est une spécification écrite en clauses de horn (programme défini), les transformations de base sont le dépliage, le pliage et l'introduction de nouveaux prédicats. Les compositions des transformations de base sont appelées des tactiques. L'invention de tactiques produisant des programmes plus efficaces est étudiée. Ces tactiq
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Grenier, Christophe. "Transformation de programme et protection de la propriété intellectuelle - préparation, intégration et vérification." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00915579.

Testo completo
Abstract (sommario):
Dans le domaine de la Défense, les contrats export s'accompagnent souvent de transferts de technologie. Un compromis est donc nécessaire entre la protection de la propriété industrielle, celle du secret national et les demandes client. Nous étudierons dans ce contexte et au sein de DCNS les transformations de sécurisation de programme, principalement l'obfuscation et le watermarking. Nous présenterons ces transformations et les principaux résultats théoriques qui les concernent, ainsi que leur adéquation au besoin de sécurité. Nous étudierons la formalisation et la mise en oeuvre des principal
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Dai, Min. "Transformation et optimisation des programmes pour le parallélisme d'instructions." Versailles-St Quentin en Yvelines, 2000. http://www.theses.fr/2000VERS002V.

Testo completo
Abstract (sommario):
Nous commencerons d'abord par l'introduction des techniques de transformation et d'optimisation a haut niveau au chapitre 2. La présentation des architectures auxquelles nous nous intéressons, les processeurs super scalaires et vliw, est présentée dans le chapitre 3. Après avoir aborde les principales machines, nous présentons la méthode de la simulation des unités fonctionnelles qui est voisine des tables de réservation réduites. Dans le quatrième chapitre, nous introduisons les techniques existantes d'extraction de dépendances de données pour qu'elles puissent être utilisées dans les phases
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Neron, Pierre. "Transformation de Programmes pour des Nombres Réels Fiables." Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00960808.

Testo completo
Abstract (sommario):
Cette thèse présente un algorithme qui élimine les racines carrées et les divisions dans des programmes sans boucles, utilisés dans des systèmes embarqués, tout en préservant la sémantique. L'élimination de ces opérations permet d'éviter les erreurs d'arrondis à l'exécution, ces erreurs d'arrondis pouvant entraîner un comportement complètement inattendu de la part du programme. Cette trans- formation respecte les contraintes du code embarqué, en particulier la nécessité pour le programme produit de s'exécuter en mémoire fixe. Cette transformation utilise deux algorithmes fondamentaux développé
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Cohen, Albert Henri. "Analyse et transformation de programmes : du modèle polyédrique aux langages formels." Versailles-St Quentin en Yvelines, 1999. https://tel.archives-ouvertes.fr/tel-00550829.

Testo completo
Abstract (sommario):
Les microprocesseurs et les architectures parallèles d'aujourd'hui lancent de nouveaux défis aux techniques de compilation. En présence de parallélisme, les optimisations deviennent trop spécifiques et complexes pour être laissées au soin du programmeur. Les techniques de parallélisation automatique dépassent le cadre traditionnel des applications numériques et abordent de nouveaux modèles de programmes, tels que les nids de boucles non affines, les appels récursifs et les structures de données dynamiques. Des analyses précises sont au coeur de la détection du parallélisme, elles rassemblent d
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Amini, Mehdi. "Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU." Phd thesis, Ecole Nationale Supérieure des Mines de Paris, 2012. http://pastel.archives-ouvertes.fr/pastel-00958033.

Testo completo
Abstract (sommario):
Depuis le début des années 2000, la performance brute des cœurs des processeurs a cessé son augmentation exponentielle. Les circuits graphiques (GPUs) modernes ont été conçus comme des circuits composés d'une véritable grille de plusieurs centaines voir milliers d'unités de calcul. Leur capacité de calcul les a amenés à être rapidement détournés de leur fonction première d'affichage pour être exploités comme accélérateurs de calculs généralistes. Toutefois programmer un GPU efficacement en dehors du rendu de scènes 3D reste un défi.La jungle qui règne dans l'écosystème du matériel se reflète d
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Balland, Emilie Kirchner Claude Moreau Pierre-Etienne. "Conception d'un langage dédié à l'analyse et la transformation de programmes." S. l. : Nancy 1, 2009. http://www.scd.uhp-nancy.fr/docnum/SCD_T_2009_0026_BALLAND.pdf.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Ioualalen, Arnault. "Transformation de programmes synchrones pour l’optimisation de la précision numérique." Perpignan, 2012. http://www.theses.fr/2012PERP1108.

Testo completo
Abstract (sommario):
La certification de programmes embarqués dans des systèmes critiques est, aujourd'hui encore, un enjeu majeur pour l'industrie et un défi pour la recherche. En outre, la précision numérique de programmes utilisant l'arithmétique des nombres à virgule flottante a fait l'objet de nombreux travaux et outils. À ce jour, il est possible de déterminer statiquement des sur-approximations fiables des erreurs d'arrondi pouvant apparaître lors des exécutions possibles d'un programme. Néanmoins, ces techniques n'indiquent pas comment corriger ou réduire ces erreurs. Ce travail de thèse présente une métho
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Jouvelot, Pierre. "Parallelisation semantique : une approche denotationnelle non-standard pour la parallelisation de programmes imperatifs sequentiels." Paris 6, 1986. http://www.theses.fr/1986PA066559.

Testo completo
Abstract (sommario):
Notre principe consiste a voir les transformations de programmes introduites par la parllelisation comme definissant des semantiques denotationnelles non-standards du langage de programmation. Nous montrons comment utiliser ce concept pour detecter, dans un langage imperatif simplifie all, des instructions complexes parallelisables, reconnaitre des reductions et prendre en compte certains programmes avec indirections
Gli stili APA, Harvard, Vancouver, ISO e altri
11

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.

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

Balland, Emilie. "Conception d'un langage dédié à l'analyse et la transformation de programmes." Phd thesis, Université Henri Poincaré - Nancy I, 2009. http://tel.archives-ouvertes.fr/tel-00435881.

Testo completo
Abstract (sommario):
Développer des analyseurs statiques nécessite une manipulation intensive de structures d'arbres et de graphes représentant le programme. La finalité de cette thèse est de proposer des constructions de langage dédiées au prototypage d'outils d'analyse et de transformation de programmes et inspirées de la réécriture de termes et de termes-graphes. L'originalité de notre approche est d'embarquer ces nouvelles constructions dans les langages généralistes sous la forme d'un langage dédié embarqué. Les travaux de cette thèse se fondent sur le langage Tom qui propose d'embarquer des constructions de
Gli stili APA, Harvard, Vancouver, ISO e altri
13

Neron, Pierre. "A Quest for Exactness: Program Transformation for Reliable Real Numbers." Phd thesis, Ecole Polytechnique X, 2013. http://tel.archives-ouvertes.fr/tel-00924379.

Testo completo
Abstract (sommario):
Cette thèse présente un algorithme qui élimine les racines carrées et les divi- sions dans des programmes sans boucles, utilisés dans des systèmes embarqués, tout en préservant la sémantique. L'élimination de ces opérations permet d'éviter les erreurs d'arrondis à l'exécution, ces erreurs d'arrondis pouvant entraîner un comportement complètement inattendu de la part du programme. Cette trans- formation respecte les contraintes du code embarqué, en particulier la nécessité pour le programme produit de s'exécuter en mémoire fixe. Cette transformation utilise deux algorithmes
Gli stili APA, Harvard, Vancouver, ISO e altri
14

Fradet, Pascal. "Approches langages pour la conception et la mise en oeuvre de programmes." Habilitation à diriger des recherches, [S.l.] : [s.n.], 2000. ftp://ftp.irisa.fr/techreports/habilitations/fradet.pdf.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
15

Machado, Javam de Castro. "Parallélisme et transactions dans les bases de données à objets." Université Joseph Fourier (Grenoble), 1995. https://tel.archives-ouvertes.fr/tel-00005039.

Testo completo
Abstract (sommario):
Notre travail cherche à exploiter le parallélisme dans le contexte des systèmes de gestion de bases de données a objets a d'autres niveaux d'abstraction que celui d'une requête SQL, à savoir le parallélisme intra-transaction et le parallélisme intra-application. Notre approche pour parallélisassions des transactions considère un modèle de transactions classiques, ou une transaction est une séquence d’Operations. Le parallélisme intra-transaction consiste à transformer le code d'une transaction pour pouvoir exécuter ses opérations en parallèle. Notre approche pour l'exploitation du parallélisme
Gli stili APA, Harvard, Vancouver, ISO e altri
16

Tardieu, Olivier. "De la sémantique opérationnelle à la spécification formelle de compilateurs : l'exemple des boucles en Esterel." Phd thesis, École Nationale Supérieure des Mines de Paris, 2004. http://pastel.archives-ouvertes.fr/pastel-00001336.

Testo completo
Abstract (sommario):
Esterel est un langage impératif concurrent pour la programmation des systèmes réactifs. A l'exception de l'instruction "pause", les primitives du langage s'exécutent sans consommer de temps logique. L'exécution se décompose donc en une suite d'instants. Dans ce contexte, les boucles peuvent poser deux types de problèmes: d'une part une boucle instantanée peut bloquer l'écoulement du temps; d'autre part un bloc de code peut être traversé plusieurs fois au cours du même instant, conduisant à un comportement du programme dit "schizophrène". Les boucles instantanées sont proscrites par la sémanti
Gli stili APA, Harvard, Vancouver, ISO e altri
17

Ajouli, Akram. "Vues et transformations de programmes pour la modularité des évolutions." Phd thesis, Ecole des Mines de Nantes, 2013. http://tel.archives-ouvertes.fr/tel-00866997.

Testo completo
Abstract (sommario):
La maintenance consomme une grande partie du coût de développement des logiciels ce qui rend l'optimisation de ce coût parmi les enjeux importants dans le monde du génie logiciel. Dans cette thèse nous visons à optimiser ce coût par rendre ces maintenances modulaires. Pour atteindre cet objectif, nous définissons des transformations des architectures des programmes qui permettent de transformer le programme à maintenir vers une architecture qui facilite la tâche de maintenance voulue. Nous nous concentrons plus sur la transformation entre les architectures à propriétés de modularité duales tel
Gli stili APA, Harvard, Vancouver, ISO e altri
18

Garchery, Quentin. "Certification de la transformation de tâches de preuve." Electronic Thesis or Diss., université Paris-Saclay, 2022. http://www.theses.fr/2022UPASG006.

Testo completo
Abstract (sommario):
De nombreux prouveurs et outils de vérification font un usage instensif des transformations logiques afin de ramener un problème exprimé sous la forme d'une tâche de preuve à un certain nombre de tâches de preuve plus simples à valider. Les transformations font souvent partie de la base de confiance de l'outil de vérification. Cette thèse a pour objectif de renforcer la confiance accordée aux transformations logiques. Les transformations sont instrumentées pour produire des certificats puis ceux-ci sont vérifiés par un outil externe: c'est l'approche sceptique. De ce fait, notre méthode est in
Gli stili APA, Harvard, Vancouver, ISO e altri
19

Saint-James, Emmanuel. "De la meta-recursivite comme outil d'implementation." Paris 6, 1987. http://www.theses.fr/1987PA066612.

Testo completo
Abstract (sommario):
Il est montre comment il est possible et pourquoi il est souhaitable d'implementer un langage de programmation exclusivement par autointerpretation. En effet, il est montre qu'un sous ensemble d'un langage de programmation peut etre considere comme sa propre machine virtuelle, et que l'acces interactif au code source du systeme donne au langage une clarte et une puissance d'expression inegalees. Cette technique, nommee metarecursivite, a ete utilisee pour mettre en oeuvre le systeme meta lisp, operationnel sur plusieurs machines
Gli stili APA, Harvard, Vancouver, ISO e altri
20

Lermusiaux, Pierre. "Analyse statique de transformations pour l’élimination de motifs." Electronic Thesis or Diss., Université de Lorraine, 2022. http://www.theses.fr/2022LORR0372.

Testo completo
Abstract (sommario):
La transformation de programmes est une pratique très courante dans le domaine des sciences informatiques. De la compilation à la génération de tests en passant par de nombreuses approches d'analyse de codes et de vérification formelle des programmes, c'est un procédé qui est à la fois omniprésent et crucial au bon fonctionnement des programmes et systèmes informatiques. Cette thèse propose une étude formelle des procédures de transformation de programmes dans le but d'exprimer et de garantir des propriétés syntaxiques sur le comportement et les résultats d'une telle transformation. Dans le co
Gli stili APA, Harvard, Vancouver, ISO e altri
21

Hufflen, Jean-Michel. "Fonctions et généricité dans un langage de programmation parallèle." Phd thesis, Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00335698.

Testo completo
Abstract (sommario):
Fp2 (functional parallel programming) est un langage qui concilie programmation fonctionnelle et programmation parallèle a travers le formalisme des spécifications algébriques et des systèmes de réécriture. Dans le cadre du projet fp2, cette thèse a pour principal objectif de présenter la partie fonctionnelle, incluant la généricité et le traitement des exceptions. La généricité (paramétrisation d'une spécification) est traitée dans la première partie: nous rappelons les principes, étudions la sémantique, formalisons la compilation des opérateurs génériques en restant dans un cadre fonctionnel
Gli stili APA, Harvard, Vancouver, ISO e altri
22

Kessaci, Kamel. "Synthèse de circuits digitaux synchrones par transformations de programmes fonctionnels." Toulouse, ENSAE, 1992. http://www.theses.fr/1992ESAE0007.

Testo completo
Abstract (sommario):
Avec la complexité croissante des circuits VLSI, la recherche de méthodes formelles de conception de circuits devient nécessaire pour atteindre l'objectif de circuits zéro-défaut dans les délais escomptés. Dans le cadre des circuits digitaux synchrones, nous proposons une méthodologie de conception de circuits descendante par transformations de programmes. La transformation de programmes consiste à dériver une réalisation à partir de sa spécification comportementale de haut niveau. La synthèse de circuits par transformations de programmes qualifie ce processus de réalisation. Pour cela, nous a
Gli stili APA, Harvard, Vancouver, ISO e altri
23

Layaïda, Nabil. "Représentation et analyses de contenu et de programmes Web." Habilitation à diriger des recherches, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00872752.

Testo completo
Abstract (sommario):
Aujourd'hui, les contenus et les applications Web sont devenus la principale interface pour effectuer toutes sortes de tâches de la vie quotidienne comme déclarer et payer les impôts, réserver des billets d'avion ou de train, planifier des vacances, effectuer des achats, gérer les comptes bancaires, etc. En conséquence, il devient de plus en plus important d'étudier leurs fondements, d'améliorer leurs capacités, de faciliter leur conception, de vérifier leur fonctionnement, de les optimiser automatiquement et les rendre plus souples et adaptables aux usages et aux différentes plateformes. Dans
Gli stili APA, Harvard, Vancouver, ISO e altri
24

Galinec, David. "Exécution asynchrone de programmes synchrones par transformations automatiques : application au traitement d'images temps-réel." Lille 1, 1997. http://www.theses.fr/1997LIL10054.

Testo completo
Abstract (sommario):
Le travail réalisé dans le cadre de cette thèse porte sur la transformation automatique de programmes synchrones en vue de leur implémentation asynchrone sur les architectures hétérogènes distribuées. Dans un contexte applicatif nous nous sommes plus particulièrement intéressés aux systèmes de traitements temps-réel de l'image. La démarche que nous avons suivie se base sur une phase préliminaire de conception et validation des systèmes temps-réel sous l'hypothèse de synchronisme. En pratique, nous avons utilisé un outil existant : le langage signal. Nous avons développé un ensemble de processu
Gli stili APA, Harvard, Vancouver, ISO e altri
25

Kerneis, Gabriel. "Continuation-Passing C : transformations de programmes pour compiler la concurrence dans un langage impératif." Phd thesis, Paris 7, 2012. http://www.theses.fr/2012PA077133.

Testo completo
Abstract (sommario):
La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi plus difficiles à utiliser. De plus, ils sont souvent trop limités ; il est alors nécessaire d'écrire du code hybride, encore plus complexe, utilisant à la fois des threads ordonnancés préemptivement et des événements ordonnancés coopérativement. Nous montrons dans cette thèse que des programmes concurre
Gli stili APA, Harvard, Vancouver, ISO e altri
26

Kerneis, Gabriel. "Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00751444.

Testo completo
Abstract (sommario):
La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi plus difficiles à utiliser. De plus, ils sont souvent trop limités ; il est alors nécessaire d'écrire du code hybride, encore plus complexe, utilisant à la fois des threads ordonnancés préemptivement et des événements ordonnancés coopérativement. Nous montrons dans cette thèse que des programmes concurre
Gli stili APA, Harvard, Vancouver, ISO e altri
27

Dupuis-Toubol, Frédérique. "La nature juridique du programme d'ordinateur." Paris 10, 1985. http://www.theses.fr/1985PA100195.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
28

Lefebvre, Vincent. "Restructuration automatique des variables d'un programme en vue de sa parallélisation." Versailles-St Quentin en Yvelines, 1998. http://www.theses.fr/1998VERS0008.

Testo completo
Abstract (sommario):
Cette thèse se place dans le cadre de la parallélisation automatique de programmes. Toute tentative de parallélisation débute par une analyse des dépendances. Parmi toutes les dépendances, seules les vraies dépendances de flot correspondent effectivement à un échange d'informations entre opérations. Les autres dépendances sont artificielles, -i. E. Uniquement liées à la réutilisation mémoire. Toute dépendance artificielle peut être détruite par expansion mémoire (agrandissement des données du programme). Afin de dégager un maximum de parallélisme, on peut les supprimer toutes en réalisant une
Gli stili APA, Harvard, Vancouver, ISO e altri
29

Jones, Charles Albert Muñoz. "Conversion and transformation : Prince Albert's programme for a European monarchical order." Thesis, University of St Andrews, 2018. http://hdl.handle.net/10023/16558.

Testo completo
Abstract (sommario):
This thesis will examine the political, legal, and philosophical beliefs of Albert, the Prince Consort, in the fields of governance, foreign policy and international affairs as well as the methods he used in his attempt to realise these ideas, both domestically and abroad. This "Albertine ambition" constituted a sophisticated and coherent political programme for a coordinated Conversion and Transformation during a period of rapid and profound socio-political change in Europe. His over-arching aim was to help to establish an integrated, co-operative and mutually supporting system of constitutio
Gli stili APA, Harvard, Vancouver, ISO e altri
30

Vialette, Jean-Paul. "Application du programme de medicalisation des systemes informatiques au traitement du pneumothorax." Aix-Marseille 2, 1990. http://www.theses.fr/1990AIX20829.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
31

DUVAUX, CHRISTOPHE. "Teleinformatique et regionalisation des soins : a propos du programme loginat." Lille 2, 1991. http://www.theses.fr/1991LIL2M108.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
32

Kanyabwero, Erwanne Paméla. "Mécanisme de contrôle du flot d'information dans un programme : approche par typage trivalué." Thesis, Université Laval, 2013. http://www.theses.ulaval.ca/2013/29577/29577.pdf.

Testo completo
Abstract (sommario):
Ce mémoire présente un mécanisme d’application de politiques de sécurité grâce à une analyse de types trivaluée sur un langage impératif. Notre analyse a pour but de réduire les faux positifs générés par l’analyse statique, tout en préparant les programmes analysés à être instrumentés. Les faux positifs se produisent dans l’analyse de systèmes informatiques à temps réel quand il manque de l’information au moment de la compilation, par exemple un nom de fichier, et par conséquent, son niveau de sécurité. Notre approche visant à répondr
Gli stili APA, Harvard, Vancouver, ISO e altri
33

Guerte, Yves. "Dérivation de programmes impératifs à partir de spécifications algébriques." Phd thesis, Université Claude Bernard - Lyon I, 1996. http://tel.archives-ouvertes.fr/tel-00004992.

Testo completo
Abstract (sommario):
Ce document présente une méthode de dérivation automatique des spécifications algébriques vers un langage impératif. Par langage impératif nous désignons un langage de programmation ``traditionnel'' avec déclarations des variables (état) et dont les programmes sont des suites d'instructions qui modifient l'état. L'instruction caractéristique est l'affectation destructrice d'une valeur à une variable. Une spécification algébrique est composée de sortes, de constructeurs qui définissent l'ensemble des valeurs atteignables (que l'on peut dénoter), et d'opérateurs axiomatisés par des équations con
Gli stili APA, Harvard, Vancouver, ISO e altri
34

Maran, Abdalhmed. "Une approche formelle pour la transformation de modèles UML-XML." Versailles-St Quentin en Yvelines, 2005. http://www.theses.fr/2005VERS0007.

Testo completo
Abstract (sommario):
UML (Unified Modeling Language) allows modeling of structure and behavior of systems and offers several kinds of diagrams. XML (eXtensible Markup Language) is a data format and it has a schema definition language which is also in XML. In XML, there are a clear separation between XML Data and their schemas, descriptions and ontology and several possible representations. From early beginning of XML, there had been associations between UML and XML and complementarities had been shown between them. Our goal is to define a new and formal approach for model transformation and use it in case of UML t
Gli stili APA, Harvard, Vancouver, ISO e altri
35

CASANOVA, BRUNET ISABELLE. "Etude de la fievre q au travers d'un programme informatise." Aix-Marseille 2, 1988. http://www.theses.fr/1988AIX20318.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
36

OHAYON, ALAIN. "Le programme de medicalisation du systeme d'information hospitalier : description et analyse." Aix-Marseille 2, 1988. http://www.theses.fr/1988AIX20199.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
37

Duruisseau, Mickaël. "Améliorer la compréhension d’un programme à l’aide de diagrammes dynamiques et interactifs." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1I042/document.

Testo completo
Abstract (sommario):
Les développeurs occupent une place prépondérante dans le développement logiciel. Dans ce cadre, ils doivent réaliser une succession de tâches élémentaires (analyse, codage, liaison avec le code existant...), mais pour effectuer ces tâches, un développeur doit régulièrement changer de contexte de travail (recherche d’information, lecture de code…) et analyser du code qui n’est pas le sien. Ces actions nécessitent un temps d’adaptation élevé et réduisent l’efficacité du développeur. La modélisation logicielle est une solution à ce type de problème. Elle propose une vue abstraite d’un logiciel,
Gli stili APA, Harvard, Vancouver, ISO e altri
38

Kao, Kuan-Yu. "Control of the EBV growth transformation programme : the importance of the Bamhi W repeats." Thesis, University of Birmingham, 2011. http://etheses.bham.ac.uk//id/eprint/1493/.

Testo completo
Abstract (sommario):
Epstein-Barr virus (EBV), a human gammaherpesvirus, possesses a unique set of latent genes whose constitutive expression in B cells leads to cell growth transformation. The initiation of this B-cell growth transformation programme depends on the activation of a viral promoter, Wp, present in each tandemly arrayed BamHI W repeat of the EBV genome. In order to examine the role of the BamHI W region in B cell infection and growth transformation, we constructed a series of recombinant EBVs carrying different numbers of BamHI W repeats and carried out B cell infection experiments. We concluded that
Gli stili APA, Harvard, Vancouver, ISO e altri
39

Peltier, Mikaël. "Techniques de transformation de modèles basées sur la méta-modélisation." Nantes, 2003. http://www.theses.fr/2003NANT2057.

Testo completo
Abstract (sommario):
Dans cette thèse, nous présentons cette problématique de manière concrète et pragmatique. Après avoir étudié les systèmes existants, nous avons développé un langage dédié permettant d'exprimer les transformations de manière formelle, non-ambigue͏̈ et exécutable. Ce langage peut constituer le cœur d'un système unifié de transformation de modèles. Les résultats des travaux de normalisation en cours nous permettent de confirmer les choix proposés et éventuellement de suggérer des extensions ou améliorations<br>The last modern requirements of software development have caused OMG to define an archi
Gli stili APA, Harvard, Vancouver, ISO e altri
40

Pottier, Laurent. "Le contrôle de la synthèse sonore informatique : cas particulier, l'utilisation du programme PatchWork." Paris, EHESS, 2001. http://www.theses.fr/2001EHES0121.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
41

Lecerf, Jason. "Designing language-agnostic code transformation engines." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1I077.

Testo completo
Abstract (sommario):
Les transformations automatiques de code apparaissent dans diverses situations, les refactorings, les migrations inter-langages ou encore la spécialisation de code. Les moteurs supportant ces transformations cherchent dans le code source les occurrences de motifs spécifiés par l’utilisateur, puis les réécrivent grâce à une transformation. Cette transformation peut soit modifier les occurrences elles-mêmes, des éléments de la représentation intermédiaire (IR) du langage, en nouveaux éléments ou réécrire leur code source. Nous nous concentrons sur la réécriture de code source qui offre une meill
Gli stili APA, Harvard, Vancouver, ISO e altri
42

Delamare, Romain. "Analyses automatiques pour le test de programme orientés aspect." Rennes 1, 2009. ftp://ftp.irisa.fr/techreports/theses/2009/delamare.pdf.

Testo completo
Abstract (sommario):
La programmation orientée aspects sépare les différentes préoccupations pour améliorer la modularité et l'évolutivité. Ce paradigme introduit de nouveaux défis pour le test. Afin de proposer des solutions efficaces à ces problèmes, nous avons étudié l'utilisation d'AspectJ dans 38 projets libres. Ces observations ont révélé que les aspects sont peu utilisé, et avec précaution, et que la programmation orientée aspect diminue la testabilité en augmentant le couplage. Nous avons développé une analyse statique de l'impact des aspects sur les cas de test. Le but est de déterminer statiquement quels
Gli stili APA, Harvard, Vancouver, ISO e altri
43

Yannias, Alexandra. "Section 26, Grootboom, and breaking new ground : South Africa's constitutional right to housing in theory and practice." Master's thesis, University of Cape Town, 2008. http://hdl.handle.net/11427/3679.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
44

Bouchet, Sala Agnès. "Transmission et transformation identitaire, l'ambivalence du programme d'enseignement général à l'Université de Stanford (1920-1998)." Paris 3, 2001. http://www.theses.fr/2001PA030170.

Testo completo
Abstract (sommario):
Les "programmes d'enseignement général" correspondent aux Etats-Unis aux programmes universitaires appelés "core requirements" ou "general education courses". Ils mettent en oeuvre un large éventail de sujets empruntés le plus souvent aux disciplines des sciences humaines. Ces cours sont enseignés dès la première année universitaire et parfois sur l'ensemble du cursus jusqu'au niveau graduate. Présents sous des formes très différentes dans la grande majorité des universités, ils reposent sur la volonté de transmettre à l'ensemble des étudiants une expérience et des références culturelles essen
Gli stili APA, Harvard, Vancouver, ISO e altri
45

A, Hamid Aida Hanim. "Between vision and action : the local implementation of the district transformation programme policy in Malaysia." Thesis, University of Bristol, 2017. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.738213.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
46

Bsaïes, Khaled. "Construction de programmes logiques par synthèse de propriétés." Nancy 1, 1993. http://www.theses.fr/1993NAN10295.

Testo completo
Abstract (sommario):
Ce travail a pour propos la synthèse de propriétés de programmes logiques pour la transformation par pliage et dépliage. L'objectif général est l'amélioration de l'efficacité des programmes logiques par application des transformations. Le domaine de notre étude est celui des méthodes de développement formel de programmes. L'expérience et l'étude rigoureuse d'exemples montrent que les transformations par pliage et dépliage ne suffisent pas pour obtenir de manière systématique des programmes plus efficaces: il est utile de disposer et d'appliquer des propriétés qui sont des formules logiques par
Gli stili APA, Harvard, Vancouver, ISO e altri
47

Martin, Eric. "Bilan du programme de medicalisation du systeme d'information (pmsi) en 1989 au chru de nancy." Nancy 1, 1990. http://www.theses.fr/1990NAN11286.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
48

Duris, Etienne JOURDAN MARTIN. "CONTRIBUTION AUX RELATIONS ENTRE LES GRAMMAIRES ATTRIBUEES ET LA PROGRAMMATION FONCTIONNELLE." [S.l.] : [s.n.], 1998. ftp://ftp.inria.fr/INRIA/publication/Theses/TU-0541.ps.gz.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
49

Roads, Curtis. "Synthèse et transformation des microsons." Paris 8, 1999. http://www.theses.fr/1999PA082890.

Testo completo
Abstract (sommario):
En dessous du niveau de la note se tient le royaume du microson et des particules sonores. Les avancées technologiques récentes nous permettent d’explorer ce monde auparavant inconnu. Les techniques microsonores dissolvent les briques rigides de l’architecture musicale – les notes – et les transforment en un matériau plus souple et fluide. Cette thèse, dédiée à l’étude du microson, est le fruit d’une longue période d’activité en recherche expérimentale, programmation, et composition. Commence�� à partir de quelques fils directeurs, le texte est devenu par la suite un réseau d’informations inté
Gli stili APA, Harvard, Vancouver, ISO e altri
50

Nikjoo, Soukhtabandani Ali. "Partial shape matching using CCP map and weighted graph transformation matching." Thesis, Université Laval, 2014. http://www.theses.ulaval.ca/2014/30611/30611.pdf.

Testo completo
Abstract (sommario):
La détection de la similarité ou de la différence entre les images et leur mise en correspondance sont des problèmes fondamentaux dans le traitement de l'image. Pour résoudre ces problèmes, on utilise, dans la littérature, différents algorithmes d'appariement. Malgré leur nouveauté, ces algorithmes sont pour la plupart inefficaces et ne peuvent pas fonctionner correctement dans les situations d’images bruitées. Dans ce mémoire, nous résolvons la plupart des problèmes de ces méthodes en utilisant un algorithme fiable pour segmenter la carte des contours image, appelée carte des CCPs, et une nou
Gli stili APA, Harvard, Vancouver, ISO e altri
Ti possono interessare anche gli elenchi di altri tipi di fonti sul tema "Transformation de programme (Informatique)":
Articoli di riviste Libri
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