BibTeX records: Kim P. Gostelow

download as .bib file

@inproceedings{DBLP:conf/sigada/BocchinoGGS14,
  author       = {Robert L. Bocchino and
                  Edward B. Gamble and
                  Kim P. Gostelow and
                  Raphael R. Some},
  editor       = {Michael B. Feldman and
                  S. Tucker Taft},
  title        = {Spot: a programming language for verified flight software},
  booktitle    = {Proceedings of the 2014 {ACM} SIGAda annual conference on High integrity
                  language technology, {HILT} 2014, Portland, Oregon, USA, October 18-21,
                  2014},
  pages        = {97--102},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2663171.2663185},
  doi          = {10.1145/2663171.2663185},
  timestamp    = {Fri, 02 Jun 2023 17:16:28 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/BocchinoGGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itaero/AlexanderCGL12,
  author       = {James Alexander and
                  Bradley Clement and
                  Kim P. Gostelow and
                  John Lai},
  title        = {Fault Mitigation Schemes for Future Spaceflight Multicore Processors},
  booktitle    = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21,
                  2012},
  year         = {2012},
  url          = {https://doi.org/10.2514/6.2012-2509},
  doi          = {10.2514/6.2012-2509},
  timestamp    = {Fri, 05 May 2017 13:12:21 +0200},
  biburl       = {https://dblp.org/rec/conf/itaero/AlexanderCGL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rts/LarkEFG90,
  author       = {Jay S. Lark and
                  Lee D. Erman and
                  Stephanie Forrest and
                  Kim P. Gostelow},
  title        = {Concepts, Methods, and Languages for Building Timely Intelligent Systems},
  journal      = {Real Time Syst.},
  volume       = {2},
  number       = {1-2},
  pages        = {127--148},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01840469},
  doi          = {10.1007/BF01840469},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rts/LarkEFG90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computer/ArvindG82,
  author       = {Arvind and
                  Kim P. Gostelow},
  title        = {The U-Interpreter},
  journal      = {Computer},
  volume       = {15},
  number       = {2},
  pages        = {42--49},
  year         = {1982},
  url          = {https://doi.org/10.1109/MC.1982.1653940},
  doi          = {10.1109/MC.1982.1653940},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/ArvindG82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tc/GostelowT80,
  author       = {Kim P. Gostelow and
                  Robert E. Thomas},
  title        = {Performance of a Simulated Dataflow Computer},
  journal      = {{IEEE} Trans. Computers},
  volume       = {29},
  number       = {10},
  pages        = {905--919},
  year         = {1980},
  url          = {https://doi.org/10.1109/TC.1980.1675474},
  doi          = {10.1109/TC.1980.1675474},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/GostelowT80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mark2/GostelowT79,
  author       = {Kim P. Gostelow and
                  Robert E. Thomas},
  title        = {A view of dataflow},
  booktitle    = {1979 International Workshop on Managing Requirements Knowledge, {MARK}
                  1979, New York, NY, USA, June 4-7, 1979},
  pages        = {629--636},
  publisher    = {{IEEE}},
  year         = {1979},
  url          = {https://doi.org/10.1109/MARK.1979.8817119},
  doi          = {10.1109/MARK.1979.8817119},
  timestamp    = {Tue, 08 Nov 2022 21:42:40 +0100},
  biburl       = {https://dblp.org/rec/conf/mark2/GostelowT79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip/ArvindG77,
  author       = {Arvind and
                  Kim P. Gostelow},
  editor       = {Bruce Gilchrist},
  title        = {A Computer Capable of Exchanging Processors for Time},
  booktitle    = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
                  Toronto, Canada, August 8-12, 1977},
  pages        = {849--853},
  publisher    = {North-Holland},
  year         = {1977},
  timestamp    = {Fri, 26 Jul 2019 22:58:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/ArvindG77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/ArvindG77,
  author       = {Arvind and
                  Kim P. Gostelow},
  editor       = {Erich J. Neuhold},
  title        = {Some Relationships Between Asynchronous Interpreters of a Dataflow
                  Language},
  booktitle    = {Formal Description of Programming Concepts: Proceedings of the {IFIP}
                  Working Conference on Formal Description of Programming Concepts,
                  St. Andrews, NB, Canada, August 1-5, 1977},
  pages        = {95--120},
  publisher    = {North-Holland},
  year         = {1977},
  timestamp    = {Mon, 21 Jan 2019 18:41:33 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/ArvindG77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sosp/ArvindGP77,
  author       = {Arvind and
                  Kim P. Gostelow and
                  Wil Plouffe},
  editor       = {Saul Rosen and
                  Peter J. Denning},
  title        = {Indeterminancy, Monitors, and Dataflow},
  booktitle    = {Proceedings of the Sixth Symposium on Operating System Principles,
                  {SOSP} 1977, Purdue University, West Lafayette, Indiana, USA, November
                  16-18, 1977},
  pages        = {159--169},
  publisher    = {{ACM}},
  year         = {1977},
  url          = {https://doi.org/10.1145/800214.806559},
  doi          = {10.1145/800214.806559},
  timestamp    = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/ArvindGP77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigplan/GostelowCEV72,
  author       = {Kim P. Gostelow and
                  Vincent G. Cerf and
                  Gerald Estrin and
                  Saul Volansky},
  title        = {Proper termination of flow-of-control in programs involving concurrent
                  processes},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {7},
  number       = {11},
  pages        = {15--27},
  year         = {1972},
  url          = {https://doi.org/10.1145/987361.987365},
  doi          = {10.1145/987361.987365},
  timestamp    = {Fri, 25 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigplan/GostelowCEV72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acm/GostelowCEV72,
  author       = {Kim P. Gostelow and
                  Vincent G. Cerf and
                  Gerald Estrin and
                  Saul Volansky},
  editor       = {John J. Donovan and
                  Rosemary Shields},
  title        = {Proper termination of flow-of-control in programs involving concurrent
                  processes},
  booktitle    = {Proceedings of the {ACM} annual conference, {ACM} 1972, 1972, Volume
                  2},
  pages        = {742--754},
  publisher    = {{ACM}},
  year         = {1972},
  url          = {https://doi.org/10.1145/800194.805854},
  doi          = {10.1145/800194.805854},
  timestamp    = {Tue, 13 Apr 2021 15:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/acm/GostelowCEV72.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.