Search dblp for Publications

export results for "stream:streams/conf/os:"

 download as .bib file

@proceedings{DBLP:conf/os/1982,
  editor    = {El{\"{o}}d Knuth and
               Erich J. Neuhold},
  title     = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  publisher = {Springer},
  year      = {1983},
  url       = {https://doi.org/10.1007/BFb0051556},
  doi       = {10.1007/BFb0051556},
  isbn      = {3-540-12284-2},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/os/1982.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/BaloghFSS82,
  author    = {Kalman Balogh and
               Zsuzsa Farkas and
               Edit S{\'{a}}nt{\'{a}}n{\'{e}}{-}T{\'{o}}th and
               P{\'{e}}ter Szeredi},
  editor    = {El{\"{o}}d Knuth and
               Erich J. Neuhold},
  title     = {Software Development in {LDM}},
  booktitle = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  pages     = {56--83},
  publisher = {Springer},
  year      = {1982},
  url       = {https://doi.org/10.1007/BFb0051560},
  doi       = {10.1007/BFb0051560},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/os/BaloghFSS82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Halassy82,
  author    = {B{\'{e}}la Halassy},
  editor    = {El{\"{o}}d Knuth and
               Erich J. Neuhold},
  title     = {{SZIAM:} {A} data model design aid},
  booktitle = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  pages     = {99--113},
  publisher = {Springer},
  year      = {1982},
  url       = {https://doi.org/10.1007/BFb0051562},
  doi       = {10.1007/BFb0051562},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Halassy82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Knuth82,
  author    = {El{\"{o}}d Knuth},
  editor    = {El{\"{o}}d Knuth and
               Erich J. Neuhold},
  title     = {Software structuring: a pragmatic approach},
  booktitle = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  pages     = {16--27},
  publisher = {Springer},
  year      = {1982},
  url       = {https://doi.org/10.1007/BFb0051558},
  doi       = {10.1007/BFb0051558},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Knuth82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/KozmaL82,
  author    = {L{\'{a}}szl{\'{o}} Kozma and
               Z. Laborczi},
  editor    = {El{\"{o}}d Knuth and
               Erich J. Neuhold},
  title     = {On Implementation problems of shared abstract data types},
  booktitle = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  pages     = {146--152},
  publisher = {Springer},
  year      = {1982},
  url       = {https://doi.org/10.1007/BFb0051565},
  doi       = {10.1007/BFb0051565},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/os/KozmaL82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Kramer82,
  author    = {Jeff Kramer},
  editor    = {El{\"{o}}d Knuth and
               Erich J. Neuhold},
  title     = {Distributed computer systems: two views},
  booktitle = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  pages     = {84--98},
  publisher = {Springer},
  year      = {1982},
  url       = {https://doi.org/10.1007/BFb0051561},
  doi       = {10.1007/BFb0051561},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Kramer82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Ludewig82,
  author    = {Jochen Ludewig},
  editor    = {El{\"{o}}d Knuth and
               Erich J. Neuhold},
  title     = {Espreso - a system for process control software specification},
  booktitle = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  pages     = {114--131},
  publisher = {Springer},
  year      = {1982},
  url       = {https://doi.org/10.1007/BFb0051563},
  doi       = {10.1007/BFb0051563},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Ludewig82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/MateBCFH82,
  author    = {L. L. M{\'{a}}t{\'{e}} and
               M. Bohus and
               Gyula Csopaki and
               A. Filp and
               A. Hinsenkamp},
  editor    = {El{\"{o}}d Knuth and
               Erich J. Neuhold},
  title     = {System cars and its description language},
  booktitle = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  pages     = {1--15},
  publisher = {Springer},
  year      = {1982},
  url       = {https://doi.org/10.1007/BFb0051557},
  doi       = {10.1007/BFb0051557},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/os/MateBCFH82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Mitchell82,
  author    = {R. J. Mitchell},
  editor    = {El{\"{o}}d Knuth and
               Erich J. Neuhold},
  title     = {Program design - a practical approach},
  booktitle = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  pages     = {132--145},
  publisher = {Springer},
  year      = {1982},
  url       = {https://doi.org/10.1007/BFb0051564},
  doi       = {10.1007/BFb0051564},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Mitchell82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Neuhold82,
  author    = {Erich J. Neuhold},
  editor    = {El{\"{o}}d Knuth and
               Erich J. Neuhold},
  title     = {Development methodologies for event and message based application
               systems},
  booktitle = {Specification and Design of Software Systems, Conference on Operating
               Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {152},
  pages     = {28--55},
  publisher = {Springer},
  year      = {1982},
  url       = {https://doi.org/10.1007/BFb0051559},
  doi       = {10.1007/BFb0051559},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Neuhold82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/BelpaireW74,
  author    = {Gerald Belpaire and
               J. R. Wilmotte},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {Correctness of realizations of levels of abstraction in operating
               systems},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {1--15},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029351},
  doi       = {10.1007/BFb0029351},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/BelpaireW74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Beretvas74,
  author    = {Thomas Beretvas},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {A simulation model representing the {OS/VS2} release 2 control program},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {15--29},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029352},
  doi       = {10.1007/BFb0029352},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Beretvas74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Brandwajn74,
  author    = {Alexandre Brandwajn},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {Equivalence and decomposition methods with application to a model
               of a time-sharing virtual memory system},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {56--88},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029354},
  doi       = {10.1007/BFb0029354},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Brandwajn74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/CampbellH74,
  author    = {Roy H. Campbell and
               A. Nico Habermann},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {The specification of process synchronization by path expressions},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {89--102},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029355},
  doi       = {10.1007/BFb0029355},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/CampbellH74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Guiboud-RibaudB74,
  author    = {Serge Guiboud{-}Ribaud and
               J. Briat},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {Espace d'adressage et espace d'ex{\'{e}}cuteion du syste{\`{e}}me
               Gemau},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {126--162},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029357},
  doi       = {10.1007/BFb0029357},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Guiboud-RibaudB74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Guimaraes74,
  author    = {C. Guimaraes},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {A foreground- background time sharing queue with general service times},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {103--125},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029356},
  doi       = {10.1007/BFb0029356},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Guimaraes74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Haberman74,
  author    = {A. Nico Habermann},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {A new approach to avoidance of system deadlocks},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {163--170},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029358},
  doi       = {10.1007/BFb0029358},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Haberman74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/HorningLMR74,
  author    = {James J. Horning and
               Hugh C. Lauer and
               P. M. Melliar{-}Smith and
               Brian Randell},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {A program structure for error detection and recovery},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {171--187},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029359},
  doi       = {10.1007/BFb0029359},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/HorningLMR74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/KaiserK74,
  author    = {Claude Kaiser and
               Sacha Krakowiak},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {Analyse de quelques pannes d'un syste{\`{e}}me d'exploitation},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {188--207},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029360},
  doi       = {10.1007/BFb0029360},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/KaiserK74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Lampson74,
  author    = {Butler W. Lampson},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {An open operating system for a single-user machine},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {208--217},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029361},
  doi       = {10.1007/BFb0029361},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Lampson74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Lenfant74,
  author    = {Jacques Lenfant},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {Evaluation sur des mod{\`{e}}les de comportement de programme de la
               taille d'un ensemble de travail},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {218--236},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029362},
  doi       = {10.1007/BFb0029362},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Lenfant74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Lipton74,
  author    = {Richard J. Lipton},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {Schedulers as enforces in synchronization},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {237--256},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029363},
  doi       = {10.1007/BFb0029363},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Lipton74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Parent74,
  author    = {Christine Parent},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {Caract{\'{e}}risation fonctionelle des syst{\`{e}}mes de fichiers},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {257--278},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029364},
  doi       = {10.1007/BFb0029364},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Parent74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/Parent74a,
  author    = {Michel Parent},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {Presentation of the control graph models},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {279--292},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029365},
  doi       = {10.1007/BFb0029365},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/Parent74a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/ShelnessSW74,
  author    = {N. H. Shelness and
               P. D. Stephens and
               Harry Whitfield},
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {The Edinburgh multi-access system scheduling and allocation procedures
               in the resident supervisor},
  booktitle = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  pages     = {293--310},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029366},
  doi       = {10.1007/BFb0029366},
  timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl    = {https://dblp.org/rec/conf/os/ShelnessSW74.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/os/1974,
  editor    = {Erol Gelenbe and
               Claude Kaiser},
  title     = {Operating Systems, Proceedings of an International Symposium held
               at Rocquencourt, France, April 23-25, 1974},
  series    = {Lecture Notes in Computer Science},
  volume    = {16},
  publisher = {Springer},
  year      = {1974},
  url       = {https://doi.org/10.1007/BFb0029350},
  doi       = {10.1007/BFb0029350},
  isbn      = {3-540-06849-X},
  timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/os/1974.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics