Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones

Formalisme DELTA : un outil de description logique pour la synthèse automatique dans la conception des machines séquentielles synchrones

.

Bibliographic Details
Main Author:	Nemmour, Mohamed
Language:	FRE
Published:	1981
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation DELTA circuits intégré conception formalisme ETA bijection CAO machines séquentielles séquenceur pipe-line
Online Access:	http://tel.archives-ouvertes.fr/tel-00297303 http://tel.archives-ouvertes.fr/docs/00/29/73/03/PDF/Nemmour.Mohamed_1981_these.pdf

Similar Items

Un formalisme pour la spécification des contrôleurs temps-réel de procédés discrets
by: Walter, Claudio
Published: (1981)

Implantation automatique de logiques en bandes
by: Paillotin, Jean-François
Published: (1984)

Expériences en synthèse logique
by: Durand, Yves
Published: (1988)

Géostatistique et assimilation séquentielle de données
by: Wackernagel, Hans
Published: (2004)

OUTILS POUR L'EXTRACTION D'IMPEDANCE DANS LES CIRCUITS INTÉGRÉS
by: Escovar, Rafael
Published: (2006)

Recherche et identification automatiques des morphèmes en japonais‎
by: Dauphin, Hubert
Published: (1962)

Conception et étude d'un microcalorimètre différentiel à compensation automatique
by: Charuel, Robert
Published: (1956)

Modèles temporels des systèmes logiques
by: Sifakis, Joseph
Published: (1974)

Quelques problèmes lies a l'analyse d'images numériques obtenues par un système automatique de microphotometrie a balayage
by: Chassery, Jean-Marc
Published: (1976)

Construction automatique de solides à partir de vues orthogonales de type dessin industriel
by: Lequette, Rémi
Published: (1987)

Utilisation des informations sémantiques en traduction automatique
by: Augereau, Dominique
Published: (1962)

Modèles et algorithmes pour la traduction automatique
by: Veillon, Gérard
Published: (1970)

Le test haute résolution de circuits imprimés nus
by: Vaucher, Christophe
Published: (1993)

Nouvelles techniques de déduction automatiques en logiques polyvalentes finies et infinies du premier ordre
by: Zabel, Nicolas
Published: (1993)

Métaheuristiques : Stratégies pour l'optimisation de la production de biens et de services.
by: Sevaux, Marc
Published: (2004)

Évaluation de l'impact des facteurs émotionnels lors d'interactions physiques entre humains réels et virtuels
by: Perrinet, Jonathan
Published: (2013)

Outils d'aide à la décision dans le test de systèmes logiques
by: Mili, Ali
Published: (1978)

La Notion de demi-bande : étude algébrique et applications aux automates asynchrones
by: Mayr, Heinrich C.
Published: (1974)

Réalisation de systèmes séquentiels asynchrones par interconnexion simple de cellules séquentielles identiques
by: David, René
Published: (1969)

Théorie des treillis en vue des applications
by: Boulaye, Guy
Published: (1970)

Modélisation statistique et probabiliste du TEMPS INTER-VEHICULAIRE aux différents niveaux de trafic
by: Ha, Duy-H
Published: (2011)

Contribution à la documentation automatique dans le domaine des mathématiques appliquées
by: Verdillon, Agnès
Published: (1962)

Vers une programmation systématique : étude de quelques méthodes, techniques et outils
by: Scholl, Pierre-Claude
Published: (1979)

Contribution au test des circuits intégrés logiques
by: Caillat, Jacques
Published: (1976)

Sur les fonctions logiques permutantes
by: Pastel, Anne-Marie
Published: (1971)

Contribution à la conception assistée par calculateur des systèmes logiques
by: Deschizeaux, P.
Published: (1971)

Contribution à l'étude d'un agent rationnel : spécification en logique intentionnelle et implantation
by: Muller, Jean-Pierre
Published: (1987)

Transduction d'arborescences : application aux manipulations de formules sur ordinateur
by: Chauché, Jacques
Published: (1971)

Outils théoriques de la chronobiologie et de la chronomédecine
by: Demongeot, Jacques
Published: (1978)

Utilisation de l'algèbre de Boole en logique mathématique
by: Dupraz, Mireille
Published: (1966)

Temps Logique pour l'ingénierie dirigée par le modèles
by: Mallet, Frédéric
Published: (2010)

Système multimicroprocesseur pour la commande automatique
by: Olaiwan, Ziad
Published: (1979)

CAO : Une aide graphique à la modélisation des systèmes dynamiques
by: Rascle, J.-Lucien
Published: (1980)

Définition du langage CASSANDRE : pour la conception aidée et la simulation des systèmes logiques, leur analyse, description et réalisation
by: Mermet, Jean
Published: (1970)

Modélisation des dépendances fonctionnelles pour l'analyse des risques de niveau avion.
by: Maitrehenry, S.
Published: (2013)

Modèles pour la création interactive intuitive
by: Bernhardt, Adrien
Published: (2013)

Placement automatique de circuits intégrés
by: Chotin, Eric
Published: (1992)

Outils de CAO et conception structurée de systèmes intégrés sur siliciu
by: Rougeaux, François-René
Published: (1987)

Machines spécialisées et programmation en logique
by: Berger Sabbatel, Gilles
Published: (1988)

Pour une généralisation des systèmes C.A.O : approche et applications
by: David, Bohuslav
Published: (1975)