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

Dissertations / Theses on the topic 'C (langage de programmation) – Protection'

Author: Grafiati
Published: 4 June 2021
Last updated: 13 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 'C (langage de programmation) – Protection.'

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

Boudjema, El Habib. "Défense contre les attaques de logiciels." Thesis, Paris Est, 2018. http://www.theses.fr/2018PESC1015/document.

Full text
Abstract:
Dans ce début du troisième millénium, nous sommes témoins d'un nouvel âge. Ce nouvel âge est caractérisé par la transition d'une économie industrielle vers une économie basée sur la technologie de l'information. C'est l’âge de l'information. Aujourd’hui le logiciel est présent dans pratiquement tous les aspects de notre vie. Une seule vulnérabilité logicielle peut conduire à des conséquences dévastatrices. La détection de ces vulnérabilités est une tâche qui devient de plus en plus dure surtout avec les logiciels devenant plus grands et plus complexes. Dans cette thèse, nous nous sommes intére
APA, Harvard, Vancouver, ISO, and other styles
2

Sallenave, Olivier. "Contribution à l'efficacité des programmes orientés objet pour processeurs embarqués." Thesis, Montpellier 2, 2012. http://www.theses.fr/2012MON20120.

Full text
Abstract:
Les systèmes embarqués sont largement utilisés de nos jours. Pour des raisons d'efficacité, les plus contraints en termes de ressources sont toujours programmés en C et en assembleur. L'adoption de langages de plus haut niveau tels que C# ou Java offrirait plus d'abstraction au programmeur, ce qui réduirait les temps de développement et par conséquent le coût de ces systèmes. Certains d'entre eux ont déjà migré vers de tels langages, comme les téléphones mobiles ou les tablettes tactiles, mais ils sont équipés d'une grande quantité de mémoire externe et ne reflètent pas la majorité des système
APA, Harvard, Vancouver, ISO, and other styles
3

El, Mokhtari Mounir. "Contribution à l'intégration de C++ et de Prolog à travers la machine abstraite de Warren : le système cop-compilé." Sherbrooke : Université de Sherbrooke, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

David, Pierre. "Analyse semantique des programmes en langage c en vue de leur parallelisation." Paris 6, 1991. http://www.theses.fr/1991PA066088.

Full text
Abstract:
Les recherches dans le domaine de la parallelisation automatique se sont concentrees sur le langage fortran. Or, ce langage souffre de defauts qui le rendent inadapte a un certain nombre de problemes. Le but de notre etude est la detection automatique de parallelisme en langage c. Le probleme est complexe puisque le langage c dispose de nombreuses constructions destinees a faciliter une ecriture optimisee sur une architecture traditionnelle, et en particulier les pointeurs, l'arithmetique sur ces pointeurs et les expressions avec effets de bord. Notre approche consiste a desoptimiser le progra
APA, Harvard, Vancouver, ISO, and other styles
5

Labbé, Alexandre. "Développement de logiciels d'analyse structurale à interface graphique : WMNPhi et CalWin." Sherbrooke : Université de Sherbrooke, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

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

Mopolo-Moke, Gabriel. "Nice-c++ : une extension c++ pour la programmation persistante a partir d'un serveur de bases d'objets." Nice, 1991. http://www.theses.fr/1991NICE4516.

Full text
Abstract:
Le projet tootsi est un projet de recherche europeen qui a debute en fevrier 1989 et prend fin en fevrier 1991. Il vise l'amelioration de l'utilisation des serveurs et banques de donnees existants. Pour mener a bien ce projet, un certain nombre d'outils de developpement ont ete juges necessaires notamment un langage de programmation susceptible de supporter des types complexes et multimedias, la notion de la persistance, le partage et certains liens semantiques tels que l'heritage et l'association. Le langage selectionne c++ ne possede pas toutes ces caracteristiques. Cette etude a pour but de
APA, Harvard, Vancouver, ISO, and other styles
8

Mahbouli, Hatem. "Modélisation de programmes C en expressions régulières." Thesis, Université Laval, 2011. http://www.theses.ulaval.ca/2011/28220/28220.pdf.

Full text
Abstract:
L’analyse statique des programmes est une technique de vérification qui permet de statuer si un programme est conforme à une propriété donnée. Pour l’atteinte de cet objectif, il faudrait disposer d’une abstraction du programme à vérifier et d’une définition des propriétés. Dans la mesure où l’outil de vérification prend place dans un cadre algébrique, la définition des propriétés ainsi que la modélisation du programme sont représentées sous la forme d’expressions régulières. Ce mémoire traite en premier lieu de la traduction des prog
APA, Harvard, Vancouver, ISO, and other styles
9

