Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sosp/sosp71.bht:"
download as .bib file
@proceedings{DBLP:conf/sosp/1971,
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
publisher = {{ACM}},
year = {1972},
url = {https://doi.org/10.1145/800212},
doi = {10.1145/800212},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/1971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Alsberg71,
author = {Peter Alsberg},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Extensible Data Features in the Operating System Language {OSL/2}},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {31--34},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806496},
doi = {10.1145/800212.806496},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Alsberg71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Baskett71,
author = {Forest Baskett},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {The Dependence of Computer System Queues upon Processing Time Distribution
and Central Processor Scheduling},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {109--113},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806508},
doi = {10.1145/800212.806508},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Baskett71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BobrowBMT71,
author = {Daniel G. Bobrow and
Jerry D. Burchfiel and
Daniel L. Murphy and
Raymond S. Tomlinson},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {TENEX, a Paged Time Sharing System for the {PDP-10} (Abstract)},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {1--10},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806492},
doi = {10.1145/800212.806492},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BobrowBMT71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CoffmanR71,
author = {Edward G. Coffman Jr. and
T. A. Ryan},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {A Study of Storage Partitioning Using a Mathematical Model (Abstract)},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {122--129},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806510},
doi = {10.1145/800212.806510},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/CoffmanR71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/DenningS71,
author = {Peter J. Denning and
Stuart C. Schwartz},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Properties of the Working Set Model (Abstract)},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {130--140},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806511},
doi = {10.1145/800212.806511},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/DenningS71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Easton71,
author = {William B. Easton},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Process Synchronization without Long-Term Interlock},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {95--100},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806505},
doi = {10.1145/800212.806505},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Easton71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/FeiertagO71,
author = {Richard J. Feiertag and
Elliott I. Organick},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {The {MULTICS} Input/Output System},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {35--41},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806497},
doi = {10.1145/800212.806497},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/FeiertagO71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Fontao71,
author = {Rafael O. Fontao},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {A Concurrent Algorithm for Avoiding Deadlocks},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {72--79},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806502},
doi = {10.1145/800212.806502},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Fontao71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Gaines71,
author = {R. Stockton Gaines},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {An Operating System Based on the Concept of a Supervisory Computer
(Abstract)},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {17--23},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806494},
doi = {10.1145/800212.806494},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Gaines71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Gertz71,
author = {Jeffrey L. Gertz},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Storage Reallocation in Hierarchical Associative Memories},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {58--63},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806500},
doi = {10.1145/800212.806500},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Gertz71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Greenberg71,
author = {Mark L. Greenberg},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {An Algorithm for Drum Storage Management in Time-Sharing Systems},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {141--148},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806512},
doi = {10.1145/800212.806512},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Greenberg71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Habermann71,
author = {A. Nico Habermann},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Synchronization of Communicating Processes (Abstract)},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {80--85},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806503},
doi = {10.1145/800212.806503},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Habermann71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Hansen71,
author = {Per Brinch Hansen},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Short Term Scheduling in Multiprogramming Systems},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {101--105},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806506},
doi = {10.1145/800212.806506},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Hansen71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Holt71,
author = {Richard C. Holt},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Some Deadlock Properties of Computer Systems},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {64--71},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806501},
doi = {10.1145/800212.806501},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Holt71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Howry71,
author = {Sam Howry},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {A Multiprogramming System for Control},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {24--30},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806495},
doi = {10.1145/800212.806495},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Howry71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Kahn71,
author = {Gilles Kahn},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {An Approach to System Correctness},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {86--94},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806504},
doi = {10.1145/800212.806504},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Kahn71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Liskov71,
author = {Barbara H. Liskov},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {The Design of the Venus Operating System},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {11--16},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806493},
doi = {10.1145/800212.806493},
timestamp = {Thu, 23 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/Liskov71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Needham71,
author = {Roger M. Needham},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Handling Difficult Faults in Operating Systems},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {55--57},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806499},
doi = {10.1145/800212.806499},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Needham71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Rodriguez-Rosell71,
author = {Juan Rodriguez{-}Rosell},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Experimental Data on How Program Behavior Affects the Choice of Scheduler
Parameters},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {156--163},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806514},
doi = {10.1145/800212.806514},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/Rodriguez-Rosell71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SchroederS71,
author = {Michael D. Schroeder and
Jerome H. Saltzer},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {A Hardware Architecture for Implementing Protection Rings (Abstract)},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {42--54},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806498},
doi = {10.1145/800212.806498},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/SchroederS71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/TeoreyP71,
author = {Toby J. Teorey and
Tad B. Pinkerton},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {A Comparative Analysis of Disk Scheduling Policies (Abstract)},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {114--121},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806509},
doi = {10.1145/800212.806509},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/TeoreyP71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/Varney71,
author = {Robert C. Varney},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Process Selection in an Hierarchical Operating System},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {106--108},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806507},
doi = {10.1145/800212.806507},
timestamp = {Tue, 30 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/Varney71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/WinogradMH71,
author = {Joseph Winograd and
S. J. Morganstein and
R. Herman},
editor = {Edward J. McCluskey and
Nicholas A. Fortis and
Butler W. Lampson and
Thomas H. Bredt},
title = {Simulation Studies of a Virtual Memory, Time Shared, Demand Paging
Operating System},
booktitle = {Proceedings of the Third Symposium on Operating System Principles,
{SOSP} 1971, Stanford University, Palo Alto, California, USA, October
18-20, 1971},
pages = {149--155},
publisher = {{ACM}},
year = {1971},
url = {https://doi.org/10.1145/800212.806513},
doi = {10.1145/800212.806513},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/WinogradMH71.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-04-23 09:47 CEST from data curated 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:
