Relevant bibliographies by topics / Noyaux de systèmes d'exploitation / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Noyaux de systèmes d'exploitation.

Dissertations / Theses on the topic 'Noyaux de systèmes d'exploitation'

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 'Noyaux de systèmes d'exploitation.'

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

Lacombe, Eric. "Sécurité des noyaux de systèmes d'exploitation." Phd thesis, INSA de Toulouse, 2009. http://tel.archives-ouvertes.fr/tel-00462534.

Full text
Abstract:
Cette thèse traite de la préservation de l'intégrité des systèmes d'exploitation courants. L'objectif est de répondre aux menaces actuelles et futures que représentent les logiciels malveillants qui s'implantent dans le noyau de ces systèmes (comme les rootkits "noyau") ou du moins en altèrent l'intégrité (comme les rootkits "hyperviseur"). La première partie de ce document se focalise sur ces logiciels malveillants. Tout d'abord, les attaques logiques sur les systèmes informatiques sont présentées dans leur globalité. Ensuite est proposée une classification des actions malveillantes qui provo
APA, Harvard, Vancouver, ISO, and other styles
2

Langue, Tsobgny Yves Bertrand. "PARX : architecture de noyau de système d'exploitation parallèle." Phd thesis, Grenoble INPG, 1991. http://tel.archives-ouvertes.fr/tel-00340388.

Full text
Abstract:
Nous présentons ici l'architecture d'un noyau de système d'exploitation pour machines parallèles. Nous discutons les paradigmes de base pour le support d'applications parallèles au niveau d'un noyau de système. Les aspects lies aux modèles de processus et de communication sont développés. Notre démarche s'appuie d'une part sur l'étude des modèles de programmation parallèles sous-jacents aux langages, d'autre part sur les architectures de machines parallèles modernes. Cette approche sur deux fronts convergents nous permet de prendre en compte a la fois les progrès dans l'expression et l'utilisa
APA, Harvard, Vancouver, ISO, and other styles
3

Lorrillere, Maxime. "Caches collaboratifs noyau adaptés aux environnements virtualisés." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066036/document.

Full text
Abstract:
Avec l'avènement du cloud computing, la virtualisation est devenue aujourd'hui incontournable. Elle offre isolation et flexibilité, en revanche elle implique une fragmentation des ressources, et notamment de la mémoire. Les performances des applications qui effectuent beaucoup d'entrées/sorties (E/S) en sont particulièrement impactées. En effet, celles-ci reposent en grande partie sur la présence de mémoire libre, utilisée par le système pour faire du cache et ainsi accélérer les E/S. Ajuster dynamiquement les ressources d'une machine virtuelle devient donc un enjeu majeur. Dans cette thèse no
APA, Harvard, Vancouver, ISO, and other styles
4

FASSINO, Jean-Philippe. "THINK : vers une architecture de systèmes flexibles." Phd thesis, Télécom ParisTech, 2001. http://tel.archives-ouvertes.fr/tel-00005776.

Full text
Abstract:
L'objectif de cette thèse est de spécifier et d'implanter une architecture de système d'exploitation flexibles. Cette architecture est nommée THINK.<br />Nous montrons qu'il est possible de capturer sous la forme de canevas logiciels des concepts et des principes d'architecture rencontrés dans les systèmes d'exploitation centralisés, embarqués ou répartis. Ces concepts sont au nombre de trois ; des composants, des liaisons modélisant les interactions, et des domaines modélisant l'isolation. Cette approche autorise la construction de noyaux d'infrastructure variés, susceptibles d'être mis en pl
APA, Harvard, Vancouver, ISO, and other styles
5

Nicomette, Vincent. "La protection des systèmes informatiques vis à vis des malveillances." Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse - INPT, 2009. http://tel.archives-ouvertes.fr/tel-00450536.

Full text
Abstract:
La sécurité des systèmes informatiques répartis est un problème de plus en plus important, en particulier avec l'utilisation massive du réseau Internet. Il est donc essentiel de pouvoir imaginer des techniques de protection efficaces de nos systèmes et de nos réseaux. Ces travaux proposent une contribution à la protection des systèmes informatiques vis-a-vis des malveillances, en abordant le problème sous deux angles : un angle architectural et un angle expérimental. L'angle architectural concerne la conception d'architectures de sécurité permettant de faire face aux menaces actuelles, en prop
APA, Harvard, Vancouver, ISO, and other styles
6

Sánchez, Arias Victor Germán. "Un noyau pour la communication et la synchronisation de processus répartis." Grenoble INPG, 1985. http://tel.archives-ouvertes.fr/tel-00315307.