Roegel, Denis. "Étude de la sémantique de programmes parallèles réels en TLA." Nancy 1, 1996. http://www.theses.fr/1996NAN10272.

Full text
Abstract:
Dans la première partie de cette thèse, nous avons voulu faciliter la dérivation de programmes parallèles réels à partir de spécifications abstraites. Nous avons défini une étape intermédiaire (cTLA) comme un croisement entre un langage de spécification (TLA+) et un langage parallèle réel. Nous avons conservé des structures de données très souples et abstraites, et en même temps, nous avons incorporé des structures de contrôle plus proches de langages réels. Toute la sémantique du langage a été définie au sein de TLA+. Dans la seconde partie, nous avons étudié des réseaux d'actions TLA. Un rés
APA, Harvard, Vancouver, ISO, and other styles
10

Fatni, Abdelkrim. "Environnement de programmation parallèle adapté au traitement d'images et au calcul scientifique : le langage C// et son compilateur." Toulouse, INPT, 1998. http://www.theses.fr/1998INPT005H.

Full text
Abstract:
Les applications " Grand Challenge " nécessitent une puissance de calcul très importante. Malgré la haute performance des outils informatiques engendrée par la haute intégration des circuits électroniques, la puissance requise par ces applications, de l'ordre du tera-flops, reste non satisfaite. Le challenge pose a l'informaticien trouve sa solution dans la parallélisation de l'environnement de calcul. Celui-ci est constitué du calculateur, de l'algorithmique, du langage de programmation et de son compilateur. Mais l'environnement ne peut être efficace que s'il y a adéquation entre ces différe
APA, Harvard, Vancouver, ISO, and other styles
11

Tran, tan Antoine. "Squelettes algorithmiques asynchrones : application aux langages orientés domaine." Thesis, Université Paris-Saclay (ComUE), 2015. http://www.theses.fr/2015SACLS025/document.

Full text
Abstract:
Dans cette thèse, nous présentons des développements de l'approche utilisée dans l'équipe « ParSys » du LRI pour traduire automatiquement des codes scientifiques écrits dans un langage dédié inspiré de Matlab en codes de production haute performance. Pour garantir cette performance, nous mettons à profit d'une part la méta-programmation par templates C++ afin d'analyser chaque expression pour détecter les opportunités de parallélisme, et d'autre part la programmation parallèle asynchrone pour utiliser au mieux les ressources disponibles des machines multi-cœurs. Pour faire le lien entre ces de
APA, Harvard, Vancouver, ISO, and other styles
12

Raharijaona, Jacques. "Étude du fonctionnement et commande numérique en langage C d'un groupe de pompage photovoltai͏̈que sans balais." Toulouse, INPT, 1991. http://www.theses.fr/1991INPT081H.

Full text
Abstract:
Ce memoire concerne l'utilisation des groupes a aimants permanents et commutation electronique pour le pompage photovoltaique en zone isolee. Apres definition du cahier des charges, les differentes structures d'alimentation sont presentees en relation avec les degres de liberte offerts pour l'optimisation du transfert d'energie. Puis l'auteur s'interesse particulierement a un dispositif a onduleur de courant fonctionnant en commutation naturelle. L'influence des caracteristiques propres de la machine, les lois de commande et les criteres d'adaptation pour une optimisation a un ou deux degres d
APA, Harvard, Vancouver, ISO, and other styles
13

Mensi, Amira. "Analyse des pointeurs pour le langage C." Phd thesis, Ecole Nationale Supérieure des Mines de Paris, 2013. http://pastel.archives-ouvertes.fr/pastel-00944703.

Full text
Abstract:
Les analyses statiques ont pour but de déterminer les propriétés des programmes au moment de la compilation. Contrairement aux analyses dynamiques, le comportement exact du programme ne peut être connu. Par conséquent, on a recours à des approximations pour remédier à ce manque d'information. Malgré ces approximations, les analyses statiques permettent des optimisations et des transformations efficaces pour améliorer les performances des programmes. Parmi les premières analyses du processus d'optimisation figure l'analyse des pointeurs. Son but est d'analyser statiquement un programme en entré
APA, Harvard, Vancouver, ISO, and other styles
14

Rezk, Tamara. "Verification of confidentiality policies for mobile code." Nice, 2009. http://www.theses.fr/2006NICE4099.

