Symposium on Operating Systems 1974: Rocquencourt, France

@proceedings{DBLP:conf/os/1974,
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {Operating Systems, Proceedings of an International Symposium
               held at Rocquencourt, April 23-25, 1974},
  booktitle = {Symposium on Operating Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  year      = {1974},
  isbn      = {3-540-06849-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Gerald Belpaire, J. R. Wilmotte:
  Correctness of realizations of levels of abstraction in operating systems. 1-15
  
• Thomas Beretvas:
  A simulation model representing the OS/VS2 release 2 control program. 15-29
  
• Alexandre Brandwajn:
  Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system. 56-88
  
• Roy H. Campbell, A. Nico Habermann:
  The specification of process synchronization by path expressions. 89-102
  
• C. Guimaraes:
  A foreground- background time sharing queue with general service times. 103-125
  
• Serge Guiboud-Ribaud, J. Briat:
  Espace d'adressage et espace d'exécuteion du systeème Gemau. 126-162
  
• A. Nico Habermann:
  A new approach to avoidance of system deadlocks. 163-170
  
• James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell:
  A program structure for error detection and recovery. 171-187
  
• Claude Kaiser, Sacha Krakowiak:
  Analyse de quelques pannes d'un systeème d'exploitation. 188-207
  
• Butler W. Lampson:
  An open operating system for a single-user machine. 208-217
  
• Jacques Lenfant:
  Evaluation sur des modèles de comportement de programme de la taille d'un ensemble de travail. 218-236
  
• Richard J. Lipton:
  Schedulers as enforces in synchronization. 237-256
  
• Christine Parent:
  Caractérisation fonctionelle des systèmes de fichiers. 257-278
  
• Michel Parent:
  Presentation of the control graph models. 279-292
  
• N. H. Shelness, P. D. Stephens, Harry Whitfield:
  The Edinburgh multi-access system scheduling and allocation procedures in the resident supervisor. 293-310
  

Last update Fri May 25 08:30:15 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page