Log in

Relevant bibliographies by topics / Systèmes de (informatique) / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Systèmes de (informatique).

Dissertations / Theses on the topic 'Systèmes de (informatique)'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

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 'Systèmes de (informatique).'

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

Si-Mohammed, Malik. "Systèmes experts et conception de systèmes d'information : assistance à l'étude de l'existant." Toulouse 3, 1990. http://www.theses.fr/1990TOU30218.

Full text

Abstract:

Cette these a trait aux apports des systemes experts en conception de systemes d'information, et en particulier a l'etape d'etude de l'existant. Apres un bref rappel sur les principales notions introduites par les systemes experts, l'auteur s'interesse aux specificites des systemes experts de gestion. Il decrit alors la realisation du systeme expert rubicon, destine a l'aide a la decision d'informatisation des petits entreprises commerciales, avant de generaliser les concepts introduits par rubicon au developpement d'un systeme expert d'audit, de par la generalisation du modele de representati

APA, Harvard, Vancouver, ISO, and other styles

2

François, Patrice. "Évaluation des systèmes informatiques d'aide à la décision médicale : étude du système Meninge." Université Joseph Fourier (Grenoble), 1990. http://www.theses.fr/1990GRE19007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Salem, Yassine. "L'utilisation des systèmes experts en informatique de gestion." Paris 9, 1992. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1992PA090027.

Full text

Abstract:

Actuellement c'est la programmation procédurale, exprimée à travers les langages impératifs, qui est utilisée pour résoudre les problèmes de gestion. L'objectif de cette thèse est, après une étude comparative entre l'approche déclarative (S. E. : systèmes experts) et l'approche procédurale pour la réalisation des applications de gestion, de proposer, en fonction du problème à résoudre, l'emploi de l'approche la plus apte à produire des programmes économiques à la réalisation et en maintenance. Une proposition des spécifications d'un langage approprié aux problèmes de gestion ainsi que les règl

APA, Harvard, Vancouver, ISO, and other styles

4

El, Ghazi El Houssaini Souhail. "Notions fondamentales de la théorie des systèmes informatiques." Aix-Marseille 2, 1986. http://www.theses.fr/1986AIX22030.

Full text

Abstract:

L'auteur a realise une etude approfondie des rapports qui existent entre compilateurs et systemes informatiques qui les gerent. Decomposant le champ informatique en deux parties : le fini borne pour les compilateurs et le fini illimite pris en compte par le systeme, il definit un ensemble de notions coherentes qu'il fait apparaitre dans un langage : la procedure formelle symbolique destine a assurer la description complete de l'ensemble : systeme-jeu de compilateurs, etendu au cas general ou ce jeu est extensible

APA, Harvard, Vancouver, ISO, and other styles

5

Courtot, Katherine. "Information cartographique, carroyages et systèmes informatiques." Université Louis Pasteur (Strasbourg) (1971-2008), 1987. http://www.theses.fr/1987STR10029.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Renaud, Claude. "Lmac : système de développement d'applications multitâches pour la productique : définition et implémentation." Besançon, 1988. http://www.theses.fr/1988BESA2017.

Full text

Abstract:

On étudie des systèmes de programmation temps réel non spécifiques à la productique après analyse des différents logiciels de programmation de robots et l'insuffisance des possibilités de structuration et de coopérations dans l'atelier amène à définir un système de programmation d'applications multitâches. Celui-ci permet la description de l'aspect informationnel et fonctionnel de l'application.

APA, Harvard, Vancouver, ISO, and other styles

7

Sadde, Gérald. "Sécurité logicielle des systèmes informatiques : aspects pénaux et civils." Montpellier 1, 2003. http://www.theses.fr/2003MON10019.

Full text

Abstract:

De l'instant de l'attaque logicielle contre le système, jusqu'aux conséquences macro-économiques induites, nous suivrons la propagation du dommage et ses implications juridiques en matière d'obligations et de responsabilité. Cela nous donnera tout d'abord l'occasion d'aborder l'aspect répressif de la sécurité au travers de la sanction pénale de l'acte. Mais tout autant nous nous intéresserons aux relations contractuelles qui vont naître de la prévention du dommage, au travers des mesures prises par la victime, le maître du système, pour protéger ses intérêts. Nous envisagerons les recours qui

APA, Harvard, Vancouver, ISO, and other styles

8

Singh, Neeraj Kumar. "Fiabilité et sûreté des systèmes informatiques critiques." Electronic Thesis or Diss., Nancy 1, 2011. http://www.theses.fr/2011NAN10129.

