Produktbild: Operating Systems

Operating Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Proceedings of an International Symposium held at Rocquencourt, April 23-25,1974, , Engl/frz, Lecture Notes in Computer Science 16

ISBN: 354006849X
ISBN 13: 9783540068495
Herausgeber: E Gelenbe/C Kaiser
Verlag: Springer Verlag GmbH
Umfang: viii, 310 S., 20 s/w Illustr., 310 p. 20 illus.
Erscheinungsdatum: 01.01.1981
Auflage: 1/1981
Produktform: Kartoniert
Einband: Kartoniert

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

Artikelnummer: 5968297 Kategorie:

Beschreibung

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …