Log in

Relevant bibliographies by topics / UNIX (Logiciels) / Dissertations / Theses

To see the other types of publications on this topic, follow the link: UNIX (Logiciels).

Dissertations / Theses on the topic 'UNIX (Logiciels)'

Author: Grafiati

Published: 4 June 2021

Last updated: 28 July 2025

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

Select a source type:

Consult the top 18 dissertations / theses for your research on the topic 'UNIX (Logiciels).'

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

Kadionik, Patrice. "Contribution aux logiciels d'essais des cartes électroniques VXI du multidétecteur Eurogam dans un environnement réparti Unix/VxWorks." Bordeaux 1, 1992. http://www.theses.fr/1992BOR10654.

Full text

Abstract:

Le multidetecteur de rayonnements gamma eurogam comprend, dans une premiere phase de realisation, 45 detecteurs ge hyperpurs, chacun entoure de 10 detecteurs bgo. Afin d'assurer une grande fiabilite et de permettre une evolution de l'ensemble, les cartes electroniques ont ete realisees au standard vxi (vme bus extension for instrumentation). Ceci permet de gerer les 495 detecteurs a travers 4300 parametres ajustables par logiciel. L'architecture du systeme d'acquisition est distribuee sur un reseau ethernet. Le logiciel pour le reglage et les essais des cartes vxi a ete ecrit en c. Il utilise

APA, Harvard, Vancouver, ISO, and other styles

2

Diarra, Christophe. "Contribution aux logiciels d'acquisition de données des multidétecteurs Eurogam et Diamant dans un environnement réparti Unix/Vxworks." Bordeaux 1, 1994. http://www.theses.fr/1994BOR10538.

Full text

Abstract:

Eurogam et diamant sont deux multidetecteurs developpes pour la physique nucleaire. L'architecture des systemes d'acquisition des deux multidetecteurs est repartie sur un reseau ethernet tcp/ip. Les controles sont faits a partir de stations unix et les traitements critiques sous le noyau temps reel vworks dans des chassis vme. L'acquisition est basee sur des techniques multiprocesseurs et les logiciels ecrits en c. Les communications se font suivant le modele client/serveur. Un logiciel convivial a ete ecrit pour assurer le reglage et le controle des milliers de parametres des cartes electroni

APA, Harvard, Vancouver, ISO, and other styles

3

Lesourd, Henri. "Le système hammourabi." Paris 6, 2002. http://www.theses.fr/2002PA066228.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Mazouz, Abdelhafid. "Une étude empirique des performances des applications OpenMP sur les plateformes multi-coeurs." Phd thesis, Université de Versailles-Saint Quentin en Yvelines, 2012. http://tel.archives-ouvertes.fr/tel-00918239.

Full text

Abstract:

Les architectures des machines multi-coeurs actuelles deviennent de plus en plus complexes à cause du modèle de conception hiérarchique adopté. Par conséquent, assurer une meilleure stabilité, reproductibilité et prédictibilité des performances sur ces machines nécessite une compréhension approfondie des interactions qui existent entre les applications multi-threads et le matériel sous-jacent. Dans cette thèse, nous étudions deux aspects importants pour les performances des applications multi-threads. Nous montrons que la stabilité des performances est un critère important à considérer dans le

APA, Harvard, Vancouver, ISO, and other styles

5

Le, Texier Thomas. "Le rôle des innovations ouvertes dans la reconstruction des activités industrielles : les exemples du développement logiciel libre, de l'activité des réseaux d'échanges de fichiers électroniques, et une application au cas du Département de la Défense des Etats Unis." Nice, 2008. http://www.theses.fr/2008NICE0059.

Full text

Abstract:

Notre recherche étudie la manière dont de nouvelles entités productives conduites par de acteurs non-marchands peuvent mener à la création de valeur exploitable par des acteurs traditionnels. En opposition avec ce qu’il est convenu d’appeler le principe d’‘innovation fermée’, nous présentons le modèle d’‘innovation ouverte’ comme un nouveau modèle de production et de diffusion technologique selon lequel des organisations utilisent des facteurs internes et externes pour développer leur propre activité. Pour pleinement comprendre à quel point les propriétés de l’innovation ouverte peuvent être p

APA, Harvard, Vancouver, ISO, and other styles

6

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

7

Simonaud-Duard, Joëlle. "Comment améliorer le modèle comptable avec les nouveaux progiciels ? : (étude dans deux pays ayant des règles comptables d'origine différentes en France et au Royaume-Uni)." Paris 10, 2001. http://www.theses.fr/2001PA100178.