Full text

Abstract:

Les systèmes informatiques envahissent notre vie quotidienne et sont devenus des éléments essentiels de chacun de nos instants de vie. La technologie de l'information est un secteur d'activités offrant des opportunités considérables pour l'innovation et cet aspect paraît sans limite. Cependant, des systèmes à logiciel intégré ont donné des résultats décevants. Selon les constats, ils étaient non fiables, parfois dangereux et ne fournissaient pas les résultats attendus. La faiblesse des pratiques de développement constitue la principale raison des échecs de ces systèmes. Ceci est dû à la comple

APA, Harvard, Vancouver, ISO, and other styles

9

Verlan, Serghei. "Systèmes de Head et applications à la bio-informatique." Metz, 2004. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/2004/Verlan.Serghei.SMZ0404.pdf.

Full text

Abstract:

Ce travail se situe au coeur d'un domaine récent : les calculs (bio)moléculaires qui se place à la rencontre de la biologie et de l'informatique. La recherche dans ce domaine porte sur des modèles de calcul ayant une inspiration biologique. Les systèmes de Head, fondés sur l'opération de la recombinaison, ainsi que leurs extensions représentent des modèles de calcul parmi les plus importants du domaine. Nous nous sommes concentrés sur l'étude de différentes extensions des systèmes de Head en présentant souvent des résultats d'universalité optimaux par rapport aux paramètres principaux de ces s

APA, Harvard, Vancouver, ISO, and other styles

10

Serme, Gabriel. "Modularisation de la sécurité informatique dans les systèmes distribués." Thesis, Paris, ENST, 2013. http://www.theses.fr/2013ENST0063/document.

Full text

Abstract:

Intégrer les problématiques de sécurité au cycle de développement logiciel représente encore un défi à l’heure actuelle, notamment dans les logiciels distribués. La sécurité informatique requiert des connaissances et un savoir-faire particulier, ce qui implique une collaboration étroite entre les experts en sécurité et les autres acteurs impliqués. La programmation à objets ou à base de composants est communément employée pour permettre de telles collaborations et améliorer la mise à l’échelle et la maintenance de briques logicielles. Malheureusement, ces styles de programmation s’appliquent m

APA, Harvard, Vancouver, ISO, and other styles

11

Serme, Gabriel. "Modularisation de la sécurité informatique dans les systèmes distribués." Electronic Thesis or Diss., Paris, ENST, 2013. http://www.theses.fr/2013ENST0063.

Full text

Abstract:

Intégrer les problématiques de sécurité au cycle de développement logiciel représente encore un défi à l’heure actuelle, notamment dans les logiciels distribués. La sécurité informatique requiert des connaissances et un savoir-faire particulier, ce qui implique une collaboration étroite entre les experts en sécurité et les autres acteurs impliqués. La programmation à objets ou à base de composants est communément employée pour permettre de telles collaborations et améliorer la mise à l’échelle et la maintenance de briques logicielles. Malheureusement, ces styles de programmation s’appliquent m

APA, Harvard, Vancouver, ISO, and other styles

12

Nolot, Florent. "Stabilisation des horloges de phases dans les systèmes distribués." Amiens, 2002. http://www.theses.fr/2002AMIE0205.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Zotian, Jean-Jacques. "Prolog en informatique de gestion." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37619336k.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Chakhar, Salem. "CARTOGRAPHIE DÉCISIONNELLE MULTICRITÈRE : FORMALISATION ET IMPLÉMENTATION INFORMATIQUE." Phd thesis, Université Paris Dauphine - Paris IX, 2006. http://tel.archives-ouvertes.fr/tel-00143960.

Full text

Abstract:

Les SIG, systèmes d'information géographiques, stockent des données<br /> géo-référencées dans des bases de données géographiques, ouvrant<br /> ainsi de grandes potentialités en terme d'exploitation. Une<br /> utilisation fréquente des SIG concerne la prise de décision à<br /> référence spatiale. Néanmoins, la technologie SIG actuelle souffre<br /> encore de plusieurs lacunes, dues en grande partie à un manque de<br /> capacités analytiques capables de supporter la nature multicritère<br /> des problèmes spatiaux. La solution la plus diffusée pour faire<br /> évoluer les SIG vers un vrai outi

APA, Harvard, Vancouver, ISO, and other styles

15

Singh, Neeraj Kumar. "Fiabilité et sûreté des systèmes informatiques critiques." Thesis, Nancy 1, 2011. http://www.theses.fr/2011NAN10129/document.