Full text
Abstract:
Information flow policies guarantee confidentiality through the absence of undesirable information leakages during program executions. This work proposes specification and verification static techniques for information flow policies in several settings. The work is composed of three major parts. In the first part, we propose formulations for specification of information flow policies over deterministic and non-deterministic programs that can be applied to logically characterize confidentiality policies in temporal and programming logics. We show the applicability of our approach in several lan
APA, Harvard, Vancouver, ISO, and other styles
15

Dillon, Eric. "Propositions pour la maîtrise de la programmation par échange de messages." Nancy 1, 1997. http://www.theses.fr/1997NAN10192.

Full text
Abstract:
Le travail de thèse a été dirigé par le besoin de maîtrise de la programmation paralléle par échange de messages, qui peut être résumé en deux points : - une aide et une méthodologie lors de la conception de l'application parallèle ; - une garantie de performances optimales à l'exécution. Dans ce cadre, après avoir identifié les problèmes concrets posés par l'utilisation des bibliothèques de communication à la fois sur des réseaux de stations et sur de véritables machines parallèles, nous proposons deux approches permettant de résoudre tout ou partie de ces problèmes. La première approche est
APA, Harvard, Vancouver, ISO, and other styles
16

Serrano, Manuel. "Vers une compilation portable et performante des langages fonctionnels /." Le Chesnay : INRIA, 1995. http://catalogue.bnf.fr/ark:/12148/cb370188956.

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

Dong, Jing-Tong. "Localite semantique et mecanisme dlru : application au systeme nice-c++." Nice, 1992. http://www.theses.fr/1992NICE4558.

Full text
Abstract:
Le sujet de cette these s'articule autour de deux facteurs qui ont particulierement compte dans la conception physique d'un sgbd: * la comprehension du comportement de la manipulation des donnees: l'introduction de la localite semantique a pour but de faire comprendre le comportement de manipulation des donnees dans un environnement avec les structures semantiques de donnees. Dans lequel il existe un phenomene ou la reference a une page de donnees provoque souvent d'intervenir d'autres pages de donnees l'existence d'une correlation semantique de references entre ces pages. La localite semantiq
APA, Harvard, Vancouver, ISO, and other styles
18

Ozbolt, Jean. "Etude des difficultés des étudiants de section de brevet de technicien supérieur en informatique industrielle dans l'apprentissage de la programmation en utilisant le langage C." Paris 7, 2000. http://www.theses.fr/2000PA070016.

Full text
Abstract:
Le processus d'apprentissage de la programmation faisant appel a des << savoir-faire >>, pour l'étudier, il faut collecter toutes les étapes du travail des étudiants et pas seulement le résultat final. Nous avons donc décidé de collecter leurs travaux a l'aide d'un outil logiciel, que nous avons créé, ayant comme principale caractéristique d'enregistrer en << temps réel >> toutes les actions effectuées. L'outil est un épiphyte a l'éditeur de texte, il enregistre, les dates de début et de fin de session, les commandes utilisées, l'état d'avancement du travail, etc. Ainsi, il est possible de rec
APA, Harvard, Vancouver, ISO, and other styles
19

Blatter, Lionel. "Relational properties for specification and verification of C programs in Frama-C." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLC065/document.

Full text
Abstract:
Les techniques de vérification déductive fournissent des méthodes puissantes pour la vérification formelle des propriétés exprimées dans la Logique de Hoare. Dans cette formalisation, également connue sous le nom de sémantique axiomatique, un programme est considéré comme un transformateur de prédicat, où chaque programme c exécuté sur un état vérifiant une propriété P conduit à un état vérifiant une autre propriété Q. Les propriétés relationnelles, de leur côté, lient un ensemble de programmes à deux propriétés. Plus précisément, une propriété relationnelle est une propriété concernant n prog
APA, Harvard, Vancouver, ISO, and other styles
20

Pélissier, Gilles. "Méthodologies de conception conjointe logicielle/matérielle." Montpellier 2, 2002. http://www.theses.fr/2002MON20055.

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

Mahieddine, Mohammed. "Modélisation, visualisation et animation d'objets 3D : Approche orientée objets." nice, 1991. http://www.theses.fr/1991NICE4496.