Full text

Abstract:

Le système d'information comptable est en constante évolution. Il a fait l'objet d'un bouleversement récent grâce à l'avancée des nouvelles technologies internet et les progiciels de gestion intégrée. Cela a accru la capacité de traitement de l'information ainsi que la rapidité de transmission des données. Ces changements récents sont communs à tous les pays. Dans le cadre d'une synthèse, il est intéressant d'examiner l'origine de ce changement à partir des règles comptables. Ces règles peuvent être d'origine non gouvernementales, émanant d'entreprises, comme c'est le cas au Royaume-Uni. A con

APA, Harvard, Vancouver, ISO, and other styles

8

Useche, Diego. "Les droits de la propriété Intellectuelle et les marchés financiers dans la stratégie des firmes du logiciel en Europe et aux Etats-Unis." Thesis, Bordeaux, 2014. http://www.theses.fr/2014BORD0048/document.

Full text

Abstract:

Le succès du modèle d’innovation américain pour faire émerger des firmes leaders dans plusieurs domaines a largement influencé de nombreuses transformations réglementaires concernant les Droits de Propriété Intellectuelle (DPI) et le financement par les marchés en Europe. Cette thèse vise à analyser le rôle et l’importance de ces transformations dans l’organisation et la performance des firmes du logiciel. Nous montrons que des multiples mutations réglementaires des DPI ont ouvert la voie à un certain type de brevetabilité « très restreint » du logiciel en Europe. En parallèle, les évolutions

APA, Harvard, Vancouver, ISO, and other styles

9

Vial, Philippe. "Un outil d'aide à l'installation d'UNIX fondé sur les connaissances." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 1988. http://tel.archives-ouvertes.fr/tel-00813379.

Full text

Abstract:

La thèse présentée dans ce rapport a été entreprise dans le cadre de la convention CIFRE (Convention Industrielle de Formation par la REcherche) 264/85 établie entre la société SYNC et l'Ecole Nationale Supérieure des Mines de Saint-Etienne. La réalisation de cette thèse a comporté quatre activités très différentes, à savoir: - L' acquisition des connaissances nécessaires à l' administration et à l' installation d'UNIX. - l'acquisition des compétences nécessaires au développement d'un système expert. - le choix d'un environnement de développement de systèmes experts adapté au domaine d'experti

APA, Harvard, Vancouver, ISO, and other styles

10

Niño, Fernando. "Modélisation numérique de la déformation localisée et de l'activité tectonique des failles." Montpellier 2, 1997. http://www.theses.fr/1997MON20019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Orozco, Barbosa Luis. "Developpement et evaluation de performances du protocole de transport de l'iso pour reseaux locaux." Paris 6, 1987. http://www.theses.fr/1987PA066562.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Teboul, Bruno. "Le développement du neuromarketing aux Etats-Unis et en France. Acteurs-réseaux, traces et controverses." Thesis, Paris Sciences et Lettres (ComUE), 2016. http://www.theses.fr/2016PSLED036/document.

Full text

Abstract:

Notre travail de recherche explore de manière comparée le développement du neuromarketing aux Etats-Unis et en France. Nous commençons par analyser la littérature sur le neuromarketing. Nous utilisons comme cadre théorique et méthodologique l’Actor Network Theory (ANT) ou Théorie de l’Acteur-Réseau (dans le sillage des travaux de Bruno Latour et Michel Callon). Nous montrons ainsi comment des actants « humains et non-humains »: acteurs-réseaux, traces (publications) et controverses forment les piliers d’une nouvelle discipline telle que le neuromarketing. Notre approche hybride « qualitative-q

APA, Harvard, Vancouver, ISO, and other styles

13

Enderlin, Ivan. "Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP." Thesis, Besançon, 2014. http://www.theses.fr/2014BESA2067/document.

Full text

Abstract:

Les travaux présentés dans ce mémoire portent sur la validation de programmes PHP à travers un nouveau langage de spécification, accompagné de ses outils. Ces travaux s’articulent selon trois axes : langage de spécification, génération automatique de données de test et génération automatique de tests unitaires.La première contribution est Praspel, un nouveau langage de spécification pour PHP, basé sur la programmation par contrat. Praspel spécifie les données avec des domaines réalistes, qui sont des nouvelles structures permettant de valider etgénérer des données. À partir d’un contrat écrit