Full text

Abstract:

Les systèmes informatiques envahissent notre vie quotidienne et sont devenus des éléments essentiels de chacun de nos instants de vie. La technologie de l'information est un secteur d'activités offrant des opportunités considérables pour l'innovation et cet aspect paraît sans limite. Cependant, des systèmes à logiciel intégré ont donné des résultats décevants. Selon les constats, ils étaient non fiables, parfois dangereux et ne fournissaient pas les résultats attendus. La faiblesse des pratiques de développement constitue la principale raison des échecs de ces systèmes. Ceci est dû à la comple

APA, Harvard, Vancouver, ISO, and other styles

16

Cambolive, Guillaume. "Scrables : un système intelligent d'audit." Toulouse 3, 1993. http://www.theses.fr/1993TOU30237.

Full text

Abstract:

Cette these decrit les travaux realises pour repondre aux besoins des auditeurs en matiere de systemes d'informations. Ces travaux se situent a l'intersection de deux domaines: celui des systemes d'informations et celui de l'intelligence artificielle distribuee. Realiser un audit necessite des connaissances multi-domaines et la mise en uvre d'une demarche de resolution de probleme hierarchique et en partie opportuniste. Le systeme d'information a la disposition des auditeurs est constitue principalement de documents a structures complexes. L'auteur definit dans un premier temps un modele de de

APA, Harvard, Vancouver, ISO, and other styles

17

Alkhodre, Ahmad Badreddin. "Développement formel de systèmes temps réel à l'aide de SDL et IF ( Compilation pour système temps réel )." Lyon, INSA, 2004. http://theses.insa-lyon.fr/publication/2004ISAL0052/these.pdf.

Full text

Abstract:

Un système temps réel est un système qui interagit avec un environnement physique en remplissant souvent des missions critiques (une faute du système peut avoir des conséquences graves). Il sera dit correct s'il possède les bonnes fonctionnalités réalisées à temps (contraintes temporelles imposées par l’environnement ou par l’utilisateur). La validation fonctionnelle et temporelle de ces systèmes est une nécessité forte (fournisse des résultats fiables). Dans le cadre des implémentations à base d’exécutifs multitâche temps réel, le travail présenté dans cette thèse tente d’apporter une approch

APA, Harvard, Vancouver, ISO, and other styles

18

Bouri, Mounia. "L'explication dans les systèmes experts : étude synthétique et extension au raisonnement incertain, le système SERIN." Toulouse 3, 1990. http://www.theses.fr/1990TOU30236.

Full text

Abstract:

Cette these porte sur l'explication dans les systemes experts. Elle apporte trois contributions. Une premiere contribution, et non la moindre, a consiste a elaborer une analyse comparative approfondie de travaux developpes ou en cours de developpement et a en degager une synthese globale organisee selon trois axes d'examen: quels types d'informations l'utilisateur peut-il recevoir? de quelle maniere l'utilisateur peut-il les demander/les recevoir? de quelle maniere le systeme peut-il les fabriquer? pour chacun de ces axes, on definit des criteres de classement dans lesquels on integre des exem

APA, Harvard, Vancouver, ISO, and other styles

19

Salinier, Bruno. "Simulation de systèmes de réécriture de termes par des systèmes constructeurs." Bordeaux 1, 1995. http://www.theses.fr/1995BOR10643.

Full text

Abstract:

Les systemes constructeurs fortement sequentiels admettent une strategie tres efficace pour une suite de reductions. Thatte a decouvert une transformation syntaxique qui permet de simuler tout systeme orthogonal par un systeme constructeur: toute forme normale dans ce nouveau systeme est egalement une forme normale dans le systeme initial. Malheureusement, cette transformation ne conserve pas la forte sequentialite, interdisant l'usage de la strategie efficace pour les systemes fortement sequentiels constructeurs. Dans cette these, nous definissons la classe des systemes equivalents constructe

APA, Harvard, Vancouver, ISO, and other styles

20

Solet, Dimitry. "Systèmes embarqués temps réel fiables et adaptables." Thesis, Nantes, 2020. http://www.theses.fr/2020NANT4044.

Full text

Abstract:

Les systèmes embarqués sont en charge de missions de plus en plus critiques qui impliquent qu’ils ne doivent pas avoir de défaillance. Il est donc nécessaire de mettre en œuvre des mécanismes de tolérance aux fautes permettant de détecter les fautes et ainsi pouvoir rétablir le système. Dans ces travaux, on propose de mettre en œuvre un mécanisme de détection des erreurs qui surviennent au niveau du logiciel. Ce mécanisme est basé sur l’implémentation d’un service de vérification en ligne. L’architecture matérielle du système est un système sur puce qui intègre un microcontrôleur et un circuit

