Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974

Bibliographic Information

Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974

edited by E. Gelenbe and C. Kaiser

(Lecture notes in computer science, 16)

Springer-Verlag, 1974

  • : gw
  • : us

Available at  / 52 libraries

Search this Book/Journal

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"

Related Books: 1-1 of 1

Details

Page Top