Willkommen, schön sind Sie da!
Logo Ex Libris

Operating Systems

  • Kartonierter Einband
  • 324 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
InhaltCorrectness of realizations of levels of abstraction in Operating Systems.- A simulation model representing the OS/VS2 Relea... Weiterlesen
20%
115.00 CHF 92.00
Sie sparen CHF 23.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt
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.

Produktinformationen

Titel: Operating Systems
Untertitel: Proceedings of an International Symposium held at Rocquencourt, April 23-25, 1974
Editor:
EAN: 9783540068495
ISBN: 354006849X
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Anzahl Seiten: 324
Gewicht: 562g
Größe: H244mm x B170mm x T17mm
Jahr: 1981
Untertitel: Englisch, Französisch

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"