Partition syntaxique d'un système logique décrit en CASSANDRE

Partition syntaxique d'un système logique décrit en CASSANDRE

.

Bibliographic Details
Main Author:	Liddell, Patrick
Language:	FRE
Published:	1970
Subjects:	[INFO:INFO_NI] Computer Science/Networking and Telecommunication CASSANDRE système logique programmation système conversationnel
Online Access:	http://tel.archives-ouvertes.fr/tel-00009474 http://tel.archives-ouvertes.fr/docs/00/04/81/30/PDF/tel-00009474.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)

Utilisation du langage CASSANDRE pour la conception des machines microprogrammées
by: De Polignac, Karen
Published: (1973)

Le traitement des commandes dans une partition conversationnelle Fortran sur IRIS 50
by: Chupin, Jean-Claude
Published: (1971)

Etude et réalisation d'un système algol conversationnel
by: Verjus, Jean-Pierre
Published: (1968)

Logiques pour les systèmes temporisés : contrôle et expressivité
by: Chevalier, Fabrice
Published: (2007)

Espaces virtuels et gestion de fichiers
by: De Lamberterie, Xavier
Published: (1973)

A propos de la simulation d'un système informatique
by: Boksenbaum, Claude
Published: (1975)

Application des graphes de programme à l'optimisation d'un modèle destiné à mesurer les performances d'un système d'exploitation
by: Lepeuve Martine,
Published: (1973)

Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones
by: Travers, Corentin
Published: (2007)

Méthodes dissuasives contres les utilisateurs malhonnêtes dans les systèmes répartis
by: Huguenin, Kévin
Published: (2010)

Un mécanisme d'ordonnancement distribué de tâches temps réel
by: Baccouche, Leila
Published: (1995)

CIRCUS, un générateur de composants pour le traitement des langages visuels et textuels
by: Vion-Dury, Jean-Yves
Published: (1999)

Correction séquentielle de programmes parallèles dans le modèle asynchrone et mémoire partagée
by: Salset, Thierry
Published: (1997)

Analyse de performance et de stabilité des réseaux de télécommunication
by: Junier, Aurore
Published: (2013)

La mise au point de système de programmation grâce à un couplage de machines virtuelles
by: Lefèvre, Patrick
Published: (1972)

Conception et exploitation d'une base de métadonnées de traitements informatiques, représentation opérationnelle des connaissances d'expert -- Application au domaine géographique
by: Abd-El-Kader, Yann
Published: (2006)

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

Logiques pour XML
by: Genevès, Pierre
Published: (2006)

Outils de mise au point pour langages de haut niveau : association de modules et contrôle de l'exécution
by: Savary, Henri
Published: (1973)

Intégration d'une contrainte logique dans les problèmes de contrôle optimal et résolution par la programmation mixte
by: Preda, Dorin
Published: (2004)

Mécanisme de base dans les systèmes superviseurs : Conception et réalisation d'un système à accès multiples
by: Bellino, Jacques
Published: (1973)

Accès à l'information répartie : adressage et protection
by: Hagimont, Daniel
Published: (1998)

Un outil de recherche en système : application à la gestion des ressources
by: Maillot, Bernard
Published: (1978)

Un outil de recherche en système - le modèle de décomposition
by: Vatton, Irène
Published: (1978)

Conception de réseaux haut débit sous contrainte de sécurisation
by: Truffot, Jérôme
Published: (2007)

Sur la modélisation des réseaux de communication sans fil en utilisant les processus ponctuels non-poisson
by: Nguyen, Tien Viet
Published: (2013)

Optimisation de la signalisation dans la gestion de la mobilité IPv6
by: Mutaf, Pars
Published: (2004)

De la mobilité à la sécurité des réseaux
by: Castelluccia, Claude
Published: (2008)

Modèle d'Administration des Systèmes Distribués à Base de Composants
by: Al Masri, Nada
Published: (2005)

Propriétés de correction séquentielle dans un langage parallèle à mémoire partagée
by: Caplain, Gilbert
Published: (1998)

Spécification et validation de systèmes en Xesar
by: Rodriguez, Carlos
Published: (1988)

Virtualisation des réseaux : performance, partage et applications
by: Fabienne, Anhalt
Published: (2011)

Modélisation et analyse temporelle par réseaux de Petri et logique linéaire
by: Riviere, Nicolas
Published: (2003)

Techniques de Transmission Multipoint de Niveau Applicatif pour l'Internet
by: El-Sayed, Ayman
Published: (2004)

La sécurité des systèmes de coordonnées Internet
by: Kaafar, Mohamed Ali
Published: (2007)

Amélioration des expérimentations sur réseaux sans fil
by: Dujovne, Diego Roberto
Published: (2009)

Optimisation de la réexpédition de paquets dans les routeurs best-effort
by: Ruiz Sánchez, Miguel Ángel
Published: (2003)

Spécialisation tardive de systèmes Java embarqués pour petits objets portables et sécurisés
by: Courbot, Alexandre
Published: (2006)

Conception modulaire des systèmes d'exploitation - Méthode et exemple d'application
by: Montuelle, Jean
Published: (1977)

Cannot write session to /tmp/vufind_sessions/sess_65kosn22f6gni5smc94us0un9k