Full text
Abstract:
Ce travail présente un modèle de noyau de communication pour les systèmes répartis. Son architecture, basée sur le modèle de CSP proposé par HOARE, a été définie pour un type particulier de système, les systèmes "temps réel" répartis sur un réseau local. Il s'agit donc d'un modèle adapté à une classe précise d'application, à l'opposé de la plupart des études qui traitent des noyaux de systèmes répartis généraux. Ce noyau est basé sur deux classes d'objets : les processus "normaux" pour exprimer les traitements séquentiels et de processus appelés canaux pour implémenter à la fois la communicati
APA, Harvard, Vancouver, ISO, and other styles
7

Jomaa, Narjes. "Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation." Thesis, Lille 1, 2018. http://www.theses.fr/2018LIL1I075/document.

Full text
Abstract:
Dans cette thèse nous proposons un nouveau concept de noyau adapté à la preuve que nous avons appelé « proto-noyau ». Il s’agit d’un noyau de système d’exploitation minimal où la minimisation de sa taille est principalement motivée par la réduction du coût de la preuve mais aussi de la surface d’attaque. Ceci nous amène à définir une nouvelle stratégie de « co-design » du noyau et de sa preuve. Elle est fondée principalement sur les feedbacks entre les différentes phases de développement du noyau, allant de la définition des besoins jusqu’à la vérification formelle de ses propriétés. Ainsi, da
APA, Harvard, Vancouver, ISO, and other styles
8

Bissyande, Tegawende. "Contributions for improving debugging of kernel-level services in a monolithic operating system." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00821893.

Full text
Abstract:
Alors que la recherche sur la qualité du code des systèmes a connu un formidable engouement, les systèmes d'exploitation sont encore aux prises avec des problèmes de fiabilité notamment dus aux bogues de programmation au niveau des services noyaux tels que les pilotes de périphériques et l'implémentation des systèmes de fichiers. Des études ont en effet montré que chaque version du noyau Linux contient entre 600 et 700 fautes, et que la propension des pilotes de périphériques à contenir des erreurs est jusqu'à sept fois plus élevée que toute autre partie du noyau. Ces chiffres suggèrent que le
APA, Harvard, Vancouver, ISO, and other styles
9

Bergougnoux, Quentin. "Co-design et implémentation d’un noyau minimal orienté par sa preuve, et évolution vers les architectures multi-coeur." Thesis, Lille 1, 2019. http://www.theses.fr/2019LIL1I029/document.

Full text
Abstract:
Avec la croissance majeure de l’Internet des Objets et du Cloud Computing, la sécurité dans ces systèmes est devenue un problème majeur. Plusieurs attaques ont eu lieu dans les dernières années, mettant en avant la nécessité de garanties de sécurité fortes sur ces systèmes. La plupart du temps, une vulnérabilité dans le noyau ou un de ses modules est suffisante pour compromettre l’intégralité du système. Établir et prouver des propriétés de sécurité par le biais d’assistants de preuve semble être un grand pas en avant vers l’apport de garanties de sécurité. Cela repose sur l’utilisation de mod
APA, Harvard, Vancouver, ISO, and other styles
10

Bissyandé, Tegawendé F. "Contributions à l'Amélioration du Débogage des Services Noyau dans un Système d'Exploitation Monolithique." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00808877.

Full text
Abstract:
Alors que la recherche sur la qualité du code des systèmes a connu un formidable engouement, les systèmes d'exploitation sont encore aux prises avec des problèmes de fiabilité notamment dûs aux bogues de programmation au niveau des services noyaux tels que les pilotes de périphériques et l'implémentation des systèmes de fichiers. Des études ont en effet montré que que chaque version du noyau Linux contient entre 600 et 700 fautes, et que la propension des pilotes de périphériques à contenir des erreurs est jusqu'à sept fois plus élevée que toute autre partie du noyau. Ces chiffres suggèrent qu
APA, Harvard, Vancouver, ISO, and other styles
11

Menneteau, François. "ParObj : un noyau de système parallèle à objets." Grenoble INPG, 1993. http://tel.archives-ouvertes.fr/tel-00005135.

Full text
Abstract:
Le travail presente dans cette these consiste a definir les fonctionnalites d'une machine virtuelle ParObj, supportant la notion d'objets concurrents et adaptee aux exigences du parallelisme massifs. Cette these s'inscrit dans le cadre du projet PARX de l'equipe "SYstemes Massivement PAralleles" du LGI qui vise a specifier et a realiser un systeme d'exploitation pour machines paralleles. A travers l'analyse de quelques Systemes Distribues a Objets connus, nous degageons les mecanismes de base que doit supporter ParObj. Nous avons arrete notre etude sur les aspects suivants : structures des ent
APA, Harvard, Vancouver, ISO, and other styles
12

Card, Rémy. "Masix : Un système d'exploitation multi-environnements utilisant le micro-noyau Mach : Conception et réalisation." Paris 6, 1993. http://www.theses.fr/1993PA066728.

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

Fernandez, Conception. "Modélisation des systèmes d'exploitation par HBDS." Paris 6, 1988. http://www.theses.fr/1988PA066235.

