Construction de sous-systèmes utilisant une machine abstraite. Réalisation autour du noyau GEMAU

Construction de sous-systèmes utilisant une machine abstraite. Réalisation autour du noyau GEMAU

.

Bibliographic Details
Main Author:	Laforgue, Pierre
Language:	FRE
Published:	1975
Subjects:	[INFO:INFO_NI] Computer Science/Networking and Telecommunication système machine abstraite GEMAU sous-système noyau programmation compilation système d'exploitation OS/360 machine idéale CII 10070 IRIS 80 IRIS
Online Access:	http://tel.archives-ouvertes.fr/tel-00008379 http://tel.archives-ouvertes.fr/docs/00/04/76/86/PDF/tel-00008379.pdf

Similar Items

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

ParObj : un noyau de système parallèle à objets
by: Menneteau, Francois
Published: (1993)

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)

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)

Méthodes pour l'écriture des systèmes d'exploitation
by: Mossière, Jacques
Published: (1977)

Système interactif dans un environnement réseau - connexion d'une machine à mémoire virtuelle IBM 360-67 au réseau CYCLADES
by: Ansart, Jean-Pierre
Published: (1976)

Entrées/Sorties dans les système d'exploitation
by: Finet, Luc
Published: (1973)

XCP : un environnement graphique conversationnel pour l'examen des structures d'un système , application à CP-67
by: Nguyen, Thanh Thi
Published: (1973)

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)

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)

Analyse des systèmes mobiles par interprétation abstraite.
by: Feret, Jérôme
Published: (2005)

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)

Protection dans les architectures de systèmes flexibles
by: Rippert, Christophe
Published: (2003)

Un outil de recherche en système informatique : principes et bilan du projet OURS
by: Tarabout, Alain
Published: (1978)

Domaines numériques abstraits faiblement relationnels
by: Miné, Antoine
Published: (2004)

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

Processus cyclique et appel procédural
by: Estublier, Jacky
Published: (1978)

Simulation abstraite : une analyse statique de modèles Simulink
by: Chapoutot, Alexandre
Published: (2008)

THINK : vers une architecture de systèmes flexibles
by: FASSINO, Jean-Philippe
Published: (2001)

Conception modulaire de système d'exploitation - Outils pour la programmation modulaire
by: Lucas, Martine
Published: (1977)

Outils transportables d'aide à la réalisation d'un compilateur de langage de commande réseau
by: El Sanhoury, Kadria
Published: (1976)

Les entrées-sorties dans les architectures massivement parallèles
by: Castro, Harold
Published: (1995)

Analyse statique par interprétation abstraite de systèmes hybrides.
by: Bouissou, Olivier
Published: (2008)

Conception et construction de noyaux de systèmes opératoires
by: Rousset De Pina, Xavier
Published: (1993)

Conception et réalisation d'un noyau d'administration d'un système réparti à objets persistants
by: Oueichek, Ibaa
Published: (1996)

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)

Analyse de programmes probabilistes par interprétation abstraite
by: Monniaux, David
Published: (2001)

PARX : architecture de noyau de système d'exploitation parallèle
by: Langue Tsobgny, Yves Bertrand
Published: (1991)

Système et réseaux informatiques : fonctions frontales dans un environnement reparti bati sur un réseau
by: Cart, Michèle
Published: (1979)

Mécanisme d'adressage et de protection dans les systèmes informatiques
by: Guiboud-Ribaud, Serge
Published: (1975)

Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits
by: Garnacho, Manuel
Published: (2010)

Analyse statique par interprétation abstraite de programmes concurrents
by: Miné, Antoine
Published: (2013)

Equité d'accès aux ressources dans les systèmes partagés best-effort
by: Goichon, François
Published: (2013)

Conception d'un service de communication pour systèmes d'exploitation distribués pour grappes de calculateurs: mise en oeuvre dans le système à image unique Kerrighed
by: Gallard, Pascal
Published: (2004)

Projet SOCRATE - (8) Structure d'un système d'exploitation adapté à la base de données
by: Mazaré, Guy
Published: (1973)

Modélisation, conception et réalisation de systèmes répartis
by: Duda, Andrzej
Published: (1994)

Développement et réalisation d'un simulateur de machines à états abstraits temps-réel et model-checking de formules d'une logique des prédicats temporisée du premier ordre
by: Vassiliev, Pavel
Published: (2008)

Contributions à l'étude de la dérivation des expressions rationnelles et à l'étude des systèmes de numération abstraits
by: Angrand, Pierre-Yves
Published: (2012)

Cannot write session to /tmp/vufind_sessions/sess_jap5lf9eufvvcrp4vioq1ku1qe