Operating systems : proceedings of an international symposium held at Rocquencourt, April 23-25, 1974
著者
書誌事項
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
大学図書館所蔵 件 / 全50件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Organized by the Institut de recherche d'informatique et d'automatique
English or French
Includes bibliographical references
内容説明・目次
目次
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.
「Nielsen BookData」 より