Full text
Abstract:
Modélisation générale des systèmes d'exploitation en utilisant la méthode HBDS (hypergraph based data structure) basée sur les types abstraits de données et s'appuyant sur une représentation graphique rigoureuse. Les concepts HBDS permettent la représentation des structures des données du système, alors que le fonctionnement de son noyau est simulé par des algorithmes écrits en exel.
APA, Harvard, Vancouver, ISO, and other styles
14

Boulanger, Philippe. "Système d'exploitation orienté réseaux et télécoms." Nice, 1990. http://www.theses.fr/1990NICE4396.

Full text
Abstract:
L'objet principal de cette thèse est la spécification opérationnelle d'un système d'exploitation orienté réseaux et télécoms. La stucture des mécanismes de communication est basée sur l'architecture OSI. Une première implémentation du système conduit à un système d'ordre général orienté vers les communications, et une deuxième a été orientée vers un noyau temps réel destiné à gérer les trois premières couches de l'OSI
APA, Harvard, Vancouver, ISO, and other styles
15

Polakovic, Juraj. "Architecture logicielle et outils pour systèmes d'exploitation reconfigurables." Grenoble INPG, 2008. http://www.theses.fr/2008INPG0051.

Full text
Abstract:
La reconfiguration dynamique est la capacité d'un système logiciel à permettre sa modification pendant son exécution et peut être utilisée pour mettre-à-jour une partie fautive du système, introduire des algorithmes spécialisés, autoriser des extensions faites par des tiers, adapter le système à un nouvel environment et ajouter des sondes de monitoring ou debugging, etc. Les systèmes d'exploitation existants offrent des mécanismes de reconfiguration dynamique, néanmoins ceux-ci sont figés par l'implémentation du système. Par conséquent le compromis entre la flexibilité et l'efficacité du systè
APA, Harvard, Vancouver, ISO, and other styles
16

Sonntag, Benoît. "La puissance des prototypes à l'assaut des systèmes d'exploitation : ISAAC/LISAAC : introduction de concepts objets au coeur même des systèmes d'exploitation." Nancy 1, 2003. http://www.theses.fr/2003NAN10155.

Full text
Abstract:
Ce travail, vu dans son ensemble, constitue les premières étapes, à la résolution du problème de l'intégration des concepts objets au coeur même des systèmes d'exploitation. Isaac est le premier système d'exploitation réellement opérationnel entièrement basé sur la technologie objet à base de prototype. Cette thèse est son histoire, de l'élaboration conceptuelle du projet jusqu'à sa réalisation. Dans un premier temps, nous apportons une vision différente de l'utilisation d'un ordinateur en tirant pleinement partie de l'expressivité et la flexibilité des prototypes. Sans pouvoir encore fixer pr
APA, Harvard, Vancouver, ISO, and other styles
17

Chebili, Mourad. "Une interface intelligente d'assistance à l'utilisation d'un système d'exploitation." Paris 8, 2000. http://www.theses.fr/2000PA081858.

Full text
Abstract:
L' @expansion des Interfaces Utilisateurs Graphiques (IUG) a été rapidement accélérée par la standardisation des systèmes de fenêtrage. Grâce à cette révolution incontournable des IHM, il semble utile et fondamental d'orienter et d'appliquer cette technologie au coeur de la machine : le Système d'Exploitation ou SE. Lors de ce travail, nous justifions la particularité des Interfaces Utlisateurs des SE et nous tentons de démasquer les problèmes actuels de celles-ci. D'autre part, nous tentons de démontrer l'interêt de faire participer activement l'IUSE dans l'Interaction Homme-Machine par le bi
APA, Harvard, Vancouver, ISO, and other styles
18

Grimaud, Gilles. "Camille : un système d'exploitation ouvert pour carte à microprocesseur." Lille 1, 2000. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2000/50376-2000-452.pdf.

Full text
Abstract:
Antoine de Saint-Exupéry écrivait en d'autres termes que le progres technologique consiste a faire disparaitre l'outil pour que l'utilisateur jouisse pleinement du service. La carte a puce s'est rapidement integree dans notre vie courante, elle nous represente sur de grands reseaux (e. G. Banquaire, telephonique, sante) sans que nous y pretions vraiment attention. Cependant la carte a microprocesseur reste un produit de l'ingenierie electronique peu connu des informaticiens. Pourtant elle s'est averee la meilleure solution pour gerer la mobilite de l'utilisateur dans bien des cas. Aussi une no
APA, Harvard, Vancouver, ISO, and other styles
19

Fénié, Patrick. "Graico : méthode de modélisation et de conception de systèmes d'exploitation de systèmes de production." Bordeaux 1, 1994. http://www.theses.fr/1994BOR10622.

