Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974
Author(s)
Bibliographic Information
Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974
(Lecture notes in computer science, 16)
Springer-Verlag, 1974
- : gw
- : us
Available at / 51 libraries
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:16831021920
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: gw510.78/L4972020860278
-
No Libraries matched.
- Remove all filters.
Note
Organized by the Institut de recherche d'informatique et d'automatique
English or French
Includes bibliographical references
Description and Table of Contents
Table of Contents
Correctness of realizations of levels of abstraction in Operating Systems.- A simulation model representing the OS/VS2 Release 2 Control Program.- Une analyse de systeme par typologie.- Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system.- The specification of process synchronization by path expressions.- A foreground-background time sharing queue with general service times.- Espace d'adressage et espace d'execution du systeme gemau.- A new approach to avoidance of system deadlocks.- A program structure for error detection and recovery.- Analyse de quelques pannes d'un systeme d'exploitation.- An open operating system for a single-user machine.- Evaluation sur des modeles de comportement de programme de la taille d'un ensemble de travail.- Schedulers as enforces in synchronization processes.- Caracterisation fonctionnelle des systemes de fichiers.- Presentation of the control graph models.- The Edinburgh Multi-Access System scheduling and allocation procedures in the resident supervisor.
by "Nielsen BookData"