Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOperating Systems Review, Volume 16, 1982
Volume 16, Number 1, January 1982
- Richard C. Holt:
TUNIS: A UNIX Look-Alike Written in Concurrent Euclid (Abstract). 4-5 - S. P. Rana:
Triple-Handed Dining Philosophers. 6-9 - Richard M. Weatherly Jr., James F. Leathrum:
Efficient Semaphore Management Using Read/Modify/Write Memory Cycles. 10-13 - S. Tucker Taft:
An Object-Based Virtual Operating System For The Ada Programming Support Environment. 14-25 - Dan M. Nessett:
Identifier Protection in a Distributed Operating System. 26-31 - James D. Mooney:
USIM: A User Interface Manager. 32-40
Volume 16, Number 2, April 1982
- H. S. M. Kruijer:
Processor Management in a Concurrent Pascal Kernel. 7-17 - J. Mack Adams, Andrew P. Black:
On Proof Rules for Monitors. 18-27
Volume 16, Number 3, July 1982
- Krishna Kant, Abraham Silberschatz:
On the Generalized Critical Region Construct. 4-16
Volume 16, Number 4, October 1982
- John H. Howard:
Reply to "On Proof Rules for Monitors". 8-9 - John R. Metzner:
Structuring Operating Systems Literature for the Graduate Course. 10-25 - Irving L. Traiger:
Virtual Memory Management for Database Systems. 26-48 - C. Gray Girling:
Object Representation on a Heterogeneous Network. 49-59 - M. E. Harper:
Mutual Exclusion Within Both Software- and Hardware-Driven Kernel Primitives. 60-68
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-07 23:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