APA, Harvard, Vancouver, ISO, and other styles

21

Perrot, Serge. "Prévision de la sureté de fonctionnement des systèmes : système-expert RAS." Châtenay-Malabry, Ecole centrale de Paris, 1985. http://www.theses.fr/1985ECAP0006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Surós, Rina. "Modélisation et optimisation de systèmes parallèles." Paris 11, 1988. http://www.theses.fr/1988PA112188.

Full text

Abstract:

Ln part 1 of this thesis we consider parallel computer pro grams whose structure is governed by certain stochastic laws. Such programs are modeled by a random graph structure. An exact mathematical expression is given for the distribution of computing time with an infinite number of processors. A simulation validates the analytical model results. Ln part 2, a new method is proposed in order to optimize systolic networks for certains matrix computation. Its advantage is the improvement of processors utilization through halving the size of matrices. This improvement is exploited in an implement

APA, Harvard, Vancouver, ISO, and other styles

23

Tremoulet, Rémi. "Modélisation pour l'évaluation de la performance des segments sols des systèmes spatiaux." Toulouse 3, 1995. http://www.theses.fr/1995TOU30298.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Bozianu, Rodica. "Synthèse des systèmes réactifs interactifs." Doctoral thesis, Universite Libre de Bruxelles, 2016. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/241954.

Full text

Abstract:

Nous étudions le problème de la synthèse automatique de programmes dans des architectures multi-composants tels qu'elles respectent les spécifications par construction. Le principal objectif de cette thèse est de développer des procédures pour résoudre le problème de synthèse qui peut conduire à des implémentations efficaces. Chaque composant a une observation partielle sur l'état global du système multi-composants. Le problème est alors de fournir des protocoles basés sur les observations tel que les composants synthétisés assurent les spécifications pour tout le comportement de leur environn

APA, Harvard, Vancouver, ISO, and other styles

25

Saint-jean, Nicolas. "Etude et conception de systèmes multiprocesseurs auto-adaptatifs pour les systèmes embarqués." Montpellier 2, 2008. http://www.theses.fr/2008MON20207.

Full text

Abstract:

Cette thèse se place volontairement dans un contexte futuriste où la complexité des systèmes sur puce a augmenté de façon exponentielle, où la technologie ne garantit plus la stabilité de ses paramètres, et où le nombre de transistors implantés oblige à repenser l'amélioration des performances architecturales en termes de multiplication des cœurs de calcul. L'architecture cible de cette thèse est une architecture massivement parallèle (plus de 100 éléments de calcul complexes). La maîtrise de ces architectures est un élément essentiel pour assurer la compétitivité des futurs systèmes embarqués

APA, Harvard, Vancouver, ISO, and other styles

26

Kanso, Bilal. "Modélisation et validation des systèmes informatiques complexes." Phd thesis, Ecole Centrale Paris, 2011. http://tel.archives-ouvertes.fr/tel-00650258.

Full text

Abstract:

La thèse s'inscrit dans le domaine de la modélisation et de la validation des systèmes modernes complexes. Les systèmes actuels sont en fait d'une complexité sans cesse croissante et formés de plus en plus de composants de natures différentes. Ceci rend leur processus de conception et de validation coûteux et difficile. Il semble être la simple façon permettant de faire face à cette hétérogénéité et à cette complexité est l'approche orientée composant. Suivant cette approche, le système est une entité formée par un ensemble des composants interconnectés. Les composants définissent une interfac

APA, Harvard, Vancouver, ISO, and other styles

27

Peerbocus, Mohamed Ally. "Gestion de l'évolution spatiotemporelle dans une base de données géographiques." Paris 9, 2001. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2001PA090055.

Full text

Abstract:

Cette thèse traite de la mise à jour des bases de données géographiques, en particulier pour des applications cartographiques. Cette opération est complexe, souvent longue, en particulier lorsqu'il est nécessaire de représenter la nature dynamique des entités géographiques. Dans cette thèse, une nouvelle approche, appelée l'approche des cartes spatio-temporelles documentées, CSD, est proposée pour la mise à jour des bases de données géographiques et la gestion de l'évolution spatio-temporelle. Les changements géographiques sont étudiés selon trois perspectives : monde réel, carte et bases de d

