Operating Systems: Proceedings Of An International Symposium Held At Rocquencourt, April 23-25, 1974 (Lecture Notes In Computer Science) (English And ... at Rocquencourt, April 23–25, 1974: 16 - Brossura

Brossura

ISBN 10: 354006849X ISBN 13: 9783540068495

Casa editrice: Springer, 1981

Riassunto

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

Su questo libro

Contenuti

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 1981
• Lingua: Inglese
• ISBN 10: 354006849X
• ISBN 13: 9783540068495
• Rilegatura: Copertina flessibile
• Numero di pagine: 324
• Redattore: Gelenbe E.
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania