Global ETD Search

231	Les circuits intégrés de communication de données‎ : architecture et méthodologie de conception Nguyen-Xuan-Dang, Michel 15 December 1988 (has links) (PDF) Étude sur l'intégration de protocoles de communication de données dans les circuits intégrés. Cette intégration est examinée sous deux aspects: architecture fonctionnelle et méthodologie de conception. Deux classes de circuits de communication ont été étudiés: la première traite des méthodes d'accès série et parallèle et la deuxième concerne l'implantation des couches hautes du modèle OSI : de la couche LLC d'IEEE à la couche session. La méthodologie de conception des circuits de communication est basée sur la définition et le développement des bibliothèques d'opérateurs flexibles spécialisés et des bibliothèques de modules paramétrables spécialisés conception assitée par ordinateur LLC IEEE implantation méthodologie compilateur de silicium compilation circuits intégrés
232	Algèbre de programmes dans un univers type Bensalem, Saddek 20 December 1985 (has links) (PDF) Dans cette thèse, on présente un cadre qui associe la spécification algèbrique de types à l'algèbre de programme. La principale caractéristique de cette approche est fournie par les opérateurs génériques définissables par les utilisateurs qui donnent une grande puissance d'expression aux règles d'équivalence. En particulier, la structure de certains types est contenue implicitement dans des opérateurs génériques comme l'homomorphisme et l'homomorphisme «inverse». Les applications de cette algèbre de programmes typés incluent la preuve de programmes sans induction explicite, et les méthodes de transformation de programmes comme le «folding-unfolding» Sémantique formelle Programmation Spécification Type abstrait Langage fonctionnel Algèbre Transformation programme Méthodologie
233	Un opérateur d'unification pour une machine base de connaissance PROLOG Ianeselli, Jean-Christophe 03 June 1985 (has links) (PDF) Dans le cadre du projet OPALE, ayant pour objectif la conception d'une machine base de connaissance PROLOG, on spécifie un opérateur devant réaliser l'unification au vol sur un flux de données issu d'une unité de disque. Pour améliorer les performances de l'interprétation de PROLOG dans un contexte base de connaissances, cet opérateur doit unifier non pas un mais un ensemble de buts ce, en accord avec la stratégie de recherche élaborée. On propose de décomposer l'unification en une étape de préunification suivie d'une étape d'association. Les algorithmes sont alors validés et intégrés en une maquette logicielle. Nous abordons l'aspect matériel en proposant une méthodologie de conception s'appuyant sur des notions développées dans la programmation orientée objet. Puis nous amorçons la réalisation du «circuit» à l'aide d'un compilateur de silicium Langage programmation Méthodologie Conception système Spécification Machine base connaissance Unification Architecture modulaire Base connaissance PROLOG
234	Conception d'applications pour systèmes transactionnels coopérants Bogo, Gilles 18 June 1985 (has links) (PDF) Les moyens offerts par les systèmes de gestion de base de données et les systèmes transactionnels pour maintenir la cohérence et l'intégrité des systèmes d'information sont tout d'abord analysés tant en centralisé qu'en réparti. La seconde partie est consacrée à l'étude de deux grandes classes de méthodes de conception, l'une fondée sur les modèles de description de données, l'autre sur les types abstraits. Dans chaque cas, une méthode particulière est présentée et analysée. Après présentation de l'application bancaire pilote, la troisième partie définit un modèle pour la description des applications transactionnelles. Celui-ci est appliqué et confronté à l'application pilote. La dernière partie décrit la réalisation de ce modèle dans le langage ADA. Un environnement de conception est construit et se présente comme un sur-ensemble du langage ADA. Enfin, cet outil est comparé à d'autres propositions du domaine de la recherche Système gestion base donnée Conception système Méthodologie Type abstrait ADA Système transactionnel Contrainte intégrité
235	Une méthode de conception de microprocesseurs CMOS: application au 8048 (Intel) Sahbatou, Mohammed Djameleddine 12 November 1984 (has links) (PDF) Etude des spécifications du manuel utilisateur pour aboutir à la réalisation du circuit. Chaque instruction a été décomposée en un algorithme d'interprétation, en se basant sur une structure à 2 bus et une horloge à deux phases; l'objectif étant d'aboutir à une architecture régulière de la partie opérative («bit-Slice») Conception système Microordinateur Méthodologie Circuit logique programmable Architecture système Algorithme Technologie CMOS
236	Étude des méthodologies de conception, outils de synthèse et de génération automatiques de parties contrôles de microprocesseurs Etienne, Régine 29 June 1983 (has links) (PDF) Ce travail présente à la fois les méthodologies de conception et l'ensemble des outils logiciels utilises à ce jour pour concevoir des circuits à très haute intégration. Une première partie concerne la génération des parties contrôlés et propose une analyse des différentes méthodes d'implantation couramment utilisées, un formalisme pour descriptions logiques d'algorithmes de contrôle, ainsi qu'un outil logiciel pour la synthèse automatique de ces algorithmes sous forme de Plas circuits à haute intégration méthodologie de conception conception assistée base de données système intégré outils logiciel
237	Exemples de solutions multivoques en statistiques Sebaagh, Lyne 01 June 1983 (has links) (PDF) Le travail présenté traite d'un point de vue méthodologique nouveau, divers exemples. Pour chacun d'eux, on propose plusieurs solutions ouvrant la voie à la discussion méthodologie statistique analyse des données données liaisons corrélations cycles en économétrie économétrie cycles simulation optimisation analyse
238	Méthodologie pour la construction de systèmes CAO : SIGMA-CAO : une méthode globale pour la spécification, la mise en œuvre et l'utilisation de systèmes intégrés pour la conception assistée par ordinateur David, Bertrand 30 September 1981 (has links) (PDF) . CAO conception assistée par ordinateur conception SIGMA SIGMA-CAO méthodologie méthode processus modélisation homme-machine
239	Aspects méthodologiques de la conception et de la description de systèmes microprocesseurs : réalisation d'un périphérique d'aide au développement d'applications microprocesseurs et de supervision en temps réel Zambrano Castillo, Alexander 06 June 1980 (has links) (PDF) Aspects méthodologiques de la conception d'une application microprocesseur. La mise au point dans un contexte d'applications microprocesseurs. Une méthode de description de systèmes microprocesseurs : MICROD. Un périphérique d'aide au développement d'applications microprocesseurs et de supervision en temps réel : un processeur de gestion de mémoires CCD, le contrôleur disque souple, un processeur en temps réel applique au développement logiciel et matériel des applications microprocesseurs : ANALYD microprocesseur méthodologie conception application MICROD mise au point disques ANALYD hardware temps-réel noyau
240	Vers une programmation systématique : étude de quelques méthodes, techniques et outils Scholl, Pierre-Claude 29 June 1979 (has links) (PDF) Le traitement séquentiel : principes du traitement séquentiel, programmation du traitement séquentiel, application systématique du traitement séquentiel, analyse récurrente et traitement séquentiel. Le traitement arborescent : principes du traitement arborescent, application du traitement séquentiel au traitement d'arbres, application du traitement arborescent à l'étude d'algorithmes récursifs. Notations algorithmiques et programmation systématique : langages de programmation et notations algorithmiques. Un exemple de notation algorithmique. programmation programmes compilation compilateur séquences traitement des files files palindromes machine séquentielle méthodologie de programmation langage MEFIA

Search results