APA, Harvard, Vancouver, ISO, and other styles

28

Lemdani, Roza. "Système hybride d'adaptation dans les systèmes de recommandation." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLC050/document.

Full text

Abstract:

Les systèmes de recommandation sont des outils servant à suggérer aux utilisateurs des items pouvant les intéresser. De tels systèmes requièrent la définition d'un algorithme prenant en compte le domaine d'application. Cet algorithme est ensuite exécuté pour chaque utilisateur du système afin de lui générer des recommandations, et ce, sans prendre en compte ses particularités et ses besoins spécifiques.L'objet de cette thèse consiste à proposer une nouvelle approche de recommandation hybride combinant plusieurs algorithmes de recommandation afin d'obtenir une recommandation plus précise. De pl

APA, Harvard, Vancouver, ISO, and other styles

29

Boubezoul, Abderrahmane. "Système d'aide au diagnostic par apprentissage : application aux systèmes microélectroniques." Aix-Marseille 3, 2008. http://www.theses.fr/2008AIX30072.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Saraydaryan, Jacques. "Détection d'anomalies comportementales appliquée à la vision globale." Lyon, INSA, 2008. http://theses.insa-lyon.fr/publication/2008ISAL0132/these.pdf.

Full text

Abstract:

Face à l’évolution et la croissance de nouvelles attaques, les systèmes de protection classiques (farewalls, IDS) sont devenus rapidement insuffisants pour contrôler ces menaces. Des scénarios d’attaques complexes tentent d’être assimilés à des comportements d’usage normaux du SI afin de contourner les défenses locales. Nous proposons dans nos travaux une méthode de détection d’anomalies comportementale portant sur la vision globale des SI. En intégrant les contraintes liées à l’observation de l’ensemble d’un SI (hétérogénéité, volume de données), nous avons bâtis des profils statistiques d’us

APA, Harvard, Vancouver, ISO, and other styles

31

Lapon, Jean-Luc. "La contribution de la direction informatique à l'alignement stratégique : une analyse des types de directions informatiques alignées dans les grandes entreprises françaises." Paris 1, 1998. http://www.theses.fr/1998PA010048.

Full text

Abstract:

Cette thèse porte sur la contribution de la direction informatique (DI) à l'alignement stratégique, c'est-à-dire l'intégration des technologies de l'information et de la communication (TIC) et des stratégies de l'entreprise. Elle s'appuie sur le caractère stratégique des TIC et sur la situation de crise de la DI, explicative d'une contribution insatisfaisante aux objectifs de l'entreprise, pour poser la question centrale de cette étude : comment améliorer la contribution de la DI à l'alignement stratégique. Pour y répondre, elle se fonde sur le modèle d'alignement stratégique de Venkatraman /

APA, Harvard, Vancouver, ISO, and other styles

32

Khemaja, Maha. "Scrables : un système de conception et d'exploitation de documents structurés." Toulouse 3, 1993. http://www.theses.fr/1993TOU30275.

Full text

Abstract:

Cette these s'inscrit dans le contexte des systemes de conception et d'utilisation assistee de documents. Elle decrit une approche et un outil appeles scrables (systeme de conception de rapports d'audit base sur un langage d'expression de structures). La conception des documents selon scrables est basee sur une description tres detaillee de leurs structures logiques et physiques. Grace a celles-ci, l'exploitation de ces documents selon une approche hypertexte est rendue possible. L'integration dans les documents de nouveaux types de liens, en particulier ceux qui sont specifiques aux documents

APA, Harvard, Vancouver, ISO, and other styles

33

Wachtel, Florent. "Systèmes de pavage pour l'échantillonnage." Thesis, Lyon 1, 2015. http://www.theses.fr/2015LYO10098.

Full text

Abstract:

Avec l’avènement du calcul numérique, l’échantillonnage est devenu un outil crucial pour l’évaluation de fonctions dans de nombreux domaines. Il est employé dans le traitement de signaux unidimensionnels, pour le remaillage de surfaces et de volumes, ou encore pour le rendu d’images virtuelles par lancer de rayons avec l’évaluation de fonctions multidimensionnelles de brdf. Dans le domaine de l’informatique graphique, depuis les années 1980, de nombreux algorithmes d’échantillonnage ont été proposés afin d’améliorer la qualité d’évaluation à nombre d’échantillons constant, notamment dans des a

APA, Harvard, Vancouver, ISO, and other styles

34