Full text
Abstract:
Cette these decrit la methode graico qui permet de modeliser et de concevoir des systemes d'exploitation (se) de systemes de production. Le se est responsable des prises de decision court et tres court terme dont la majorite sont declenchees sur evenement. Compose de centres d'exploitation, il est defini et modelise selon trois axes: coordination, synchronisation et cooperation. Les outils de modelisations du systeme physique de production conduit et du systeme d'exploitation assurent, par l'intermediaire d'une grammaire de specification, la structuration des choix de conception informatiques
APA, Harvard, Vancouver, ISO, and other styles
20

Clément, Charles. "Isolation des extensions de systèmes d'exploitation dans une machine virtuelle." Paris 6, 2009. http://www.theses.fr/2009PA066624.

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

Duflot, Loïc. "Contribution à la sécurité des systèmes d'exploitation et des microprocesseurs." Paris 11, 2007. http://www.theses.fr/2007PA112155.

Full text
Abstract:
Pour établir leurs modèles de fonctionnement et de sécurité, les systèmes d’exploitation modernes s’appuient sur les spécifications des composants matériels qu’ils utilisent. La capacité d’un système d’exploitation à faire respecter sa politique de sécurité repose donc, entre autres, sur la fiabilité et la correction des spécifications des composants matériels sous-jacents. Dans ce document, nous montrons, exemples concrets à l’appui, comment des faiblesses architecturales des composants matériels des ordinateurs de type PC mettant en œuvre des processeurs x86 et x86-64 peuvent mettre en dange
APA, Harvard, Vancouver, ISO, and other styles
22

Georget, Laurent. "Suivi de flux d'information correct pour les systèmes d'exploitation Linux." Thesis, Rennes 1, 2017. http://www.theses.fr/2017REN1S040/document.

Full text
Abstract:
Nous cherchons à améliorer l'état de l'art des implémentations de contrôle de flux d'information dans les systèmes Linux. Le contrôle de flux d'information vise à surveiller la façon dont l'information se dissémine dans le système une fois hors de son conteneur d'origine, contrairement au contrôle d'accès qui ne peut permettre d'appliquer des règles que sur la manière dont les conteneurs sont accédés. Plusieurs défis scientifiques et techniques se sont présentés. Premièrement, la base de code Linux est particulièrement grande, avec quinze millions de lignes de code réparties dans trente-mille
APA, Harvard, Vancouver, ISO, and other styles
23

Deville, Damien. "CamilleRT : un système d'exploitation temps réel extensible pour carte à microprocesseur." Lille 1, 2004. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/9f245270-7f66-4a80-842b-e1a2e267e31b.

Full text
Abstract:
Le logiciel carte est de plus en plus conçu pour supporter des contraintes temps réel. Par exemple, dans les cartes Java SIM, l'application principale èst chargée de générer une clef cryptographique de session pour chaque unité de communication consommée faute de quoi l'infrastructure GSM rompt la communication. Actuellement, les systèmes d'exploitation pour carte à puce ne gèrent l'aspect temps réel qu'au cas par cas. Ils ne permettent pas aux applications <<utilisateur>> de signifier des besoins en termes d'accès au microprocesseur, ceci pour des raisons de sécurité. Nous proposons une archi
APA, Harvard, Vancouver, ISO, and other styles
24

Karam, Louis. "Pseu : prototype d'un système d'exploitation universel." Aix-Marseille 3, 1993. http://www.theses.fr/1993AIX32027.

Full text
Abstract:
Les ordinateurs evoluent tres rapidement, a tel point que les concepts et les outils qui avaient ete definis pour ce qui etait, il y a peu de temps, des machines de dimension moyenne ou grande, sont maintenant appliquee aux micro-ordinateurs. C'est evident le cas des systemes d'exploitation qui peuvent paraitre comme un obstacle lorsqu'on veut utiliser l'ordinateur a un niveau autre que le langage machine. Le premier objectif de cette these est de fournir une methode logique simple, eprouvee d'un prototype de systeme d'exploitation universel. Le deuxieme objectif de cette these est de permettr
APA, Harvard, Vancouver, ISO, and other styles
25

Rouzaud-Cornabas, Jonathan. "Formalisation de propriétés de sécurité pour la protection des systèmes d'exploitation." Phd thesis, Université d'Orléans, 2010. http://tel.archives-ouvertes.fr/tel-00623075.

Full text
Abstract:
Cette thèse traite du problème d'une protection en profondeur qui puisse être assurée par un système d'exploitation. Elle établit la faiblesse des solutions existantes pour l'expression des besoins de sécurité. Les approches supportent en général une seule propriété de sécurité. Nous proposons donc un langage qui permet de formaliser un large ensemble de propriétés de sécurité. Ce langage exprime les activités système directes et transitives. Il permet de formaliser la majorité des propriétés de confidentialité et d'intégrité de la littérature. Il est adapté à l'expression de modèles de protec
APA, Harvard, Vancouver, ISO, and other styles
26

