Operating Systems - Proceedings of an International Symposium held at Rocquencourt, April 23-25, 1974

Proceedings of an International Symposium held at Rocquencourt April 2325 1974.

List 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'exécution 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.- Caractérisation fonctionnelle des systemes de fichiers.- Presentation of the control graph models.- The Edinburgh Multi-Access System scheduling and allocation procedures in the resident supervisor.

Product details

• Assisted by: Gelenbe (Editor), E Gelenbe (Editor), E. Gelenbe (Editor), Kaiser (Editor), Kaiser (Editor), C. Kaiser (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 02.12.2013
• EAN: 9783540068495
• ISBN: 978-3-540-06849-5
• No. of pages: 310
• Weight: 560 g
• Illustrations: VIII, 310 p. 20 illus.
• Series: Lecture Notes in Computer Science; Lecture Notes in Computer Science
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > General, dictionaries