Clavier, Christophe. "De la sécurité physique des crypto-systèmes embarqués." Versailles-St Quentin en Yvelines, 2007. http://www.theses.fr/2007VERS0028.

Full text

Abstract:

Dans un monde défiant, l'augmentation du nombre et de la diversité des applications numériques ont rendu nécessaire l'existence d'un objet pratique intégrant les fonctions cryptographiques requises pour les besoins quotidiens de sécurité des transactions, de confidentialité des échanges, d'identification du porteur ou encore d'authentification pour l'accès à un service. Parmi les dispositifs cryptographiques embarqués aptes à proposer ces fonctionnalités, la carte à puce est certainement le plus utilisé de nos jours. Sa portabilité (un porte-feuille peut en contenir une dizaine) et sa capacité

APA, Harvard, Vancouver, ISO, and other styles

35

Mendy, Norbert Lucien. "Les attaques et la sécurité des systèmes informatiques." Paris 8, 2006. http://www.theses.fr/2006PA082735.

Full text

Abstract:

Le piratage informatique est apparu avec les premiers micro-ordinateurs vers 1980 et depuis n'a cessé de s'amplifier. Au début, cette pratique était essentiellement individuelle et ludique. Elle est désormais principalement constituée par les activités des personnes qui, individuellement ou en groupe, avec des motivations très diverses, piratent les ordinateurs des autres. Aujourd'hui, l'explosion des moyens de communications électroniques fait que la sécurité des données concerne sans cesse de nouvelles populations. Cette thèse examine dans un premier temps, d’un point de vue technique et soc

APA, Harvard, Vancouver, ISO, and other styles

36

Daix, Boris. "Abstraction des systèmes informatiques à haute performance pour l'automatisation du déploiement d'applications dynamiques." Rennes 1, 2009. http://www.theses.fr/2009REN1S156.

Full text

Abstract:

L'informatique est un formidable levier du développement humain, cependant l'utilisation de systèmes à haute performance reste complexe. En effet, allouer des ressources pour une application, l'installer sur les ressources allouées, et l'exécuter est un processus difficile. Automatiser ce processus, appelé déploiement, permet de mieux séparer les préoccupations des utilisateurs de systèmes, des développeurs d'applications, et des administrateurs d'infrastructures tout en visant de meilleures performances pour les applications. Fondée sur un modèle d'abstraction multi-niveau, la contribution de

APA, Harvard, Vancouver, ISO, and other styles

37

Bascou, Jean-Jacques. "Contribution à la sécurité des systèmes : une méthodologie d'authentification adaptative." Toulouse 3, 1996. http://www.theses.fr/1996TOU30253.

Full text

Abstract:

Les mecanismes de protection les plus repandus actuellement sur les systemes d'information proposent certaines formes de barrages ne pouvant etre franchis que par des utilisateurs autorises (mots de passe) dans le cas ou ces filtres sont franchis, la plupart des systemes deviennent completement accessibles et a la merci de l'intrus. L'idee directrice de notre travail est d'apporter un complement aux mecanismes d'authentification traditionnels. Ce complement n'a aucunement la pretention d'etre infaillible, mais il permet de generer un facteur de risque dont l'effet peut etre particulierement di

APA, Harvard, Vancouver, ISO, and other styles

38

Nafa, Thouria. "La vérification formelle de systèmes réactifs probabilistes finis." Thesis, Université Laval, 2005. http://www.theses.ulaval.ca/2005/22641/22641.pdf.

Full text

Abstract:

Le champ de notre projet de recherche est la vérification des systèmes probabilistes interactifs. Étant donnée une formule de la logique PCTL, qui décrit les spécifications d’un système probabiliste, et un modèle, nous nous intéressons à vérifier si celui-ci satisfait la formule donnée. Ceci est fait à l’aide d’une méthode formelle appelée le model-checking. Nous nous restreindrons dans ce travail aux systèmes probabilistes finis ayant une structure particulière sans cycle qu’on appellera systèmes par niveaux. Les systèmes considérés ont un nombre fini d’états et les transitions sont quantifié

APA, Harvard, Vancouver, ISO, and other styles

39

Stauch, David. "Larissa, un langage aspect pour les systèmes réactifs." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0149.

Full text

Abstract:

La programmation par aspects encapsule des préoccupations transverses dans des aspects. Alors que ces notions ont eu un grand succès dans le génie logiciel, elles n'ont jamais été étudiées dans le cadre des systèmes réactifs. Cette thèse fait un premier pas dans cette direction. Nous présentons Larissa, un langage d'aspect pour le langage simple synchrone Argos. Les aspects Larissa encapsulent des préoccupations qui sont transverse à la structure parallèle du programme de base, sont définis formellement, et ont des propriétés sémantiques importantes, tel que le respect de l'encapsulation du pr