Parayre, Thierry. "Le MESAP : vers une méthodologie d'exploitation des systèmes automatisés de production." Valenciennes, 1992. https://ged.uphf.fr/nuxeo/site/esupversions/d3adcb45-07c1-4f45-9139-f2688d4f5768.

Full text
Abstract:
La phase d'exploitation d'un système automatisé de production (S. A. P. ) est souvent délaissée par les concepteurs au profit des phases amont du cycle de vie qui sont considérées souvent comme plus nobles (la spécification, la conception, la mise en œuvre, la recette). Face aux systèmes actuels qui se révèlent de plus en plus complexes, les exploitants ne peuvent réagir qu'au cas par cas et souvent en l'absence de connaissance sur l'évolution du système en cas d'anomalie. L'étude du cycle de vie des S. A. P. Nous a permis d'identifier une problématique de l'exploitation et en particulier de m
APA, Harvard, Vancouver, ISO, and other styles
27

Hanibeche, Rafik. "La sûreté de fonctionnement dans les systèmes d'exploitation répartis : application dans le système chorus/mix : mécanismes pour la haute disponibilité des données non volatiles." Paris 7, 1993. http://www.theses.fr/1993PA077057.

Full text
Abstract:
Ce memoire de these aborde l'aspect surete de fonctionnement dans les systemes d'exploitation repartis. Cet aspect est examine dans ses dimensions theorique et pratique. Du point de vue theorique, le memoire comprend une description de paradigmes utilises afin d'assurer, dans les systemes d'exploitation repartis, la surete de fonctionnement des traitements, de l'acces aux donnees non volatiles, de la communication et de l'acces aux ressources protegees. Cette description est precedee d'un expose sur les principales notions relatives a la surete de fonctionnement dans les systemes informatiques
APA, Harvard, Vancouver, ISO, and other styles
28

Belhamissi, Yasmina. "Placement des calculs et des donnees dans un systeme distribue a objets." Rennes 1, 1994. http://www.theses.fr/1994REN10052.

Full text
Abstract:
Nos travaux ont consiste a etudier le placement des calculs et des donnees dans un systeme distribue a objets. L'originalite de notre algorithme de placement de donnees est l'utilisation des informations collectees au cours des interactions d'un objet pour migrer ses donnees sur le site qui minimise leurs couts d'acces. La principale caracteristique de l'algorithme de placement de calculs est l'agregation de differents facteurs afin de calculer un placement adapte a la charge du systeme et aux caracteristiques de la methode. Nous montrons egalement comment des interactions entre le gestionnair
APA, Harvard, Vancouver, ISO, and other styles
29

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
30

Loriant, Nicolas. "Évolution dynamique des systèmes d'exploitation, une approche par la programmation par aspects." Phd thesis, Université de Nantes, 2007. http://tel.archives-ouvertes.fr/tel-00502124.

Full text
Abstract:
Dans un contexte où les technologies de communication évoluent à grande vitesse, la course effrénée à l'intégration de nouvelles fonctionnalités dans les systèmes informatiques est souvent engagée au détriment de solutions stables, extensibles et adaptables, et par conséquent plus pérennes. La réalisation de systèmes adaptables a fait l'objet de nombreuses recherches ayant abouties à des solutions originales. Néanmoins, les propositions reposant sur des architectures adaptables et extensibles se révèlent souvent complexes, peu performantes et rigides ! En effet, il est diffi
APA, Harvard, Vancouver, ISO, and other styles
31

Peltier, Thierry. "La carte blanche : un nouveau système d'exploitation pour objets nomades." Lille 1, 1995. http://www.theses.fr/1995LIL10166.

Full text
Abstract:
Les objets nomades permettent de faciliter la mobilité des personnes nécessaire dans la société actuelle, en rendant un service identique à son porteur quels que soient le lieu et le moment. Le nombre croissant d'objets nomades aux fonctions distinctes et toutes intéressantes, nous conduit à chercher à regrouper ces fonctions sur un même support. Certains objets nomades contiennent des informations confidentielles (dossier médical) ou critique (somme d'argent). La sécurité est donc importante pour ces objets nomades, qui peuvent être également facilement perdus ou volés. Les cartes à micro-pro
APA, Harvard, Vancouver, ISO, and other styles
32

Mzouri, Azzeddine. "Les protocoles de communication dans un système d'exploitation réparti." Paris 11, 1988. http://www.theses.fr/1988PA112072.

Full text
Abstract:
Étude et réalisation de protocoles de communication dans un système d'exploitation reparti. L'importance des protocoles spécialises pour assurer la transparence de la communication inter processus est montrée. Il est aussi montre l'intérêt des protocoles généraux lorsque les objectifs du système doivent conjuguer aussi bien la transparence que l'ouverture et la portabilité. Les résultats sont illustrés au travers du cas du système d'exploitation réparti chorus, développe à l'inria.
APA, Harvard, Vancouver, ISO, and other styles
33

