Global ETD Search

541	Expression de la synchronisation dans les systèmes informatiques et conception d'architectures tolérant les pannes Pulou, Jacques 26 September 1979 (has links) (PDF) Cette étude de l'expression de la synchronisation dans les systèmes d'exploitation comprend une classification des outils de synchronisation et propose une description formelle de la synchronisation. Quelques éléments méthodologiques dans la conception de systèmes tolérant les pannes sont donnés. systèmes d'exploitations pannes erreurs outils synchronisation langage écriture conception CAO architecture
542	Méthode de pénalisation et applications : résolution et optimisation de modèles macroéconomiques Nepomiastchy, Pierre 29 June 1979 (has links) (PDF) . macroéconomie gestion économie pénalisation ordonnancement temps optimal production stocks optimisation
543	Transformation de structures de données dans le cadre d'un système automatique d'aide à la conception de systèmes d'information Taha Ahmed, Salwa 10 December 1979 (has links) (PDF) Le modèle multigraphe. Les principales étapes et l'objectif du processus de conception de systèmes de bases de données. La transformation d'un ensemble de relations en une structure réseau de type SOCRATE ou CODASYL. La mise en œuvre à partir du modèle multigraphe du processus de transformation d'un ensemble de relation en une structure réseau en termes de SGDB actuels. réseau SGBD base de données données SOCRATE graphes multigraphes SRELR
544	Définition et mise en œuvre d'un service de traitements par lots dans un réseau hétérogène d'ordinateurs Lumelsky, Silvia 06 December 1979 (has links) (PDF) Définition du projet: "CYCLADES", un réseau d'ordinateurs ; le traitement par lots dans un réseau hétérogène ; définition d'un serveur de traitement par lot pour le réseau CYCLADES ; définition d'un poste d'accès banalisé. Différents éléments de la réalisation : étude de la mise en œuvre ; outils pour le développement et la mise au point ; évaluation de la solution adaptée. réseau CYCLADES lots lot:traitement CIGALE sous-réseau serveur terminal FRONTAL
545	Application de la théorie de la perturbation des opérateurs linéaires à l'obtention de bornes d'erreurs sur les éléments propres et à leur calcul Redont, Patrick 28 June 1979 (has links) (PDF) Méthode d'itération pour le calcul de valeurs propres et de vecteurs propres d'opérateurs linéaires. Approximation par itération des éléments propres d'un opérateur linéaire ferme quasi décomposé par une projection de rang 1. Approximation des éléments propres d'un opérateur linéaire ferme par itération : cas général. Approximation d'un sous-espace invariant d'un opérateur linéaire par itération. itération approximation perturbation opérateur linéaire valeurs propres espaces de Banach
546	Conception d'un périphérique intelligent d'accès à un réseau télé-informatique : réalisation sur une architecture à microprocesseurs multiples Saettone Summers, Roberto 11 July 1979 (has links) (PDF) On présente le réseau CYCLADES, les options prises par les concepteurs et on décrit les différents niveaux de protocoles, en particulier la station de transport. On décrit les différentes methodes pour implanter la station de transport d'un ordinateur hôte. On propose une décomposition des fonctions de la station de transport en deux parties : une externe et une résiduelle. On présente sommairement les différents types d'architecture à plusieurs microprocesseurs. On décrit les choix et options prises dans la conception du système PIAR. On décrit l'architecture logicielle et matérielle du système PIAR ainsi que les moyens de communication et synchronisation. CYCLADES réseau réseaux ordinateurs SOC échanges données informations microprocesseur
547	Une application de la statistique descriptive en informatique Da Graça Martins, Maria Eugénia 24 September 1979 (has links) (PDF) Un problème fondamental dans la gestion d'un système de mémoire virtuelle est celui de décider quelles sont les pages qui doivent occuper la mémoire réelle et combien de pages physiques de la mémoire réelle doivent être allouées à un programme. L'objet de cette étude est de trouver un compromis optimum entre les deux objectifs suivants : a) minimiser le nombre de transferts de pages entre la mémoire réelle et la mémoire virtuelle ; b) minimiser la taille de la mémoire réelle renouvellement chaînes de Markov irréductibilité gestion programmation langage matrices mémoire allocation
548	Interprétation de graphes pour l'enchaînement des requêtes dans un système de gestion de bases de données réparties : projet Polyphème Euzet, Christian 25 September 1979 (has links) (PDF) . graphes base de données SGBDR SGBD projet POLYPHEME
549	Quelques méthodes numériques pour le calcul de fonctions splines à une et plusieurs variables. Paihua Montes, Luis 11 May 1978 (has links) (PDF) Etude de la stabilité numérique de deux méthodes utilisées pour l'obtention de fonctions splines. spline spline cubique fonctions variable stabilité numérique nœuds spline globale
550	Utilisation de la méthode de validation croisée pour le lissage par fonctions Spline à une ou deux variables Utreras, Florencio 11 May 1979 (has links) (PDF) Lissage à une variable : les methodes de choix du paramètre d'ajustement, réalisation pratique de la méthode de validation croisée, expériences numériques, optimalité à asymptotique de la méthode de validation croisée, un procédé de lissage pour un grand nombre de nœuds. le lissage à 2 variables : étude des valeurs propres associées aux fonctions splines bidimensionnelles, les fonctions spline bicubiques, expérience numérique à 2 variables spline théorie des Splines validation croisée variation splines cubiques splines quintiques variance

Search results