• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1673
  • 267
  • 117
  • 61
  • 15
  • 9
  • 7
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 2206
  • 2206
  • 1965
  • 1950
  • 1937
  • 438
  • 389
  • 336
  • 220
  • 216
  • 186
  • 176
  • 176
  • 175
  • 172
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
491

Indicateurs de dépendance entre deux variables aléatoires fournis par le développement en série de la densité de probabilité

Blacher, René 30 March 1983 (has links) (PDF)
.
492

Étude et réalisation d'un système microprocesseur pour le traitement des algorithmes parallèles

Ragab, Sarwat 07 June 1983 (has links) (PDF)
Description du prototype d'un système multimicroprocesseur adapté au traitement des algorithmes parallèles dont une étude des différentes architectures multiprocesseurs et de leur classification permet de le situer au sein des MIMD. Son architecture modulaire permet la connexion d'un grand nombre de processeurs sur un bus commun par un circuit d'arbitrage asynchrone. Une évaluation des performances du système dans le traitement des programmes utilisant les différents types de parallélisme est présentée.
493

Sur la résolution numérique du problème de Navier-Stokes tridimensionnel axisymétrique en fonction de courant-vorticité

Monsalve, José 30 June 1982 (has links) (PDF)
.
494

Analyse et simulation de réseaux d'automates

Legendre, Marc 08 November 1982 (has links) (PDF)
On s'intéresse à l'analyse et la simulation du comportement itératif de réseaux d'automates et plus particulièrement des réseaux d'automates à seuil (avec éventuellement introduction d'une période de réfraction). On donne, on approfondit des résultats concernant la longueur du cycle limite, le nombre de pas nécessaires pour l'atteindre, ainsi que l'organisation spatiale des cellules dans le cycle.
495

Méthode de conception descendante de systèmes temps réel

Pilaud, Daniel 23 November 1982 (has links) (PDF)
Une methode de conception descendante par affinements successifs de spécifications est présentée. Le point de départ de la conception est la spécification initiale du système sous forme comportementale. L'étape suivante est la specification algorithmique du systeme qui consiste à définir une machine abstraite réalisant le systeme ainsi que la dérivé temporelle admissible sur les entrées et les sorties du système. Ensuite, deux types d'implantation sont proposes: l'implantation fidèle qui est la réalisation d'une machine concrète ayant un comportement semblable à la machine abstraite (à la dérivé temporelle près). Dans le cas contraire, une alarme est envoyée à l'environnement. Cette implantation peut être faite automatiquement grâce à l'interpréteur GRAFCET fidèle. Le deuxième type d'implantation est l'implantation sur ou par construction les contraintes de fonctionnement sont respectées
496

LesSystème CESAR : description, spécification et analyse des applications réparties

Queille, Jean-Pierre 15 June 1982 (has links) (PDF)
Le système CESAR proposé dans cette thèse est un système d'aide à la conception des applications reparties. Il permet de décrire l'application étudiée dans un langage algorithmique en termes de processus communiquant par rendez-vous; de spécifier les propriétés de comportement souhaitées au moyen d'une logique temporelle. Le modèle sur lequel ces formules sont analysées est un réseau de Petri interprété généré automatiquement à partir de la description fournie. L'analyse repose sur une évaluation des opérateurs temporels comme points fixes de transformateurs de prédicats sur l'espace d'états du modèle.
497

Etude du parallélisme appliqué à la traduction automatisée par ordinateur : STAR-PALE : un système parallèle

Verastegui-Carvajal, José-Nelson 17 May 1982 (has links) (PDF)
.
498

Une approche de la théorie de D. Scott et application à la sémantique des types abstraits génériques

Soler, Roger 21 September 1982 (has links) (PDF)
La théorie des domaines de D. Scott est le fondement mathématique de la sémantique dénotationnelle des langages de programmation. On présente les éléments de cette théorie, Ainsi que la flacon de réaliser un calcul des retracts (i.e. des fonctions qui caractérisent les domaines). On donne les solutions des équations de domaines dans des domaines universels, en utilisant le formalisme des connexions de Galois. Ensuite, on aborde le probleme de la satisfaction des axiomes qui font partie de la définition des types abstraits génériques, en présentant ainsi une sémantique pour ce nouveau concept des langages de programmation
499

Analyse et comparaison d'itérations discrètes : la méthode de Newton dans (Z/pZ)n

El Bernoussi, Souad 11 May 1982 (has links) (PDF)
.
500

Contribution à l'étude des points singuliers des systèmes différentiels linéaires

Hilali, Abdelaziz 26 April 1982 (has links) (PDF)
.

Page generated in 0.0452 seconds