Mermet, Jean, 1942-...., informaticien
Mermet, Jean P.
Mermet, Jean
Mermet, Jean (Jean P.)
VIAF ID: 56711139 (Personal)
Permalink: http://viaf.org/viaf/56711139
Preferred Forms
- 200 _ | ‡a Mermet ‡b Jean P.
- 100 1 _ ‡a Mermet, Jean
- 100 1 _ ‡a Mermet, Jean P.
- 100 1 _ ‡a Mermet, Jean P.
-
- 100 1 _ ‡a Mermet, Jean, ‡d 1942-...., ‡c informaticien
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Un algorithme de vérification du schéma électrique extrait d'un circuit intégré | |
Améliotation des performances de la simulation des modèles en langages de description de matériel | |
Analyse de modèles écrits en CASCADE et superviseur du système de simulation associé | |
Architecture behaviour for realistic image pre-synthesis operators. | |
Automatic taxonomic construction based on examples in an object knowledge model. | |
Bases d'objets : une infrastructure de représentation de connaissances pour la gestion de données en CAO | |
CAD in medium sized and small industries : proceedings of the First European Conference on Computer Aided Design in Medium Sized and Small Industries, MICAD 80, Paris, 23-26 September 1980 | |
ChDL series | |
Un compilateur de microprogrammes | |
Construction automatique de taxonomies à partir d'exemples dans un modèle de connaissances par objets | |
Cours de programmation 7040-44. | |
Définition formelle d'un générateur de solutions d'allocation spatiale en deux dimensions : application à l'urbanisme | |
Un éditeur graphique pour le système CASCADE : EDICAS | |
Eléments méthodologiques pour la réalisation de systèmes de CFAO et leur introduction dans les entreprises | |
Etude méthodologique de la conception assistée par ordinateur des systèmes logiques : CASSANDRE | |
Études et évaluations d'architectures de pré-synthétiseurs d'images réalistes : HELIOS/GETRIS | |
Euro-VHDL'91 : second european conference on VHDL methods : proceedings, Stokholm 8-11 september 1991 | |
Expériences en synthèse logique | |
Experiments in logic synthesis | |
Fundamentals and standards in hardware description languages [proceedings of the NATO advanced study institute on fundamentals and standards in hardware description languages, Il Ciocco, Barga, Italy, April 16-26 1993] | |
IMAG3 : un système de simulation et d'optimisation de circuits électroniques | |
International Advanced Summer Institute on Microprogramming. | |
Knowledge representation framework for CAD data management. | |
LASCAR : un langage pour la simulation et l'évaluation des architectures d'ordinateurs | |
Une Méthode de simulation hybride analogique-logique : MACROIMAG | |
Microprogramming : . Edited by Guy Boulaye and Jean Mermet. Contributors: F. Anceau. M. Flynn. L. Gardner. G. Hoff... [Etc.] | |
Un périphérique d'ordinateur à l'usage des musiciens : problèmes d'interprétation de la musique et d'édition de partitions | |
Pour une généralisation des systèmes CAO : approche et applications | |
Projet CASCADE : une approche de la simulation hiérarchisée multi-modes | |
Quelques outils numériques pour la résolution de systèmes algébrodifférentiels de grande dimension : applications au projet CASCADE | |
System-level synthesis | |
System-on-chip methodologies & design languages | |
Towards a systematic approach in image synthesis: software and hardware aspects. | |
UML-B specification for proven embedded systems design | |
Vers une approche systématique de la synthèse d'image : aspects logiciel et matériel | |
VHDL for simulation, synthesis, and formal proofs of hardware |