


default search action
Symposium on Operating Systems 1974: Rocquencourt, France
- Erol Gelenbe, Claude Kaiser:

Operating Systems, Proceedings of an International Symposium held at Rocquencourt, France, April 23-25, 1974. Lecture Notes in Computer Science 16, Springer 1974, ISBN 3-540-06849-X - Gérald Belpaire, Jean Pierre Wilmotte:

Correctness of realizations of levels of abstraction in operating systems. 1-15 - Thomas Beretvas:

A simulation model representing the OS/VS2 release 2 control program. 15-29 - Alexandre Brandwajn:

Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system. 56-88 - Roy H. Campbell, A. Nico Habermann:

The specification of process synchronization by path expressions. 89-102 - Célio Guimarães:

A foreground- background time sharing queue with general service times. 103-125 - Serge Guiboud-Ribaud, J. Briat:

Espace d'adressage et espace d'exécuteion du systeème Gemau. 126-162 - A. Nico Habermann:

A new approach to avoidance of system deadlocks. 163-170 - James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell:

A program structure for error detection and recovery. 171-187 - Claude Kaiser, Sacha Krakowiak:

Analyse de quelques pannes d'un systeème d'exploitation. 188-207 - Butler W. Lampson:

An open operating system for a single-user machine. 208-217 - Jacques Lenfant:

Evaluation sur des modèles de comportement de programme de la taille d'un ensemble de travail. 218-236 - Richard J. Lipton:

Schedulers as enforces in synchronization. 237-256 - Christine Parent:

Caractérisation fonctionelle des systèmes de fichiers. 257-278 - Michel Parent:

Presentation of the control graph models. 279-292 - N. H. Shelness, P. D. Stephens, Harry Whitfield:

The Edinburgh multi-access system scheduling and allocation procedures in the resident supervisor. 293-310

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