Grasso, M. "Systèmes à N fermions corrélés. Les modèles de champ moyen pour la physique des noyaux et d'autres systèmes à N corps." Habilitation à diriger des recherches, Université Paris Sud - Paris XI, 2009. http://tel.archives-ouvertes.fr/tel-00450182.

Full text
Abstract:
Ce mémoire est une synthèse, sous forme de sélection d'articles, des travaux développés depuis ma soutenance de thèse en 2001. De nombreuses lignes de recherche se sont dégagées dans les années qui ont suivi ma thèse et mes activités scientifiques se sont développées en suivant différentes directions. Le noyau atomique est un système quantique composé par N fermions qui nécessite un traitement théorique basé sur des modèles microscopiques. Les travaux développés et l'expérience acquise dans ce domaine se prêtent donc de manière très naturelle à des extensions interdisciplinaires pour l'étude d
APA, Harvard, Vancouver, ISO, and other styles
34

Lwafi, Hassan. "Sur la stabilisation entrée sortie des systèmes non linéaires." Poitiers, 1999. http://www.theses.fr/1999POIT2375.

Full text
Abstract:
Ce travail porte sur l'analyse de la stabilisation des systemes non lineaires sans ou avec perturbations par les approches noyau et image, une generalisation de la factorisation a gauche et a droite du cas lineaire. Il s'agit des techniques ensemblistes assez originale permettant de representer un systeme. L'idee de base derriere l'approche noyau est de considerer le couple entree sortie d'un processus comme element d'un operateur dependant eventuellement de ses conditions initiales. La primarite des representations images et noyaux est definie par le biais de l'identite de bezout de maniere s
APA, Harvard, Vancouver, ISO, and other styles
35

Araujo, Ribeiro João. "Mécanismes du système d'exploitation pour le support du multimédia." Versailles-St Quentin en Yvelines, 1999. http://www.theses.fr/1999VERS0009.

Full text
Abstract:
L'augmentation de la vitesse et de la puissance des processeurs actuels nous a donné la possibilité d'utiliser les stations de travail pour réaliser des communications multimédia. Malheureusement, ce genre d'application a besoin de ressources en temps réel que les systèmes d'exploitation actuels ne sont pas capables de fournir. Les applications multimédia ont besoin d'une réservation de ressources. Le contrôle de la qualité de service ne sera pas complet s'il ne tient pas compte des limitations du processeur en ce qui concerne les besoins temps réel du multimédia. Il faut, donc, fournir des fo
APA, Harvard, Vancouver, ISO, and other styles
36

Claudel, Benoit. "Mécanismes logiciels de protection mémoire." Grenoble INPG, 2009. http://www.theses.fr/2009INPG0153.

Full text
Abstract:
Le but de ce travail est de montrer qu'il est possible de fournir à un système d'exploitation des mécanismes permettant d'isoler des composants logiciels à grain fin. L'approche contraste avec les mécanismes matériels de protection mémoire des systèmes actuels permettant par l'intermédiaire de l'unité de gestion de la mémoire d'isoler les processus dans des espaces d'adressage virtuel différents. Notre approche repose sur l'utilisation d'un langage de programmation sûr pour segmenter un unique espace d'adresse virtuel en domaines d'isolation mémoire appelées des agents. Nos principales contrib
APA, Harvard, Vancouver, ISO, and other styles
37

Tanter, Éric. "Des protocoles de métaobjets aux noyaux versatiles pour la programmation par aspects." Nantes, 2004. http://www.theses.fr/2004NANT2075.

Full text
Abstract:
L'avènement des systèmes logiciels complexes nécessite une amélioration de la modularisation et de l'adaptation des logiciels. Cette thèse traite de deux approches axées sur les langages de programmation, la réflexion et la programmation par aspects (PPA). La réflexion est une approche très générale, initialement centrée sur l'adaptation, qui souffre de problèmes de coûts et de complexité. Par ailleurs, la réflexion est rendue accessible par les protocoles de métaobjets qui, paradoxalement, sont rigides et donc lus ou moins adaptés à une situation donnée. Face à ces problèmes, la PPA a été pro
APA, Harvard, Vancouver, ISO, and other styles
38

Garcia, Samuel. "Architecture reconfigurable dynamiquement a grain fin pour le support d'un système d'exploitation temps réel." Paris 6, 2012. http://www.theses.fr/2012PA066495.

Full text
Abstract:
Les applications pressenties dans le futur partagent quatre caractéristiques majeures. Elles nécessitent une capacité de calcul accrue, nécessitent la prise en compte du temps réel, représentent un pas important en terme de complexité en comparaison avec les applications d'aujourd'hui, et devront être capables de supporter la nature dynamique du monde réel. Une architecture reconfigurable dynamiquement à grain fin (FGDRA) peut être vue comme une nouvelle évolution des FPGA d'aujourd'hui, visant à supporter des applications temps réel à la fois complexes et fortement dynamiques, tout en fournis
APA, Harvard, Vancouver, ISO, and other styles
39

