Operating Systems: Proceedings of an International Symposium held at Rocquencourt, April 23–25, 1974 [1 ed.] 354006849X, 9783540068495 [DJVU]

154 49 3MB

English-French Pages 310 [319] Year 1974

Report DMCA / Copyright

DOWNLOAD DJVU FILE

Table of contents :
Correctness of realizations of levels of abstraction in Operating Systems....Pages 1-14
A simulation model representing the OS/VS2 Release 2 Control Program....Pages 15-29
Une analyse de systeme par typologie....Pages 30-55
Equivalence and decomposition methods with application to a model of a time-sharing virtual memory system....Pages 56-88
The specification of process synchronization by path expressions....Pages 89-102
A foreground-background time sharing queue with general service times....Pages 103-125
Espace d'adressage et espace d'exécution du systeme gemau....Pages 126-162
A new approach to avoidance of system deadlocks....Pages 163-170
A program structure for error detection and recovery....Pages 171-187
Analyse de quelques pannes d'un systeme d'exploitation....Pages 188-207
An open operating system for a single-user machine....Pages 208-217
Evaluation sur des modeles de comportement de programme de la taille d'un ensemble de travail....Pages 218-236
Schedulers as enforces in synchronization processes....Pages 237-256
Caractérisation fonctionnelle des systemes de fichiers....Pages 257-278
Presentation of the control graph models....Pages 279-292
The Edinburgh Multi-Access System scheduling and allocation procedures in the resident supervisor....Pages 293-310

Operating Systems: Proceedings of an International Symposium held at Rocquencourt, April 23–25, 1974 [1 ed.] 354006849X, 9783540068495 [DJVU]

  • 0 0 0
  • Gefällt Ihnen dieses papier und der download? Sie können Ihre eigene PDF-Datei in wenigen Minuten kostenlos online veröffentlichen! Anmelden
Papiere empfehlen
Dynamical Systems—Warwick 1974: Proceedings of a Symposium Held at the University of Warwick 1973/74 [1 ed.] 9780387071848, 0-387-07184-9
Dynamical Systems—Warwick 1974: Proceedings of a Symposium Held at the University of Warwick 1973/74 [1 ed.] 9780387071848, 0-387-07184-9

105 16 3MB Read more

Differential Geometry: Proceedings of the International Symposium held at Peñíscola, Spain, October 3–10, 1982 [1 ed.] 9783540128823, 3540128824
Differential Geometry: Proceedings of the International Symposium held at Peñíscola, Spain, October 3–10, 1982 [1 ed.] 9783540128823, 3540128824

111 74 1MB Read more

Function Theoretic Methods for Partial Differential Equations: Proceedings of the International Symposium Held at Darmstadt, Germany, April 12–15, 1976 [1 ed.] 9780387080543, 0-387-08054-6
Function Theoretic Methods for Partial Differential Equations: Proceedings of the International Symposium Held at Darmstadt, Germany, April 12–15, 1976 [1 ed.] 9780387080543, 0-387-08054-6

131 121 4MB Read more

Function Theoretic Methods for Partial Differential Equations: Proceedings of the International Symposium Held at Darmstadt, Germany, April 12–15, 1976 [1 ed.] 9783540080541, 3540080546
Function Theoretic Methods for Partial Differential Equations: Proceedings of the International Symposium Held at Darmstadt, Germany, April 12–15, 1976 [1 ed.] 9783540080541, 3540080546

103 85 3MB Read more

Spline Functions: Proceedings of an International Symposium Held at Karlsruhe, Germany, May 20–23, 1975 [1 ed.] 9780387075433, 0-387-07543-7
Spline Functions: Proceedings of an International Symposium Held at Karlsruhe, Germany, May 20–23, 1975 [1 ed.] 9780387075433, 0-387-07543-7

115 76 2MB Read more

Spline Functions: Proceedings of an International Symposium Held at Karlsruhe, Germany, May 20–23, 1975 [1 ed.] 9780387075433, 0-387-07543-7
Spline Functions: Proceedings of an International Symposium Held at Karlsruhe, Germany, May 20–23, 1975 [1 ed.] 9780387075433, 0-387-07543-7

126 112 2MB Read more

Differential Topology and Geometry: Proceedings of the Colloquium Held at Dijon, 17–22 June, 1974 [1 ed.] 9780387074054, 0387074058
Differential Topology and Geometry: Proceedings of the Colloquium Held at Dijon, 17–22 June, 1974 [1 ed.] 9780387074054, 0387074058

98 89 2MB Read more

Topology Symposium Siegen 1979: Proceedings of a Symposium Held at the University of Siegen, June 14–19, 1979 [1 ed.] 9780387099682, 0-387-09968-9
Topology Symposium Siegen 1979: Proceedings of a Symposium Held at the University of Siegen, June 14–19, 1979 [1 ed.] 9780387099682, 0-387-09968-9

113 41 3MB Read more

Geometric Dynamics: Proceedings of the International Symposium held at the Instituto de Matématica Pura e Aplicada Rio de Janeiro, Brasil, July – August 1981 [1 ed.] 9780387123363, 0387123369
Geometric Dynamics: Proceedings of the International Symposium held at the Instituto de Matématica Pura e Aplicada Rio de Janeiro, Brasil, July – August 1981 [1 ed.] 9780387123363, 0387123369

103 46 5MB Read more

Differential Geometry Peñíscola 1985: Proceedings of the 2nd International Symposium held at Peñíscola, Spain, June 2–9, 1985 [1 ed.] 354016801X, 9783540168010
Differential Geometry Peñíscola 1985: Proceedings of the 2nd International Symposium held at Peñíscola, Spain, June 2–9, 1985 [1 ed.] 354016801X, 9783540168010

117 45 1MB Read more

Our partners will collect data and use cookies for ad personalization and measurement. Learn how we and our ad partner Google, collect and use data. Agree Cookies