Full text
Abstract:
L'objectif de cette thèse est d'étudier l'application de l'approche orientée objets pour la modélisation, la visualisation et l'animation d'objets graphiques en 3 dimensions. Une première phase de cette étude a consiste en la construction d'une extension orientée objets de standards graphiques existants. Pour la construction du graphe d'héritage des classes, une méthode nouvelle est présentée qui consiste à utiliser a la fois l'héritage comportemental et l'héritage implémentationnel. Une extension orientée objets des systèmes core et cgi est présentée pour illustrer ces idées. Une étude exhaus
APA, Harvard, Vancouver, ISO, and other styles
22

Garrier, Yves. "Spécification d'un service objet CORBA de gestion de persistance introduisant une indépendance totale entre un langage d'implémentation et des bases de données hétérogènes." Versailles-St Quentin en Yvelines, 1996. http://www.theses.fr/1996VERS0010.

Full text
Abstract:
Les compagnies manipulant de grands volumes d'informations ont l'aide d'applications distribuées ont récemment migré vers des architectures multi-niveaux. Ceci, ajouté à la popularité croissante des technologies objets a conduit à l'émergence de systèmes objets distribués comme common object request broker architecture (CORBA). Corba, au travers de l'object request broker (ORB) agit comme un bus de communication pour les méthodes mais la gestion des données n'est pas incluse dans la spécification de base. L'intégration de bases de données est une priorité pour nombre de compagnies. Il en est d
APA, Harvard, Vancouver, ISO, and other styles
23

Genestier, Richard. "Vérification formelle de programmes de génération de données structurées." Thesis, Besançon, 2016. http://www.theses.fr/2016BESA2041/document.

Full text
Abstract:
Le problème général de la preuve de propriétés de programmes impératifs est indécidable. Pour deslangages de programmation et de propriétés plus restrictifs, des sous-problèmes décidables sontconnus. En pratique, grâce à des heuristiques, les outils de preuve de programmes automatisent despreuves qui sortent du cadre théorique de ces sous-problèmes décidables connus. Nous illustronscette réussite pratique en construisant un catalogue de preuves, pour des programmes et despropriétés de nature similaire et de complexité croissante. Ces programmes sont principalementdes générateurs de cartes comb
APA, Harvard, Vancouver, ISO, and other styles
24

Cassé, Hugues. "Analyse des références mémoires en C par interprétation abstraite." Toulouse 3, 2001. http://www.theses.fr/2001TOU30205.

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

Estérie, Pierre. "Multi-Architectural Support : A Generic and Generative Approach." Thesis, Paris 11, 2014. http://www.theses.fr/2014PA112124/document.

Full text
Abstract:
Le besoin constant de puissance de calcul a poussé les développeurs à concevoir de nouvelles architectures: les architectures parallèles. Le calcul scientifique dépend fortement des performances de ces dernières afin de fournir des résultats dans un temps optimal. Les applications scientifiques exécutées sur de tels systèmes doivent alors tirer partie des spécificités de ces nouvelles architectures pour être efficaces.Cette thèse présente une nouvelle approche pour la conception de logiciels embarquant des optimisations relatives aux architectures : l'approche AADEMRAL (Architecture Aware DEMR
APA, Harvard, Vancouver, ISO, and other styles
26

Alias, Christophe. "Optimisation de programmes par reconnaissance de templates." Versailles-St Quentin en Yvelines, 2005. https://tel.archives-ouvertes.fr/tel-01892198.

Full text
Abstract:
La plupart des optimisations appliquent des transformations locales bas-niveau, sans se soucier du calcul exprimé par le programme. Bien que ces optimisations produisent des résultats satisfaisants, elles ne sont pas encore suffisantes, et amènent bien souvent le programmeur à utiliser des bibliothèques optimisées. Pour le moment, les bibliothèques optimisées doivent être appelées à la main. Apprendre et utiliser une nouvelle bibliothèque est malheureusement très fastidieux, et il est surprenant de voir le peu d’aide apporté par le compilateur. Une solution naturelle serait de chercher les occ
APA, Harvard, Vancouver, ISO, and other styles
27

Hajjam, El Hassani Amir. "Iac++ : un environnement interactif de programmation orientée objet dirigée par une assistance intelligente pour la réutilisation de composants logiciels." Mulhouse, 1990. http://www.theses.fr/1990MULH0154.

Full text
Abstract:
IAC++ est un environnement partagé de programmation orientée objet pour le langage C++. Il est conçu dans le but de faciliter le prototypage et de permettre ainsi une amélioration de la productivité du logiciel sous le système UNIX. Son architecture se compose de deux parties bien distinctes, communiquant via le protocole TCP/IP : 1) l'environnement serveur, constitué par une base de composants logiciels, construite à partir de la librairie de classes C++ de Keith Gorlen, une couche de gestion de ces composants et un serveur basé sur les sockets, objets définis dans la version 4. 2 BSD du syst
APA, Harvard, Vancouver, ISO, and other styles
28