Rippert, Christophe. "Protection dans les architectures de systèmes flexibles." Phd thesis, Université Joseph Fourier (Grenoble), 2003. http://tel.archives-ouvertes.fr/tel-00004377.

Full text
Abstract:
Le but de ce travail est de montrer qu'il est possible de concilier sécurité et flexibilité dans un noyau de système d'exploitation. Nous démontrons qu'il est possible de garantir à la fois la flexibilité et la sécurité d'un système, en séparant la gestion de la politique de sécurité des outils servant à sa mise en oeuvre. Notre travail se découpe en deux partie. Dans la première nous proposons des outils élémentaires de protection ayant pour rôle de protéger le système contre certains types d'attaques choisis tout en restant totalement indépendants de la politique de sécurité mise en oeuvre d
APA, Harvard, Vancouver, ISO, and other styles
40

Duflos, Jack. "Synthèse et réactions de cycloadditions sur des systèmes pyrroliques à noyaux condensés." Rouen, 1987. http://www.theses.fr/1987ROUES003.

Full text
Abstract:
Synthèse à partir d'o-diformyl N-méthyl pyrroles; additions de Diels-Alder avec le N-phényl maléimide et le butynedioate de diméthyle de benzo dipyrroles, pyrrolo phtalazines, cyclohepta (C) pyrrolones-6 et pyrrolo pyridines
APA, Harvard, Vancouver, ISO, and other styles
41

Bécoulet, Alexandre. "Conception d'un système d'exploitation supportant nativement les architectures multiprocesseurs hétérogènes à mémoire partagée." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2010. http://tel.archives-ouvertes.fr/tel-00814482.

Full text
Abstract:
Cette thèse présente le système d'exploitation MutekH, capable de s'exécuter nativement sur une plateforme matérielle multiprocesseur, où les processeurs peuvent être de complexité différente et disposer de spécificités ou de jeux d'instructions différents. Les travaux présentés ici s'insèrent dans un contexte où les systèmes multi-core et les processeurs spécialisés permettent tous deux de réduire la consommation énergétique et d'optimiser les performances dans les systèmes embarqués et dans les systèmes sur puce. Les autres solutions logicielles existantes permettant l'exécution d'applicatio
APA, Harvard, Vancouver, ISO, and other styles
42

KALAKECH, Ali. "Etalonnage de la sûreté de fonctionnement des systèmes d'exploitation. Spécifications et mise en oeuvre." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2005. http://tel.archives-ouvertes.fr/tel-00010014.

Full text
Abstract:
Les développeurs des systèmes informatiques, y compris critiques, font souvent appel à des systèmes d'exploitation sur étagère. Cependant, un mauvais fonctionnement d'un système d'exploitation peut avoir un fort impact sur la sûreté de fonctionnement du système global, d'où la nécessité de trouver des moyens efficaces pour caractériser sa sûreté de fonctionnement. Dans cette thèse, nous étudions l'étalonnage de la sûreté de fonctionnement des systèmes d'exploitation par rapport aux comportements défectueux de l'application. Nous spécifions les propriétés qu'un étalon de sûreté de fonctionnemen
APA, Harvard, Vancouver, ISO, and other styles
43

Albinet, Arnaud. "Caractérisation de la sûreté de fonctionnement des systèmes d'exploitation en présence de pilotes défaillants." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2005. http://tel.archives-ouvertes.fr/tel-00010056.

Full text
Abstract:
Les pilotes de périphériques composent désormais une part essentielle des systèmes d'exploitation. Plusieurs études montrent qu'ils sont fréquemment à l'origine des dysfonctionnements des systèmes opératoires. Dans ce mémoire, nous présentons une méthode pour l'évaluation de la robustesse des noyaux face aux comportements anormaux des pilotes de périphériques. Pour cela, après avoir analysé et précisé les caractéristiques des échanges entre les pilotes et le noyau (DPI - Driver Programming Interface), nous proposons une technique originale d'injection de fautes basée sur la corruption des para
APA, Harvard, Vancouver, ISO, and other styles
44

Aksoy, Esref. "Les structures agraires et les systèmes d'exploitation en Turquie : le cas de l'Anatolie orientale." Montpellier 3, 1986. http://www.theses.fr/1986MON30012.

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

Kalakech, Ali. "Étalonnage de la sûreté de fonctionnement des systèmes d'exploitation : spécifications et mise en oeuvre." Toulouse, INPT, 2005. http://ethesis.inp-toulouse.fr/archive/00000110/.

