Title Operating systems proceedings of an international symposium held at Rocquencourt, April 23-25, 1974. Edited by E. Gelenbe and C. Kaiser

Published Berlin, New York, Springer-Verlag, 1974

Click on the following:
Springer eBooks

Copies

Description 1 online resource (310 pages) illustrations Series Lecture notes in computer science, no. 16 Lecture notes in computer science ; 16. 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 Notes Organized by the Institut de recherche d'informatique et d'automatique English or French Bibliography Includes bibliographical references Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL Text in English and French digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Print version record Subject Electronic digital computers -- Congresses Computer programming -- Congresses Computer programming Electronic digital computers Besturingssystemen. Genre/Form Conference papers and proceedings Form Electronic book Author Gelenbe, Erol, 1945- editor. Kaiser, C. (Claude), editor. Institut de recherche d'informatique et d'automatique. ISBN 9783540378051 3540378057

  Permalink