APA, Harvard, Vancouver, ISO, and other styles

40

Mathieu, Philippe. "L'utilisation de la logique trivaluée dans les systèmes experts." Lille 1, 1991. http://www.theses.fr/1991LIL10001.

Full text

Abstract:

L'objet de ce travail est d'étudier l'utilisation possible d'une logique trivaluée particulière dans les systèmes experts. Cette logique définie par J. -P. Delahaye permet de caractériser parfaitement l'ensemble de littéraux calculés par un chaînage avant. Cette thèse se divise en deux parties distinctes. La première partie traite de l'incomplétude du chaînage avant et résout ce problème par l'utilisation d'une méthode basée sur la résolution de Robinson que nous appelons compilation logique. Notamment dans le chapitre III nous établissons le principe d'achèvement et nous donnons des propriété

APA, Harvard, Vancouver, ISO, and other styles

41

Zergainoh, Nacer-Eddine. "Méthodes et outils d'aide à l'implantation des systèmes réactifs : un exécutif distribué optimisé pour un système de détection d'obstacles en temps réel." Paris 11, 1996. http://www.theses.fr/1996PA112307.

Full text

Abstract:

Ce travail s'inscrit dans le cadre du Projet Européen EUREKA PROMETHEUS-PROCHIP dont les objectifs d'accroître la sécurité et l'efficacité du trafic routier. Dans le cadre de ce projet, plusieurs équipes de recherches ayant des compétences multidisciplinaires ont pris en charge les différents éléments d'un démonstrateur qui vise à la détection de situations dangereuses en environnement autoroutier. Ce qui a conduit à l'élaboration d'une architecture multiprocesseur hétérogène et d'un ensemble d'algorithmes permettant l'évaluation de ce concept dans une structure ouverte. Cette thèse est consac

APA, Harvard, Vancouver, ISO, and other styles

42

Nganyewou, Tidjon Lionel. "Modélisation formelle des systèmes de détection d'intrusions." Electronic Thesis or Diss., Institut polytechnique de Paris, 2020. http://www.theses.fr/2020IPPAS021.

Full text

Abstract:

L'écosystème de la cybersécurité évolue en permanence en termes du nombre, de la diversité, et de la complexité des attaques. De ce fait, les outils de détection deviennent inefficaces face à certaines attaques. On distingue généralement trois types de système de détection d'intrusions: détection par anomalies, détection par signatures et détection hybride. La détection par anomalies est fondée sur la caractérisation du comportement habituel du système, typiquement de manière statistique. Elle permet de détecter des attaques connues ou inconnues, mais génère aussi un très grand nombre de faux

APA, Harvard, Vancouver, ISO, and other styles

43

Theret, Philippe. "De l'efficacité des interpréteurs de systèmes de règles de production dans les systèmes à base de connaissances." Paris 13, 1994. http://www.theses.fr/1994PA132011.

Full text

Abstract:

La complexité croissante des systèmes temps réel suscite un intérêt accru pour les techniques d'intelligence artificielle. En contrepartie, les problèmes ajoutés par les contraintes temps réel sur les systèmes ia sont nombreux. Le problème, qui actuellement est assurément l'un des plus bloquants est celui des performances. Disposer de moteurs d'inférence efficaces est devenu une véritable nécessité. Dans cette thèse, nous proposons un nouvel algorithme de compilation de bases de connaissances dérivé de treat. Ce nouvel algorithme élimine les traitements redondants et incorrects de treat et se

APA, Harvard, Vancouver, ISO, and other styles

44

Traoré, Issa. "Analyse dans l'ingénierie des systèmes : caractérisation et multiformalisme." Toulouse, INPT, 1998. http://www.theses.fr/1998INPT011H.

Full text

Abstract:

L'une des plus grandes préoccupations actuelles, dans le monde de l'ingénierie des systèmes, concerne le développement de systèmes de grande qualité et sûrs de fonctionnement à des coûts et délais raisonnables. Cette nécessité est accentuée par le fait que plusieurs domaines d'application tels que l'aéronautique, le nucléaire, les télécommunications ou le médical, exigent un niveau de sûreté et de fiabilité élévé. L'utilisation des méthodes formelles apparaît, dans ce contexte, comme une des solutions principales. L'utilisation des méthodes formelles dans le processus de développement, amélior

