Symposium on Operating Systems 1974: Rocquencourt, France
Erol Gelenbe, Claude Kaiser (Eds.): Operating Systems, Proceedings of an International Symposium held at Rocquencourt, April 23-25, 1974. Springer 1974 Lecture Notes in Computer Science ISBN 3-540-06849-X- Gerald Belpaire, J. R. 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. Guimaraes: 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team