Utilisation du langage CASSANDRE pour la conception des machines microprogrammées

Utilisation du langage CASSANDRE pour la conception des machines microprogrammées

.

Bibliographic Details
Main Author:	De Polignac, Karen
Language:	FRE
Published:	1973
Subjects:	[INFO:INFO_OH] Computer Science/Other CASSANDRE langage machine microprogrammé programmation opérateurs logiques
Online Access:	http://tel.archives-ouvertes.fr/tel-00010410 http://tel.archives-ouvertes.fr/docs/00/04/85/40/PDF/tel-00010410.pdf

Similar Items

Etude méthodologique de la conception assistée par ordinateur des systèmes logiques : CASSANDRE
by: Mermet, Jean
Published: (1973)

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)

Partition syntaxique d'un système logique décrit en CASSANDRE
by: Liddell, Patrick
Published: (1970)

Langages reconnaissables de mots indexés par des ordinaux
by: Bedon, Nicolas
Published: (1998)

Conception et compilation d'un langage pour l'écriture de cours
by: Bellissant, Camille
Published: (1970)

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)

Expressivité, satisﬁabilité et model checking d'une logique spatiale pour arbres non ordonnés
by: Boneva, Iovka
Published: (2006)

Conception d'un Cadre Formel d'Interaction pour la Découverte Scientifique Computationelle
by: Dartnell, Christopher
Published: (2008)

Langages modernes pour la modélisation et la vérification des systèmes asynchrones
by: Thivolle, Damien
Published: (2011)

Modèles de langage ad hoc pour la reconnaissance automatique de la parole
by: Oger, Stanislas
Published: (2011)

Propriétés de jeux multi-agents
by: Da Costa Lopes, Arnaud
Published: (2011)

Verification de programmes avec pointeurs a l'aide de regions et de permissions.
by: Bardou, Romain
Published: (2011)

Programmer le parallélisme avec des futures en Heptagon un langage synchrone flot de données et étude des réseaux de Kahn en vue d'une compilation synchrone
by: Gérard, Léonard
Published: (2013)

TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme
by: Pietrek, Artur
Published: (2012)

Analyse des pointeurs pour le langage C
by: Mensi, Amira
Published: (2013)

Méthodes logico-numériques pour la vérification des systèmes discrets et hybrides
by: Schrammel, Peter
Published: (2012)

Les Types génériques : propositions pour un mécanisme d'abstraction dans les langages de programmation
by: Jacquet, Paul
Published: (1978)

Langages et transformation de modèles en programmation par contraintes
by: Soto, Ricardo
Published: (2009)

Modélisation du langage à l'aide de pénalités structurées
by: Nelakanti, Anil Kumar
Published: (2014)

Cadre fondé sur les modèles pour une utilisation avancée de la théorie de l'ordonnancement dans la conception des systèmes temps réel
by: Ouhammou, Yassine
Published: (2013)

Etude d'une structure de multiprocesseur virtuel : application à un réseau d'opérateurs adapté au traitement du signal
by: Mitrani Abenchuchan, Enrique
Published: (1975)

Précédence, analyse syntaxique et langages de programmation
by: Colmerauer, Alain
Published: (1967)

Notation et processus de traduction des langages symboliques
by: Bolliet, Louis
Published: (1967)

Automates d'arbres à jetons
by: Samuelides, Mathias
Published: (2007)

Contribution à l'amélioration des techniques de la programmation génétique
by: El Gerari, Oussama
Published: (2011)

The versatility of using explanations within constraint programming
by: Jussien, Narendra
Published: (2003)

Un modèle de transition logico-matérielle pour la simplification de la programmation parallèle
by: Li, Chong
Published: (2013)

Fondations logiques des jeux à information imparfaite : stratégies uniformes
by: Maubert, Bastien
Published: (2014)

Une approche générique de modélisation spatiale et temporelle : application à la modélisation de la dynamique des paysages
by: Degenne, Pascal, et al.
Published: (2012)

Langage de modélisation spécifique au domaine pour les architectures logicielles auto-adaptatives
by: Křikava, Filip
Published: (2013)

Utilisation du modèle polyédrique pour la synthèse d'architectures pipelinées
by: Morvan, Antoine
Published: (2013)

Vers un langage synchrone sûr et securisé
by: Attar, Pejman
Published: (2013)

Support langage et système pour l'administration autonome
by: Broto, Laurent
Published: (2008)

Techniques d'intervalles pour la résolution de systèmes d'équations
by: Chabert, Gilles
Published: (2007)

BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms
by: Fortin, Jean
Published: (2013)

MASL, langage de contrôle multi-agents robotiques
by: Dubois, Michel
Published: (2008)

Machine PASC-HLL : réalisation avec des micro-processeurs en tranches d'une unité centrale multiprocesseur adaptée au langage PASCAL
by: Baille, Gérard
Published: (1983)

Programmer, calculer et raisonner avec les réseaux de la Logique Linéaire
by: Gimenez, Stéphane
Published: (2009)

Hybrid and Anonymous File-Sharing Environments: Architecture and Characterisation
by: Timpanaro, Juan Pablo
Published: (2013)

Approche langage au développement du support protocolaire d'applications réseaux
by: Burgy, Laurent
Published: (2008)