Search dblp for Publications

export results for "toc:db/conf/os/os1974.bht:"

 download as .bib file

@inproceedings{DBLP:conf/os/BelpaireW74,
  author       = {G{\'{e}}rald Belpaire and
                  Jean Pierre 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    = {Wed, 23 Feb 2022 00:00:00 +0100},
  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, 19 May 2017 01:00:00 +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, 19 May 2017 01:00:00 +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, 19 May 2017 01:00:00 +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, 19 May 2017 01:00:00 +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{\'{e}}lio Guimar{\~{a}}es},
  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    = {Tue, 18 Oct 2022 01:00:00 +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, 19 May 2017 01:00:00 +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, 19 May 2017 01:00:00 +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, 19 May 2017 01:00:00 +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, 19 May 2017 01:00:00 +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, 19 May 2017 01:00:00 +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, 19 May 2017 01:00:00 +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, 19 May 2017 01:00:00 +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, 19 May 2017 01:00:00 +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    = {Wed, 14 Nov 2018 00:00:00 +0100},
  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}
}

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.