Masliah, Ian. "Méthodes de génération automatique de code appliquées à l’algèbre linéaire numérique dans le calcul haute performance." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLS285/document.

Full text
Abstract:
Les architectures parallèles sont aujourd'hui présentes dans tous les systèmes informatiques, allant des smartphones aux supercalculateurs en passant par les ordinateurs de bureau. Programmer efficacement ces architectures en fonction des applications requiert un effort pluridisciplinaire portant sur les langages dédiés (Domain Specific Languages - DSL), les techniques de génération de code et d'optimisation, et les algorithmes numériques propres aux applications. Dans cette thèse, nous présentons une méthode de programmation haut niveau prenant en compte les caractéristiques des architectures
APA, Harvard, Vancouver, ISO, and other styles
29

Wilke, Pierre. "Compilation formellement vérifiée de code C de bas-niveau." Thesis, Rennes 1, 2016. http://www.theses.fr/2016REN1S088/document.

Full text
Abstract:
Cette thèse présente une extension du compilateur CompCert permettant de fournir des garanties formelles de préservation sémantique à des programmes auxquels CompCert n'en donne pas. CompCert est un compilateur pour le langage C vers différentes architectures qui fournit, en plus d'un exécutable compilé, des garanties formelles concernant le comportement du programme assembleur généré. En particulier, tout programme C ayant une sémantique définie selon le standard C est compilé en un programme assembleur équivalent, c'est-à-dire qui a la même sémantique. En revanche, ce théorème n'assure aucun
APA, Harvard, Vancouver, ISO, and other styles
30

Vieira, De Mello Aline. "Tlmdt : une stratégie de modélisation basée sur temps distribué pour la simulation prallèle de systèmes multi-processeurs intégrés sur puce." Paris 6, 2013. http://www.theses.fr/2013PA066201.

Full text
Abstract:
Les architectures matérielles innovantes dans l’industrie de la microélectronique se caractérisent principalement par leur niveau incroyablement élevé de parallélisme. Plusieurs environnements de conception industriels et académiques sont apparus pour aider dans la modélisation, la simulation et la mise au point de “Massively Parallel Multi-Processors System on Chip” (MP2SoCs). Le langage de description matérielle SystemC est le point commun de tous ces environnements. La bibliothèque SystemC de classes C++ permet de décrire le matériel à différents niveaux d’abstraction, allant de RTL synthét
APA, Harvard, Vancouver, ISO, and other styles
31

Chamont, David. "Architecture logicielle pour la simulation des transferts radiatifs." Nancy 1, 1997. http://docnum.univ-lorraine.fr/public/SCD_T_1997_0254_CHAMONT.pdf.

Full text
Abstract:
La synthèse d'images est fondée depuis quelques années sur des bases physiques et mathématiques plus rigoureuses, notamment la modélisation des propriétés radiatives des surfaces et la simulation par éléments finis des transferts radiatifs entre ces surfaces. Une telle évolution permet d'envisager de nouvelles applications industrielles, en particulier en ingénierie de l'éclairage. Ce mémoire présente une architecture logicielle à base d'objets, conçue pour soutenir la recherche dans les disciplines évoquées ci-dessus et faciliter le développement de prototypes industriels. Elle repose d'une p
APA, Harvard, Vancouver, ISO, and other styles
32

Levillain, Roland. "Towards a software architecture for generic image processing." Phd thesis, Université Paris-Est, 2011. http://pastel.archives-ouvertes.fr/pastel-00673121.

Full text
Abstract:
In the context of software engineering for image processing (IP), we consider the notion of reusability of algorithms. In many software tools, an algorithm's implementation often depends on the type of processed data. In a broad definition, discrete digital images may have various forms : classical 2D images, 3D volumes, non-regular graphs, cell complexes, and so on : thus leading to a combinatorial explosion of the theoretical number of implementations. Generic programming (GP) is a framework suited to the development of reusable software tools. We present a programming paradigm based on GP d
APA, Harvard, Vancouver, ISO, and other styles
33

Gautron, Philippe. "UNIX et multiprocessus, C++ et multitâche : une approche logicielle de la simulation et de l'improvisation dans le jazz." Paris 11, 1985. http://www.theses.fr/1985PA112261.