APA, Harvard, Vancouver, ISO, and other styles

45

Bimbard, Franck. "Dimensionnement temporel de systèmes embarqués : application à OSEK." Paris, CNAM, 2007. http://www.theses.fr/2007CNAM0573.

Full text

Abstract:

Cette thèse traite du dimensionnement temps réel de systèmes embarqués. Nous proposons un ensemble d’outils algorithmiques permettant de garantir, avant son déploiement, qu’une application, une fois installée sur une architecture monoprocesseur donnée, sera exécutée en temps réel. Nous nous plaçons dans un contexte temps réel strict avec des échéances de terminaison au plus tard. De plus, nous ne considérons que des applications constituées de tâches à échéance arbitraire, périodiques, préemptives ou non, indépendantes et non concrètes. Le standard OSEK, étudié dans cette thèse, est basé sur u

APA, Harvard, Vancouver, ISO, and other styles

46

Dimster, Sylvie. "Aide informatique à la modélisation de systèmes non linéaires dans l'espace d'état." Lille 1, 1985. http://www.theses.fr/1985LIL10025.

Full text

Abstract:

L'étude des systèmes non linéaires pose encore plus que dans le cas linéaire, le problème du choix de la représentation. En effet, les résultats obtenus différent selon qu'un même critère (de stabilité, par exemple) est appliqué à une modélisation plutôt qu'à une autre. D'autre part, sur une même modélisation, deux critères différents peuvent conduire à des conditions de stabilité différentes. Il n'existe pas, à ce jour, de méthode générale déterminant "le meilleur modèle" à choisir afin d'obtenir une synthèse optimale d'un processus. Il est donc nécessaire de définir plusieurs modèles du syst

APA, Harvard, Vancouver, ISO, and other styles

47

Boulanger, Georges. "L'usage des systemes informatiques dans la performance economique et sociale des organisations : contribution methodologique a l'integration des systemes sociaux et des systemes informatiques." Lyon 2, 1997. http://www.theses.fr/1997LYO22028.

Full text

Abstract:

Cette these est consacree a l'usage des systemes informatiques dans la performance economique et sociale des organisations. L'objectif de ce travail est, tout d'abord de montrer que la transformation des structures informatiques conduit egalement, a la transformation des comportements. Confrontes aux realites quotidiennes de leur unite de travail, les acteurs developpent des pratiques paralleles, dans le but d'assouvir leurs objectifs personnels ou d'assurer le fonctionnement quotidien de leur unite de travail. Il s'agit egalement de montrer les attentes, la distanciation et le jeu des "hauts"

APA, Harvard, Vancouver, ISO, and other styles

48

Marquet, Kevin. "Gestion de mémoire à objets pour systèmes embarqués." Lille 1, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-Marquet.pdf.

Full text

Abstract:

La mise au point de systèmes embarqués pose plusieurs problèmes liés au matériel sous-jacent. On citera en particulier l'existence de plusieurs types de mémoires sur le même appareiL ou les faibles ressources des petits appareils tels que les capteurs de terrain. Dans ce contexte, les études concernant les algorithmes de ramasse-miettes ne sont plus valides. Un premier résultat de cette thèse est d'avoir comblé ce manque en réalisant une étude poussée de la complexité des algorithmes de ramasse-miettes existants. À partir de cette étude, les paramètres fins qui influent sur l'efficacité de ces

APA, Harvard, Vancouver, ISO, and other styles

49

Teglia, Yannick. "Ingénierie et robustesse des systèmes embarqués sécuritaires." Paris 6, 2011. http://www.theses.fr/2011PA066183.

Full text

Abstract:

Les composants de sécurité de type carte à puce (smartcard) ou les systèmes sur puce (System On Chip) à fonction sécuritaire sont soumis depuis plus d'une dizaine d'années à une nouvelle classe d'attaques appelées attaques par canaux cachés (Side Channel Attack). Ces attaques visent à obtenir des informations du composant en utilisant par exemple sa consommation en courant ou son rayonnement électromagnétique. Par extension ces attaques permettent aussi de perturber le fonctionnement du composant par injection de fautes au moyen de faisceaux lasers ; le but étant de récupérer des secrets ou d'

APA, Harvard, Vancouver, ISO, and other styles

50

Besse-Patin, Camille Elendil. "Contraintes et observabilité dans les systèmes de Markov décentralisés." Thesis, Université Laval, 2010. http://www.theses.ulaval.ca/2010/27526/27526.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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!