Un compilateur de microprogrammes

Un compilateur de microprogrammes

.

Bibliographic Details
Main Author:	Guyot, Alain
Language:	FRE
Published:	1975
Subjects:	[INFO:INFO_MO] Computer Science/Modeling and Simulation programmation microprogrammation EDSAC II calculateur compilation compilateur mémoire de contrôle assembleur simulateur
Online Access:	http://tel.archives-ouvertes.fr/tel-00285903 http://tel.archives-ouvertes.fr/docs/00/28/59/03/PDF/These_Guyot.Alain_1975.pdf

Similar Items

Optimisation d'un compilateur incrémental et conversationnel de PL/I
by: Bruandet, Marie-Françoise
Published: (1976)

Une généralisation de la notion d'automate et applications
by: Depeyrot, Michel
Published: (1975)

Analyse déterministe et compilateurs
by: Griffiths, Michael
Published: (1969)

Conception descendante de machine informatique : étude et définition du langage intermédiaire et d'une machine formelle multiprocesseurs orientée vers l'exécution du langage PASCAL
by: Fortier, Robert
Published: (1975)

Extensions syntaxiques dans un contexte LL(1)
by: Vidart, Jorge
Published: (1974)

Méthodologie d'écriture de compilateurs - une expérience du langage ALGOL 68
by: Cunin, Pierre-Yves, et al.
Published: (1976)

Simulation d'un système conversationnel
by: Coutaz, Joëlle
Published: (1970)

Propositions pour un langage d'écriture de programmes répartis. Expression du contrôle de la communication entre processus distribués
by: Guillot, Jean-Michel
Published: (1979)

Compilateur de parties contrôle de microprocesseurs
by: Mhaya, Noureddine
Published: (1988)

Etude d'un calculateur tolérant des pannes, ses fiabilité, sécurité, performance et coût
by: Courtois, Bernard
Published: (1976)

La Programmation générique : construction de logiciel, spécification algébrique et vérification
by: Bert, Didier
Published: (1979)

Travaux de statistique
by: Niango, Donatien
Published: (1978)

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

MAS : réalisation d'un langage d'aide à la description et à la conception des systèmes logiques
by: Zachariades, Marianthi
Published: (1977)

IRENE : un langage pour la description, simulation et synthèse automatique du matériel VLSI
by: Marine, Souheil
Published: (1986)

Calculateurs arithmétiques en temps réel
by: Thellier, Pierre
Published: (1962)

Contribution à la compilation de silicium et au compilateur SYCO
by: Jerraya, A.A.
Published: (1989)

Résolution numérique de problèmes en contrôle optimal a évolution linéaire et critère quadratique
by: Durand, André
Published: (1968)

Génération automatique de parties opératives de circuits VLSI de type microprocesseur
by: Jamier, Robert
Published: (1986)

Conception de parties contrôles de circuits VLSI : application au coprocesseur arithmétique FELIN
by: Zysman, Eytan
Published: (1988)

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

SILICIEL : Contributions à l'architecture des cicuits intégrés at à la compilation du silicium
by: Schoellkopf, Jean-Pierre
Published: (1985)

Un modèle relationnel et une architecture pour les systèmes de bases de données réparties : application au projet Polypheme
by: Adiba, Michel
Published: (1978)

Un langage de description et de programmation de systèmes de conduite de procédés industriels
by: Pleyber, Joël
Published: (1978)

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

Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes
by: Cousot, Patrick
Published: (1978)

Utilisation des modes directionnels dans la résolution
by: Oudot, Olivier
Published: (1987)

Synthèse logique à base de règles pour les compilateurs de silicium
by: Hanriat, Stéphane
Published: (1986)

Sur la description et la vérification de processeurs microprogrammables
by: Ruiz De Olano Y Ruiz De Larrea, Alberto
Published: (1977)

SSH : un outil et des techniques simples à implémenter pour construire et simuler des modèles hiérarchisés de systèmes
by: Rohmer, Jean
Published: (1976)

Méthodes de synthèse optimisée pour compilateurs de silicium
by: Poirot, Franck
Published: (1990)

Un algorithme pour l'ordonnancement de tâches temps-réel sur des ressources non-préemptives
by: Jorry, Alain
Published: (1976)

Contribution à l'étude des mécanismes de traduction des langages de programmation : application au traitement des structures définies dynamiquement
by: Trilling, Laurent
Published: (1967)

Le Projet MACSI - 1
by: De Chelminski, Alfred
Published: (1975)

Détection des valeurs aberrantes dans un échantillon gaussien multidimensionnel
by: Garel, Bernard
Published: (1976)

Les circuits intégrés de communication de données‎ : architecture et méthodologie de conception
by: Nguyen-Xuan-Dang, Michel
Published: (1988)

Optimisation et compromis surface-vitesse dans le compilateur de silicium SYCO
by: Bekkara, Nourouddine
Published: (1987)

Langages analysables de gauche à droite, construction d'un analyseur pour langages LR (1)
by: Courtin, Jacques
Published: (1968)

LASCAR : un langage pour la simulation et l'évaluation des architectures d'ordinateurs
by: Borrione, Dominique
Published: (1976)

Détermination automatique de relations linéaires vérifiées par les variables d'un programme
by: Halbwachs, Nicolas
Published: (1979)