APA, Harvard, Vancouver, ISO, and other styles

14

Souissi, Mohsen. "Mise en oeuvre du protocole IPv6 au-dessus d'une infrastructure ATM." Versailles-St Quentin en Yvelines, 2000. http://www.theses.fr/2000VERS008V.

Full text

Abstract:

La présente thèse traite de la mise en oeuvre du protocole ipv6 au-dessus d'une infrastructure ATM. IPv6 est la nouvelle version du protocole Internet, conçue pour améliorer et succéder à IPv4. L'infrastructure Ethernet est généralement privilégiée dans les réseaux locaux (LAN) pour le déploiement d'IPv6 en raison de sa maturité et surtout de son support de la diffusion naturelle. Cette dernière propriété, très utile pour IPv6 et ses protocoles associés tels que la découverte des voisins, n'est pas supportée par les infrastructures NBMA (non broadcast multiple access) dont ATM est un cas parti

APA, Harvard, Vancouver, ISO, and other styles

15

Le, Viet Hoang. "Une couverture combinant tests et preuves pour la vérification formelle." Thesis, Toulouse, ISAE, 2019. http://www.theses.fr/2019ESAE0023/document.

Full text

Abstract:

Actuellement, le développement d’un logiciel de taille industriel repose généralement surdes tests ou des preuves unitaires pour garantir rigoureusement ses exigences. En outre, il adéjà été montré que l’utilisation combinée du test et de la preuve unitaires est plus efficaceque l’utilisation d’une seule de ces deux techniques. Néanmoins, un ingénieur en vérificationhésite encore à utiliser ces deux techniques conjointement, faute d’une notion de couverturecommune au test et à la preuve. Définir une telle notion est l’objet de cette thèse.En effet, nous introduisons une nouvelle couverture, ap

APA, Harvard, Vancouver, ISO, and other styles

16

Brunie, Nicolas. "Contribution à l'arithmétique des ordinateurs et applications aux systèmes embarqués." Thesis, Lyon, École normale supérieure, 2014. http://www.theses.fr/2014ENSL0894/document.

Full text

Abstract:

Au cours des dernières décennies les systèmes embarqués ont dû faire face à des demandes applicatives de plus en plus variées et de plus en plus contraintes. Ce constat s'est traduit pour l’arithmétique par le besoin de toujours plus de performances et d'efficacité énergétique. Ce travail se propose d'étudier des solutions allant du matériel au logiciel, ainsi que les diverses interactions qui existent entre ces domaines, pour améliorer le support arithmétique dans les systèmes embarqués. Certains résultats ont été intégrés au processeur MPPA développé par Kalray. La première partie est consac

APA, Harvard, Vancouver, ISO, and other styles

17

Dudret, Stéphane. "Modèles de convection-diffusion pour les colonnes de distillation : application à l'estimation et au contrôle des procédés de séparation cryogéniques des gaz de l'air." Phd thesis, Ecole Nationale Supérieure des Mines de Paris, 2013. http://pastel.archives-ouvertes.fr/pastel-00874677.

Full text

Abstract:

Cette thèse porte sur la modélisation, pour le contrôle, des profils de compositions dans les colonnes de distillation cryogénique. Nous obtenons un modèle non-linéaire de convection-diffusion par réduction d'un modèle d'équations-bilans singulièrement perturbé. Du point de vue de l'automatique, nous nous intéressons à la stabilité des profils de compositions résultants, ainsi qu'à leur observabilité. Du point de vue du procédé, la nouvauté de notre modèle réside dans la prise en compte d'une efficacité de garnissage dépendant des conditions d'opération de la colonne. Le modèle est validé par

APA, Harvard, Vancouver, ISO, and other styles

18

Laouari, Jérémy. "La brevetabilité des logiciels." Thèse, 2005. http://hdl.handle.net/1866/2426.

Full text

Abstract:

Ce texte a pour ambition d'expliquer les tenants et aboutissants de la brevetabilité des logiciels. Dans cette optique, notre première partie consistera à poser les bases du débat. Cela sera notamment fait en analysant les raisons pour lesquelles la brevetabilité des logiciels a été consacrée. Le texte mettra ainsi l'emphase sur l'inefficacité du droit d'auteur à protéger les logiciels. En outre, l'étude du mécanisme du brevet nous montrera que ce dernier constituait une solution plus adaptée que le droit d'auteur à la protection des logiciels. Ensuite, dans le cadre d'une seconde partie, il s

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!