Full text
Abstract:
Cette thèse traite l'approche logicielle de l'improvisation dans le jazz et tire profit pour cela des ressources d'un système d'exploitation, UNIX et d'un langage Orienté Objets, C++. L'architecture conceptuelle repose sur une double ossature parallèle : multiprocessus pour la synchronisation des voies musicales, multitâche pour la gestion des accords (notes simultanées) propres à chaque voie. Ces techniques de programmation ont permis l'élaboration de trois logiciels dans des domaines rythmiques différents : blues tempo rapide et lent, ballad.
APA, Harvard, Vancouver, ISO, and other styles
34

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
35

Gasmi, Bernadette. "Safir : système d'assemblage flexible intelligent multi-robots." Toulouse, ENSAE, 1990. http://www.theses.fr/1990ESAE0014.

Full text
Abstract:
Ce mémoire de thèse présente un environnement de programmation pour une cellule flexible d'assemblage multi-robots: SAFIR. Il comprend un mode hors-ligne qui correspond à l'interface opérateur (spécification des graphes d'assemblage contenant plusieurs plans d'assemblage d'un même produit; instanciation des bases de données concernant les pièces à assembler et les liaisons existant entre elles) et un mode en-ligne qui gère et supervise l'exécution des tâches d'assemblage de manière dynamique. L'objectif est de s'adapter, en temps réel, à l'évolution de la cellule (retard de pièces, pannes de r
APA, Harvard, Vancouver, ISO, and other styles
36

Lemarie, Sylvie. "Etude et réalisation d'un système réparti fondé sur les acteurs." Paris 6, 1992. http://www.theses.fr/1992PA066225.

Full text
Abstract:
Le but de cette thèse est de réaliser un système réparti supportant un environnement de programmation dédié à la mise au point d'applications réparties. Cette thèse prend appui sur Actalk pour sa flexibilité qui permet de modéliser tous langages / systèmes d'acteurs. Actalk offre également un environnement de programmation très complet grâce à son système hôte smalltalk qui s'exécute sur un unique processeur. La machine cible de notre système réparti est une machine parallèle à mémoire non partagée. Les réalisations présentées pour passer de l'exécution concurrente d'une application écrite en
APA, Harvard, Vancouver, ISO, and other styles
37

Zacklad, Manuel. "Principes de modélisation qualitative pour l'aide à la décision dans les organisations : méthode d'utilisation du logiciel d'acquisition des connaissances C-KAT." Compiègne, 1993. http://www.theses.fr/1993COMPD633.

Full text
Abstract:
La thèse décrit une méthode d'aide à l'acquisition des connaissances guidée par le modèle de la classification heuristique et un langage de modélisation des connaissances du domaine : KAL. Cette méthode est supportée par un logiciel, C-KAT, développé en Smalltalk, qui génère semi-automatiquement une base de règles à partir de taxinomies (réseaux sémantiques) décrivant le domaine. Elle présente un exemple d'application dans le domaine de l'analyse de risque incendie.
APA, Harvard, Vancouver, ISO, and other styles
38

Khammassi, Nader. "High-level structured programming models for explicit and automatic parallelization on multicore architectures." Thesis, Lorient, 2014. http://www.theses.fr/2014LORIS350/document.

Full text
Abstract:
La prolifération des architectures multi-coeurs est source d’unepression importante pour les developpeurs, qui doivent chercherà paralléliser leurs applications de manière à profiter au mieux deces plateformes. Malheureusement, les modèles de programmationde bas niveau amplifient les difficultés inhérentes à la conceptiond’applications complexes et parallèles. Il existe donc une attentepour des modèles de programmation de plus haut niveau, quipuissent simplifier la vie des programmeurs de manière significative,tout en proposant des abstractions suffisantes pour absorberl’hétérogénéité des arch
APA, Harvard, Vancouver, ISO, and other styles
39

Bennegadi, Karim. "Étude et réalisation d'opérateurs câblés pour le traitement d'images en temps réel." Compiègne, 1990. http://www.theses.fr/1990COMPD263.

Full text
Abstract:
Afin de permettre une réalisation aisée d'opérateurs de traitement d'image câblés, un environnement autonome matériel et logiciel a été développé. Pour intégrer ces opérateurs dans un seul système, pour en faciliter la maintenance et pour normaliser les extensions pour d'autres opérateurs, un bus image matériel a été mis au point, reliant les sources possibles d'images que sont une carte d'acquisition vidéo ainsi que le bus d'un ordinateur hôte, à l'ensemble des opérateurs câblés. Un ensemble de routines logicielles groupées sous forme de deux librairies, l'une présentant une interface utilisa
APA, Harvard, Vancouver, ISO, and other styles
40

Voegtlin, Marc. "Procédé de génération d'objets pour la création d'applications interactives adaptables." Mulhouse, 1991. http://www.theses.fr/1991MULH0181.

Full text
Abstract:
Le thème de recherche abordé dans cette thèse concerne le développement rapide et sans difficulté d'applications interactives en langage C++ ciblées sur un système de fenêtrage ouvert comme X-Window (X11). Ceci pour satisfaire des besoins de prototypage et d'adaptabilité, tout en ayant la puissance d'un langage compilé et compatible avec les objectifs du génie logiciel. Dans une première partie, nous présentons une étude générale du domaine des interfaces utilisateurs avec un état de l'art sur les systèmes de fenêtrages, les langages et modèles orientés objets d'applications interactives, ains
APA, Harvard, Vancouver, ISO, and other styles
41

Girard, Pierre. "Formalisation et mise en œuvre d'une analyse statique de code en vue de la vérification d'applications sécurisées." Toulouse, ENSAE, 1996. http://www.theses.fr/1996ESAE0010.

Full text
Abstract:
Dans le domaine de la sécurité informatique, de nombreux travaux théoriques concernent les modèles et les règlements de sécurité en se situant très en amont des systèmes réellement implémentés. Cette thèse s'appuie sur les bases théoriques offertes par ces travaux pour fonder une méthode de vérification statique de logiciels applicatifs. Nous proposons pour cela des algorithmes d'analyse qui s'appliquent aux programmes sources et nous démontrons qu'ils sont corrects en les dérivant d'un modèle de sécurité formel. Ils sont utilisés concrètement pour analyser des programmes écrits en langage C.
APA, Harvard, Vancouver, ISO, and other styles
42

Gratien, Jean-Marc. "A DSEL in C++ for lowest-order methods for diffusive problem on general meshes." Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENM018/document.

Full text
Abstract:
Les simulateurs industriels deviennent de plus en plus complexes car ils doivent intégrer de façon performante des modèles physiques complets et des méthodes de discrétisation évoluées. Leur mise au point nécessite de gérer de manière efficace la complexité des modèles physiques sous-jacents, la complexité des méthodes numériques utilisées, la complexité des services numériques de bas niveau nécessaires pour tirer parti des architectures matérielle modernes et la complexité liée aux langages informatiques. Une réponse partielle au problème est aujourd'hui fournie par des plate-formes qui propo
APA, Harvard, Vancouver, ISO, and other styles
43

Van, der Walt Paul. "A language-independent methodology for compiling declarations into open platform frameworks." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0288/document.

Full text
Abstract:
Dans le domaine des plates-formes ouvertes, l’utilisation des cadriciels (frameworks) enrichis par des déclarations pour exprimer les permissions de l’application est de plus en plus répandue. Ceci est une réaction logique au fait qu’il y a une explosion d’adoption des appareils embarqués et mobiles. Leur omniprésence dans notre vie quotidienne engendre des craintes liées à la sécurité et à la vie privée, car l’usager partage de plus en plus ses données et ressources privées avec des tiers qui développent des applications auxquelles on n’a pas de raison de faire confiance. Malheureusement, la
APA, Harvard, Vancouver, ISO, and other styles
44

Cornea, Bogdan Florin. "Prédiction de performances d’applications de calcul distribué exécutées sur une architecture pair-à-pair." Thesis, Besançon, 2011. http://www.theses.fr/2011BESA2012/document.

Full text
Abstract:
Dans le domaine du calcul de haute performance, les architectures d’exécution sont en continuelle évolution. L’augmentation du nombre de nœuds de calcul, ou le choix d’une topologie réseau plus rapide représentent un investissement important tant en temps qu’en moyen financier. Les méthodes de prédiction de performances permettent de guider ce choix. En parallèle à ce développement, les systèmes HPC pair-à-pair (P2P) se sont également développés ces dernières années. Ce type d’architecture hétérogène permettrait la résolution des problèmes scientifiques pour un coût très faible par rapport au
APA, Harvard, Vancouver, ISO, and other styles
45

Samyn, Mickaël. "Une simulation fonctionnelle d'un système monopuce dédié au traitement du signal intensif : une approche dirigée par les modèles." Lille 1, 2005. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/9eec6f23-301f-4b30-b5b0-73be4f4ad924.

Full text
Abstract:
Ces quelques dernières années, le monde de la conception des systèmes monopuces a subi un très grand bouleversement. D'une part, la puissance des nouvelles applications fait que les nouveaux systèmes doivent incorporer de nombreuses ressources hétérogènes. D'autre part, les nouvelles technologies permettent d'incorporer de plus en plus de composants sur une même surface de silicium. Les méthodes de conception actuelles, basées sur l'expérience des concepteurs pour choisir les différentes architectures, ne permettent plus de suivre l'évolution des technologies, d'autant plus que la durée de vie
APA, Harvard, Vancouver, ISO, and other styles
46

Gratien, Jean-Marc. "A Domain Specific Embedded Language in C++ for lowest-order methods for diffusive problem on general meshes." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00926232.

Full text
Abstract:
La spécificité des logiciels scientifiques développés par IFP Energies nouvelles tient avant tout à l'originalité des modèles représentant les situations physiques exprimés sous forme de systèmes d'EDPs assortis de lois de fermeture complexes. Le développement de ces logiciels, conçus pour être exécutés sur les super calculateurs parallèles modernes, nécessite de combiner des méthodes volumes finis robustes et efficaces avec des technologies informatiques qui permettent de tirer au mieux parti de ces calculateurs (parallélisme, gestion de la mémoire, réseaux d'interconnexion, etc). Ces technol
APA, Harvard, Vancouver, ISO, and other styles
47

Oliveira, Rodrigues Antonio Wendell de. "A methodology to develop high performance applications on GPGPU architectures : application to simulation of electrical machines." Thesis, Lille 1, 2012. http://www.theses.fr/2012LIL10029/document.

Full text
Abstract:
Les phénomènes physiques complexes peuvent être simulés numériquement par des techniques mathématiques. Ces simulations peuvent mener ainsi à la résolution de très grands systèmes. La parallélisation des codes de simulation numérique est alors une nécessité pour parvenir à faire ces simulations en des temps non-exorbitants. Le parallélisme s’est imposé au niveau des architectures de processeurs et les cartes graphiques sont maintenant utilisées pour des fins de calcul généraliste, aussi appelé "General-Purpose GPU", avec comme avantage évident l’excellent rapport performance/prix. Cette thèse
APA, Harvard, Vancouver, ISO, and other styles
48

Delpech, Nicolas. "Architecture orientée objet de contrôle-commande de robots." Toulouse, ENSAE, 1994. http://www.theses.fr/1994ESAE0002.

Full text
Abstract:
Le travail que nous proposons porte sur l'introduction des concepts objet dans le développement des architectures de contrôle/commande de robots. Dans une première partie, nous passons en revue certaines approches structurelles caractéristqiues d'architectures de commande. Nous étudions également certaines solutions au problème de l'intégration du modèle objet dans les systèmes de commande temps-réel. Ensuite, nous proposons un environnement de programmation d'applications temps-réel reposant sur un modèle étendu du modèle objet standard (qui est dans notre cas, celui du langage C++) adapté au
APA, Harvard, Vancouver, ISO, and other styles
49

Blanchard, Allan. "Aide à la vérification de programmes concurrents par transformation de code et de spécifications." Thesis, Orléans, 2016. http://www.theses.fr/2016ORLE2073/document.

Full text
Abstract:
Vérifier formellement des programmes concurrents est une tâche difficile. S’il existe différentes techniques pour la réaliser, très peu sont effectivement mises en oeuvre pour des programmes écrits dans des langages de programmation réalistes. En revanche, les techniques de vérification formelles de programmes séquentiels sont utilisées avec succès depuis plusieurs années déjà, et permettent d’atteindre de hauts degrés de confiance dans nos systèmes. Cette thèse propose une alternative aux méthodes d’analyses dédiées à la vérification de programmes concurrents consistant à transformer le progr
APA, Harvard, Vancouver, ISO, and other styles
50

Jimenez, Willy. "Two complementary approaches to detecting vulnerabilities in C programs." Phd thesis, Institut National des Télécommunications, 2013. http://tel.archives-ouvertes.fr/tel-00939088.

Full text
Abstract:
In general, computer software vulnerabilities are defined as special cases where an unexpected behavior of the system leads to the degradation of security properties or the violation of security policies. These vulnerabilities can be exploited by malicious users or systems impacting the security and/or operation of the attacked system. Since the literature on vulnerabilities is not always available to developers and the used tools do not allow detecting and avoiding them; the software industry continues to be affected by security breaches. Therefore, the detection of vulnerabilities in softwar
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'C (langage de programmation) – Protection' 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