Symposium on Operating Systems

Keyphrases

Publications

1974

Jacques Lenfant
Evaluation sur des modèles de comportement de programme de la taille d'un ensemble de travail. Symposium on Operating Systems (1974)
A. Nico Habermann
A new approach to avoidance of system deadlocks. Symposium on Operating Systems (1974)
Gérald Belpaire, Jean Pierre Wilmotte
Correctness of realizations of levels of abstraction in operating systems. Symposium on Operating Systems (1974)
Michel Parent
Presentation of the control graph models. Symposium on Operating Systems (1974)
Claude Kaiser, Sacha Krakowiak
Analyse de quelques pannes d'un systeème d'exploitation. Symposium on Operating Systems (1974)
C. Guimaraes
A foreground- background time sharing queue with general service times. Symposium on Operating Systems (1974)
Alexandre Brandwajn
Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system. Symposium on Operating Systems (1974)
Butler W. Lampson
An open operating system for a single-user machine. Symposium on Operating Systems (1974)
Serge Guiboud-Ribaud, J. Briat
Espace d'adressage et espace d'exécuteion du systeème Gemau. Symposium on Operating Systems (1974)
James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell
A program structure for error detection and recovery. Symposium on Operating Systems (1974)
N. H. Shelness, P. D. Stephens, Harry Whitfield
The Edinburgh multi-access system scheduling and allocation procedures in the resident supervisor. Symposium on Operating Systems (1974)
Christine Parent
Caractérisation fonctionelle des systèmes de fichiers. Symposium on Operating Systems (1974)
Richard J. Lipton
Schedulers as enforces in synchronization. Symposium on Operating Systems (1974)
Roy H. Campbell, A. Nico Habermann
The specification of process synchronization by path expressions. Symposium on Operating Systems (1974)
Thomas Beretvas
A simulation model representing the OS/VS2 release 2 control program. Symposium on Operating Systems (1974)

volume 16, 1974

Operating Systems, Proceedings of an International Symposium held at Rocquencourt, France, April 23-25, 1974 Symposium on Operating Systems 16 (1974)