Full text
Abstract:
Les développeurs des systèmes informatiques, y compris critiques, font souvent appel à des systèmes d'exploitation sur étagère. Cependant, un mauvais fonctionnement d'un système d'exploitation peut avoir un fort impact sur la sûreté de fonctionnement du système global, d'où la nécessité de trouver des moyens efficaces pour caractériser sa sûreté de fonctionnement. Dans cette thèse, nous étudions l'étalonnage de la sûreté de fonctionnement des systèmes d'exploitation par rapport aux comportements défectueux de l'application. Nous spécifions les propriétés qu'un étalon de sûreté de fonctionnemen
APA, Harvard, Vancouver, ISO, and other styles
46

Quiané-Ruiz, Jorge-Alnulfo. "Allocation de requêtes dans des systèmes d'information distribués avec des participants autonomes." Nantes, 2008. https://tel.archives-ouvertes.fr/tel-00464475.

Full text
Abstract:
Nous nous intéressons aux systèmes d’informations où les participants (clients et fournisseurs) sont souvent autonomes, c. . D. Ils peuvent quitter le système à n’importe quel moment, et ont des intérêts particuliers pour certaines requêtes. Dans ces environnements, l’allocation de requêtes est un défi parce que les participants ont généralement certaines attentes qui ne sont pas seulement liées aux performances du système. Dans ce contexte, l’insatisfaction des participants est un problème car elle peut conduire les participants à quitter le système. Par conséquent, il est très important de s
APA, Harvard, Vancouver, ISO, and other styles
47

Morin, Denis. "Les systèmes d'exploitation du minerai de fer sédimentaire en Franche-Comté (XVIé-XIXé siècles) : Archéologie, Typologie et Dynamique des systèmes." Besançon, 1993. http://www.theses.fr/1993BESA1022.

Full text
Abstract:
Aux alentours de 1800, la Franche-Comté était au tout premier rang des régions françaises pour la production métallurgique. Cette situation remontait au moyen-âge ou l'établissement de "forges" était souvent du a l'initiative de moines cisterciens. Depuis 1983 les prospections archéologiques menées sur les plateaux et avant-monts du massif jurassien ont permis de découvrir une quantité impressionnante de sites d'extraction minières et mines souterraines. Deux catégories de minerai de fer ont été exploitées : les minerais de fer résiduel ou pisolithique et les minerais de fer colitique ou "en r
APA, Harvard, Vancouver, ISO, and other styles
48

Duquennoy, Simon. "Smews : un système d'exploitation dédié au support d'applications Web en environnement contraint." Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10184/document.

Full text
Abstract:
Les travaux présentés dans ce mémoire se placent dans le contexte de l'extension des technologies du Web à l'informatique enfouie. Le Web des objets qui en résulte ouvre les portes à de nouvelles interactions en garantissant une interopérabilité aussi bien au niveau réseau qu'applicatif. Nous adressons la conception du système logiciel jouant le rôle de serveur Web au sein d'équipements fortement contraints, tels que des cartes à puce ou des capteurs. Les solutions de l'état de l'art permettant de supporter une pile protocolaire standard à faible empreinte mémoire exigent de sacrifier les perf
APA, Harvard, Vancouver, ISO, and other styles
49

Motsch, Cédric. "Mécanismes de gestion des flots d'éxécution d'exploitation écrit en langage Java." Rennes 1, 2007. ftp://ftp.irisa.fr/techreports/theses/2007/motsch.pdf.

Full text
Abstract:
L'objectif de ce travail est d'établir des principes de construction et de gestion des flots d'exécution et des applications au sein d'un système d'exploitation écrit en langage Java. Il s'inscrit dans le cadre d'un projet visant à définir un environnement d'exécution Java minimal, appelé processeur bytecode, au dessus duquel un système d'exploitation est construit. Dans un premier temps on cherche à établir les modifications du langage Java nécessaires pour supporter l'exécution de plusieurs applications. Ensuite nous proposons des mécanismes permettant aux applications d'ordonnancer leurs pr
APA, Harvard, Vancouver, ISO, and other styles
50

Charrière, Claude. "Etude et réalisation du logiciel d'exploitation d'un équipement de communication pour applications distribuées (E. C. A. D. )." Metz, 1992. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1992/Charriere.Claude.SMZ9233.pdf.

Full text
Abstract:
Dans le cadre d'un projet d'implantation de services domotiques/immotiques sur le réseau de télédistribution de la ville de Metz par le CERLOR, l'idée d'offrir des services grand public a été le point de départ de l'étude d'un terminal graphique intelligent, modulaire et ergonomique. La réalisation du logiciel de gestion de ce terminal, objet de ce mémoire a pour finalité d'une part de gérer de façon optimale l'ensemble des ressources matérielles de l'équipement (télécommande IR, port série, processeur vidéo) et d'autre part de constituer une plate-forme d'accueil et d'exécution des logiciels
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Noyaux de systèmes d'exploitation' 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