Operating Systems
Proceedings of an International Symposium held at Rocquencourt, April 23¿25, 1974
Herausgegeben:Gelenbe, E.; Kaiser, C.
Operating Systems
Proceedings of an International Symposium held at Rocquencourt, April 23¿25, 1974
Herausgegeben:Gelenbe, E.; Kaiser, C.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Proceedings of an International Symposium held at Rocquencourt April 2325 1974.
Andere Kunden interessierten sich auch für
- M. J. FlynnOperating Systems39,99 €
- Jean AndrewsComptia A+ Core 2 Exam: Guide to Operating Systems and Security, Loose-Leaf Version108,99 €
- Biologically Inspired Cooperative Computing74,99 €
- Yi Pan / Franz J. Rammig / Hartmut Schmeck / Mauricio Solar (eds.)Biologically Inspired Cooperative Computing119,99 €
- Time-Scale Modeling of Dynamic Networks with Applications to Power Systems39,99 €
- R. SaeksResolution Space, Operators and Systems77,99 €
- Sam KeyUnix Operating System Success In A day33,99 €
-
-
-
Produktdetails
- Produktdetails
- Lecture Notes in Computer Science 16
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-06849-5
- 1981.
- Seitenzahl: 324
- Erscheinungstermin: 1. Januar 1981
- Englisch, Französisch
- Abmessung: 244mm x 170mm x 18mm
- Gewicht: 560g
- ISBN-13: 9783540068495
- ISBN-10: 354006849X
- Artikelnr.: 39985262
- Lecture Notes in Computer Science 16
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-06849-5
- 1981.
- Seitenzahl: 324
- Erscheinungstermin: 1. Januar 1981
- Englisch, Französisch
- Abmessung: 244mm x 170mm x 18mm
- Gewicht: 560g
- ISBN-13: 9783540068495
- ISBN-10: 354006849X
- Artikelnr.: 39985262
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.
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.