BibTeX records: Theodore P. Baker

download as .bib file

@article{DBLP:journals/jec/BakerC11,
  author       = {Theodore P. Baker and
                  Michele Cirinei},
  title        = {A unified analysis of global {EDF} and fixed-task-priority schedulability
                  of sporadic task systems on multiprocessors},
  journal      = {J. Embed. Comput.},
  volume       = {4},
  number       = {2},
  pages        = {55--69},
  year         = {2011},
  url          = {https://doi.org/10.3233/JEC-2009-0108},
  doi          = {10.3233/JEC-2009-0108},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jec/BakerC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Baker10,
  author       = {Theodore P. Baker},
  editor       = {Jorge Real and
                  Tullio Vardanega},
  title        = {What to Make of Multicore Processors for Reliable Real-Time Systems?},
  booktitle    = {Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe
                  International Conference on Reliable Software Technologies, Valencia,
                  Spain, June 14-18, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6106},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13550-7\_1},
  doi          = {10.1007/978-3-642-13550-7\_1},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/Baker10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/StanovichBWH10,
  author       = {Mark J. Stanovich and
                  Theodore P. Baker and
                  An{-}I Wang and
                  Michael Gonz{\'{a}}lez Harbour},
  editor       = {Marco Caccamo},
  title        = {Defects of the {POSIX} Sporadic Server and How to Correct Them},
  booktitle    = {16th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2010, Stockholm, Sweden, April 12-15, 2010},
  pages        = {35--45},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/RTAS.2010.34},
  doi          = {10.1109/RTAS.2010.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/StanovichBWH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BakerB09,
  author       = {Theodore P. Baker and
                  Sanjoy K. Baruah},
  title        = {An analysis of global edf schedulability for arbitrary-deadline sporadic
                  task systems},
  journal      = {Real Time Syst.},
  volume       = {43},
  number       = {1},
  pages        = {3--24},
  year         = {2009},
  url          = {https://doi.org/10.1007/s11241-009-9075-8},
  doi          = {10.1007/S11241-009-9075-8},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BakerB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BakerB09,
  author       = {Theodore P. Baker and
                  Sanjoy K. Baruah},
  title        = {Sustainable Multiprocessor Scheduling of Sporadic Task Systems},
  booktitle    = {21st Euromicro Conference on Real-Time Systems, {ECRTS} 2009, Dublin,
                  Ireland, July 1-3, 2009},
  pages        = {141--150},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ECRTS.2009.25},
  doi          = {10.1109/ECRTS.2009.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BakerB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtss/2009,
  editor       = {Theodore P. Baker},
  title        = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
                  2009, Washington, DC, USA, 1-4 December 2009},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5368115/proceeding},
  isbn         = {978-0-7695-3875-4},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rtss/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BaruahB08,
  author       = {Sanjoy K. Baruah and
                  Theodore P. Baker},
  title        = {Schedulability analysis of global edf},
  journal      = {Real Time Syst.},
  volume       = {38},
  number       = {3},
  pages        = {223--235},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11241-007-9047-9},
  doi          = {10.1007/S11241-007-9047-9},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BaruahB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BakerCB08,
  author       = {Theodore P. Baker and
                  Michele Cirinei and
                  Marko Bertogna},
  title        = {{EDZL} scheduling analysis},
  journal      = {Real Time Syst.},
  volume       = {40},
  number       = {3},
  pages        = {264--289},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11241-008-9061-6},
  doi          = {10.1007/S11241-008-9061-6},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BakerCB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BaruahB08,
  author       = {Sanjoy K. Baruah and
                  Theodore P. Baker},
  title        = {Global {EDF} Schedulability Analysis of Arbitrary Sporadic Task Systems},
  booktitle    = {20th Euromicro Conference on Real-Time Systems, {ECRTS} 2008, 2-4
                  July 2008, Prague, Czech Republic, Proceedings},
  pages        = {3--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ECRTS.2008.27},
  doi          = {10.1109/ECRTS.2008.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/BaruahB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/StanovichBW08,
  author       = {Mark J. Stanovich and
                  Theodore P. Baker and
                  An{-}I Andy Wang},
  title        = {Throttling On-Disk Schedulers to Meet Soft-Real-Time Requirements},
  booktitle    = {Proceedings of the 14th {IEEE} Real-Time and Embedded Technology and
                  Applications Symposium, {RTAS} 2008, April 22-24, 2008, St. Louis,
                  Missouri, {USA}},
  pages        = {331--341},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/RTAS.2008.30},
  doi          = {10.1109/RTAS.2008.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/StanovichBW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/opodis/2008,
  editor       = {Theodore P. Baker and
                  Alain Bui and
                  S{\'{e}}bastien Tixeuil},
  title        = {Principles of Distributed Systems, 12th International Conference,
                  {OPODIS} 2008, Luxor, Egypt, December 15-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5401},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-92221-6},
  doi          = {10.1007/978-3-540-92221-6},
  isbn         = {978-3-540-92220-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/CirineiB07,
  author       = {Michele Cirinei and
                  Theodore P. Baker},
  title        = {{EDZL} Scheduling Analysis},
  booktitle    = {19th Euromicro Conference on Real-Time Systems, ECRTS'07, 4-6 July
                  2007, Pisa, Italy, Proceedings},
  pages        = {9--18},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ECRTS.2007.14},
  doi          = {10.1109/ECRTS.2007.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/CirineiB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BakerC07,
  author       = {Theodore P. Baker and
                  Michele Cirinei},
  editor       = {Eduardo Tovar and
                  Philippas Tsigas and
                  Hac{\`{e}}ne Fouchal},
  title        = {Brute-Force Determination of Multiprocessor Schedulability for Sets
                  of Sporadic Hard-Deadline Tasks},
  booktitle    = {Principles of Distributed Systems, 11th International Conference,
                  {OPODIS} 2007, Guadeloupe, French West Indies, December 17-20, 2007.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4878},
  pages        = {62--75},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77096-1\_5},
  doi          = {10.1007/978-3-540-77096-1\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/opodis/BakerC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/LewandowskiSBGW07,
  author       = {Mark Lewandowski and
                  Mark J. Stanovich and
                  Theodore P. Baker and
                  Kartik Gopalan and
                  An{-}I Andy Wang},
  title        = {Modeling Device Driver Effects in Real-Time Schedulability Analysis:
                  Study of a Network Driver},
  booktitle    = {Proceedings of the 13th {IEEE} Real-Time and Embedded Technology and
                  Applications Symposium, {RTAS} 2007, April 3-6, 2007, Bellevue, Washington,
                  {USA}},
  pages        = {57--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/RTAS.2007.18},
  doi          = {10.1109/RTAS.2007.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/LewandowskiSBGW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/BaruahB07,
  author       = {Sanjoy K. Baruah and
                  Theodore P. Baker},
  editor       = {Sang Hyuk Son and
                  Insup Lee and
                  Joseph Y.{-}T. Leung},
  title        = {Schedulability Analysis of Multiprocessor Sporadic Task Systems},
  booktitle    = {Handbook of Real-Time and Embedded Systems},
  publisher    = {Chapman and Hall/CRC},
  year         = {2007},
  url          = {https://doi.org/10.1201/9781420011746.ch3},
  doi          = {10.1201/9781420011746.CH3},
  timestamp    = {Thu, 26 Jan 2023 14:05:55 +0100},
  biburl       = {https://dblp.org/rec/reference/crc/BaruahB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Baker06,
  author       = {Theodore P. Baker},
  title        = {An Analysis of Fixed-Priority Schedulability on a Multiprocessor},
  journal      = {Real Time Syst.},
  volume       = {32},
  number       = {1-2},
  pages        = {49--71},
  year         = {2006},
  url          = {https://doi.org/10.1007/S11241-005-4686-1},
  doi          = {10.1007/S11241-005-4686-1},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/Baker06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/FisherBB06,
  author       = {Nathan Fisher and
                  Sanjoy K. Baruah and
                  Theodore P. Baker},
  title        = {The Partitioned Scheduling of Sporadic Tasks According to Static-Priorities},
  booktitle    = {18th Euromicro Conference on Real-Time Systems, ECRTS'06, 5-7 July
                  2006, Dresden, Germany, Proceedings},
  pages        = {118--127},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ECRTS.2006.30},
  doi          = {10.1109/ECRTS.2006.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/FisherBB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/FisherBB06,
  author       = {Nathan Fisher and
                  Theodore P. Baker and
                  Sanjoy K. Baruah},
  title        = {Algorithms for Determining the Demand-Based Load of a Sporadic Task
                  System},
  booktitle    = {12th {IEEE} Conference on Embedded and Real-Time Computing Systems
                  and Applications {(RTCSA} 2006), 16-18 August 2006, Sydney, Australia},
  pages        = {135--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/RTCSA.2006.12},
  doi          = {10.1109/RTCSA.2006.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtcsa/FisherBB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BakerC06,
  author       = {Theodore P. Baker and
                  Michele Cirinei},
  title        = {A Necessary and Sometimes Sufficient Condition for the Feasibility
                  of Sets of Sporadic Hard-Deadline Tasks},
  booktitle    = {Proceedings of the 27th {IEEE} Real-Time Systems Symposium {(RTSS}
                  2006), 5-8 December 2006, Rio de Janeiro, Brazil},
  pages        = {178--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/RTSS.2006.7},
  doi          = {10.1109/RTSS.2006.7},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/BakerC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/Baker05,
  author       = {Theodore P. Baker},
  title        = {An Analysis of {EDF} Schedulability on a Multiprocessor},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {16},
  number       = {8},
  pages        = {760--768},
  year         = {2005},
  url          = {https://doi.org/10.1109/TPDS.2005.88},
  doi          = {10.1109/TPDS.2005.88},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tpds/Baker05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/necs2005/CaccamoBBBS05,
  author       = {Marco Caccamo and
                  Theodore P. Baker and
                  Alan Burns and
                  Giorgio C. Buttazzo and
                  Lui Sha},
  editor       = {Dimitrios Hristu{-}Varsakelis and
                  William S. Levine},
  title        = {Real-Time Scheduling for Embedded Systems},
  booktitle    = {Handbook of Networked and Embedded Control Systems},
  pages        = {173--196},
  publisher    = {Birkh{\"{a}}user},
  year         = {2005},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/sp/necs2005/CaccamoBBBS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/ShaAACBBBCLM04,
  author       = {Lui Sha and
                  Tarek F. Abdelzaher and
                  Karl{-}Erik {\AA}rz{\'{e}}n and
                  Anton Cervin and
                  Theodore P. Baker and
                  Alan Burns and
                  Giorgio C. Buttazzo and
                  Marco Caccamo and
                  John P. Lehoczky and
                  Aloysius K. Mok},
  title        = {Real Time Scheduling Theory: {A} Historical Perspective},
  journal      = {Real Time Syst.},
  volume       = {28},
  number       = {2-3},
  pages        = {101--155},
  year         = {2004},
  url          = {https://doi.org/10.1023/B:TIME.0000045315.61234.1e},
  doi          = {10.1023/B:TIME.0000045315.61234.1E},
  timestamp    = {Thu, 17 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rts/ShaAACBBBCLM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Baker03,
  author       = {Theodore P. Baker},
  title        = {Multiprocessor {EDF} and Deadline Monotonic Schedulability Analysis},
  booktitle    = {Proceedings of the 24th {IEEE} Real-Time Systems Symposium {(RTSS}
                  2003), 3-5 December 2003, Cancun, Mexico},
  pages        = {120--129},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/REAL.2003.1253260},
  doi          = {10.1109/REAL.2003.1253260},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/Baker03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/ShenCB99,
  author       = {Hongfeng Shen and
                  Arnaud Charlet and
                  Theodore P. Baker},
  editor       = {Michael Gonz{\'{a}}lez Harbour and
                  Juan Antonio de la Puente},
  title        = {A "Bare-Machine" Implementation of Ada Multi-tasking Beneath
                  the Linux Kernel},
  booktitle    = {Reliable Software Technologies - Ada-Europe '99, 1999 Ada-Europe International
                  Conference on Reliable Software Technologies, Santander, Spain, June
                  7-11, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1622},
  pages        = {287--297},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48753-0\_25},
  doi          = {10.1007/3-540-48753-0\_25},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/ShenCB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/ShenB99,
  author       = {Hongfeng Shen and
                  Theodore P. Baker},
  editor       = {Alan Burns},
  title        = {A Linux kernel module implementation of restricted Ada tasking},
  booktitle    = {Proceedings of the Ninth International Workshop on Real-Time Ada,
                  {IRTAW} 1999, Wakulla Springs Lodge, Florida, USA, March 9-11, 1999},
  pages        = {96--103},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/329607.334746},
  doi          = {10.1145/329607.334746},
  timestamp    = {Tue, 19 Apr 2022 16:50:58 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/ShenB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/OhB98,
  author       = {Dong{-}Ik Oh and
                  Theodore P. Baker},
  title        = {Utilization Bounds for N-Processor Rate Monotone Scheduling with Static
                  Processor Assignment},
  journal      = {Real Time Syst.},
  volume       = {15},
  number       = {2},
  pages        = {183--192},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008098013753},
  doi          = {10.1023/A:1008098013753},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/OhB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MilletB98,
  author       = {Laurent Millet and
                  Ted Baker},
  editor       = {Lars Asplund},
  title        = {Porting the {GNAT} Tasking Runtime System to the Java Virtual Machine},
  booktitle    = {Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International
                  Conference on Reliable Software Technologies, Uppsala, Sweden, June
                  8-12, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1411},
  pages        = {19--28},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0054991},
  doi          = {10.1007/BFB0054991},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/MilletB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Baker98,
  author       = {Ted Baker},
  title        = {From {POSIX} Threads to Ada to Java: {A} Brief History of Runtime
                  Development for Some Real-Time Programming Languages},
  booktitle    = {Proceedings of the 19th {IEEE} Real-Time Systems Symposium, Madrid,
                  Spain, December 2-4, 1998},
  pages        = {319},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/REAL.1998.739758},
  doi          = {10.1109/REAL.1998.739758},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/Baker98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/BakerO97,
  author       = {Theodore P. Baker and
                  Dong{-}Ik Oh},
  editor       = {Keith Hardy and
                  James S. Briggs},
  title        = {Ada Bindings for {C} Interfaces: Lessons Learned from the Florist
                  Implementation},
  booktitle    = {Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International
                  Conference on Reliable Software Technologies, London, UK, June 2-6,
                  1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1251},
  pages        = {13--22},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63114-3\_2},
  doi          = {10.1007/3-540-63114-3\_2},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/BakerO97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/0001BV97,
  author       = {Alan Burns and
                  Ted Baker and
                  Tullio Vardanega},
  editor       = {Andy J. Wellings},
  title        = {Tasking profiles (session summary)},
  booktitle    = {Proceedings of the Eighth International Workshop on Real-Time Ada,
                  {IRTAW} 1997, Ravenscar, United Kingdom, 1997},
  pages        = {5--7},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/271658.271668},
  doi          = {10.1145/271658.271668},
  timestamp    = {Mon, 27 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/0001BV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/OhB97,
  author       = {Dong{-}Ik Oh and
                  Theodore P. Baker},
  editor       = {Susan Carlson},
  title        = {Optimization of Ada '95 Tasking Constructs},
  booktitle    = {Conference, The annual meeting of the Ada programming world, TRI-Ada
                  1997, November 9-13, 1997, St. Louis, Missouri, {USA}},
  pages        = {79--88},
  publisher    = {{ACM}},
  year         = {1997},
  url          = {https://doi.org/10.1145/269629.269638},
  doi          = {10.1145/269629.269638},
  timestamp    = {Fri, 06 May 2022 16:16:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/OhB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/OhBM96,
  author       = {Dong{-}Ik Oh and
                  Theodore P. Baker and
                  Seung{-}Jin Moon},
  editor       = {Alfred Strohmeier},
  title        = {The {GNARL} Implementation of POSIX/Ada Signal Services},
  booktitle    = {Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International
                  Conference on Reliable Software Technologies, Montreux, Switzerland,
                  June 10-14, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1088},
  pages        = {275--286},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0013495},
  doi          = {10.1007/BFB0013495},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/adaEurope/OhBM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/SnyderWB95,
  author       = {Jeffrey S. Snyder and
                  David B. Whalley and
                  Theodore P. Baker},
  title        = {Fast context switches: compiler and architectural support for preemptive
                  scheduling},
  journal      = {Microprocess. Microsystems},
  volume       = {19},
  number       = {1},
  pages        = {35--42},
  year         = {1995},
  url          = {https://doi.org/10.1016/0141-9331(95)93086-X},
  doi          = {10.1016/0141-9331(95)93086-X},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mam/SnyderWB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/GhazalieB95,
  author       = {T. M. Ghazalie and
                  Theodore P. Baker},
  title        = {Aperiodic Servers in a Deadline Scheduling Environment},
  journal      = {Real Time Syst.},
  volume       = {9},
  number       = {1},
  pages        = {31--67},
  year         = {1995},
  url          = {https://doi.org/10.1007/BF01094172},
  doi          = {10.1007/BF01094172},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/GhazalieB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/MuellerRB95,
  author       = {Frank Mueller and
                  Viresh Rustagi and
                  Ted Baker},
  title        = {MiThOS - {A} Real-Time Micro-Kernel Threads Operating System},
  booktitle    = {16th {IEEE} Real-Time Systems Symposium, Palazzo dei Congressi, Via
                  Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings},
  pages        = {49--53},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/REAL.1995.495195},
  doi          = {10.1109/REAL.1995.495195},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/MuellerRB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/GieringB95,
  author       = {E. W. Giering and
                  Theodore P. Baker},
  editor       = {Charles B. Engle Jr.},
  title        = {Implementing Ada protected objects - interface issues and optimization},
  booktitle    = {Proceedings of the conference on TRI-Ada 1995: Ada's role in global
                  markets: solutions for a changing complex world, November 5 -10, 1995,
                  Anaheim, CA, {USA}},
  pages        = {134--143},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/376503.376549},
  doi          = {10.1145/376503.376549},
  timestamp    = {Tue, 10 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/GieringB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/StoyenkoB94,
  author       = {Alexander D. Stoyenko and
                  Theodore P. Baker},
  title        = {Real-time schedulability-analyzable mechanisms in Ada9X},
  journal      = {Proc. {IEEE}},
  volume       = {82},
  number       = {1},
  pages        = {95--107},
  year         = {1994},
  url          = {https://doi.org/10.1109/5.259429},
  doi          = {10.1109/5.259429},
  timestamp    = {Sat, 11 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pieee/StoyenkoB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/HarmonBW94,
  author       = {Marion G. Harmon and
                  Theodore P. Baker and
                  David B. Whalley},
  title        = {A Retargetable Technique for Predicting Execution Time of Code Segments},
  journal      = {Real Time Syst.},
  volume       = {7},
  number       = {2},
  pages        = {159--182},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01088803},
  doi          = {10.1007/BF01088803},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/HarmonBW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setada/GieringB94,
  author       = {Edward William Giering III and
                  Theodore P. Baker},
  editor       = {Patricia A. Oberndorf},
  title        = {A tool for the deterministic scheduling of real-time programs implemented
                  as periodic Ada tasks},
  booktitle    = {Proceedings of the Second International Symposium on Environments
                  and Tools for Ada, {SETA} 1994, Washington, D.C., USA, 1994},
  pages        = {54--73},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/199189.192853},
  doi          = {10.1145/199189.192853},
  timestamp    = {Fri, 13 May 2022 10:43:21 +0200},
  biburl       = {https://dblp.org/rec/conf/setada/GieringB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/GieringMB94,
  author       = {E. W. Giering and
                  Frank Mueller and
                  Theodore P. Baker},
  editor       = {Charles B. Engle Jr.},
  title        = {Features of the {GNU} Ada Runtime Library},
  booktitle    = {Proceedings of the 1994 Conference on TRI-Ada 1994, November 6-11,
                  1994, Baltimore, Maryland, {USA}},
  pages        = {93--103},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/197694.197711},
  doi          = {10.1145/197694.197711},
  timestamp    = {Fri, 06 May 2022 16:16:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/GieringMB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/GieringB94,
  author       = {Edward William Giering III and
                  Theodore P. Baker},
  editor       = {Stowe Boyd},
  title        = {The {GNU} Ada runtime library {(GNARL)}},
  booktitle    = {Proceedings of the Eleventh Annual Washington Ada Symposium {\&}
                  summer {ACM} SIGAda Meeting on Ada, {WADAS} 1994, McLean, Virginia,
                  USA, 1994},
  pages        = {97--107},
  publisher    = {{ACM}},
  year         = {1994},
  url          = {https://doi.org/10.1145/197978.197989},
  doi          = {10.1145/197978.197989},
  timestamp    = {Thu, 24 Mar 2022 14:43:57 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/GieringB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/GieringMB93,
  author       = {E. W. Giering and
                  Frank Mueller and
                  Theodore P. Baker},
  editor       = {Charles B. Engle Jr.},
  title        = {Implementing Ada 9X Features Using {POSIX} Threads: Design Issues},
  booktitle    = {Conference Proceedings on TRI-Ada 1993, September 18-23, 1993, Seattle,
                  Washington, {USA}},
  pages        = {214--228},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/170657.170736},
  doi          = {10.1145/170657.170736},
  timestamp    = {Fri, 06 May 2022 16:16:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/GieringMB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/HarmonBW92,
  author       = {Marion G. Harmon and
                  Theodore P. Baker and
                  David B. Whalley},
  title        = {A Retargetable Technique for Predicting Execution Time},
  booktitle    = {Proceedings of the Real-Time Systems Symposium - 1992, Phoenix, Arizona,
                  USA, December 1992},
  pages        = {68--77},
  publisher    = {{IEEE} Computer Society},
  year         = {1992},
  url          = {https://doi.org/10.1109/REAL.1992.242675},
  doi          = {10.1109/REAL.1992.242675},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/HarmonBW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/GieringB92,
  author       = {E. W. Giering and
                  Theodore P. Baker},
  editor       = {Geoffrey O. Mendal and
                  Charles B. Engle Jr.},
  title        = {Using {POSIX} Threads to Implement Ada Tasking: Description of Work
                  in Progress},
  booktitle    = {Conference Proceedings on TRI-Ada 1992, Orlando, Florida USA, November
                  17-20, 1992},
  pages        = {518--529},
  publisher    = {{ACM}},
  year         = {1992},
  url          = {https://doi.org/10.1145/143557.144009},
  doi          = {10.1145/143557.144009},
  timestamp    = {Fri, 06 May 2022 16:16:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/GieringB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/GieringB92,
  author       = {Edward William Giering III and
                  Theodore P. Baker},
  editor       = {Judah Mogilensky},
  title        = {POSIX/Ada real-time bindings: description of work in progress},
  booktitle    = {Proceedings of the Ninth Washington Ada Symposium on Ada - Empowering
                  Software Users and Developers, {WADAS} 1992, McLean, Virginia, USA,
                  1992},
  pages        = {27--41},
  publisher    = {{ACM}},
  year         = {1992},
  url          = {https://doi.org/10.1145/257683.257690},
  doi          = {10.1145/257683.257690},
  timestamp    = {Fri, 25 Mar 2022 14:36:35 +0100},
  biburl       = {https://dblp.org/rec/conf/wadas/GieringB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/Baker91,
  author       = {Theodore P. Baker},
  title        = {Stack-based Scheduling of Realtime Processes},
  journal      = {Real Time Syst.},
  volume       = {3},
  number       = {1},
  pages        = {67--99},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF00365393},
  doi          = {10.1007/BF00365393},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/Baker91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BakerP91,
  author       = {Theodore P. Baker and
                  Offer Pazy},
  title        = {Real-Time Features for Ada 9X},
  booktitle    = {Proceedings of the Real-Time Systems Symposium - 1991, San Antonio,
                  Texas, USA, December 1991},
  pages        = {172--180},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/REAL.1991.160371},
  doi          = {10.1109/REAL.1991.160371},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/BakerP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker90,
  author       = {Ted Baker},
  editor       = {John Barnes},
  title        = {Protected records, time management and distribution},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {17--28},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102460},
  doi          = {10.1145/102454.102460},
  timestamp    = {Mon, 04 Apr 2022 11:10:38 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker90a,
  author       = {Ted Baker},
  editor       = {John Barnes},
  title        = {Opening up Ada-tasking},
  booktitle    = {Proceedings of the Fourth International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1990, Pitlochry, Perthshir, UK, July 16-20, 1990},
  pages        = {60--64},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/102454.102472},
  doi          = {10.1145/102454.102472},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/Baker90,
  author       = {Theodore P. Baker},
  title        = {A Stack-Based Resource Allocation Policy for Realtime Processes},
  booktitle    = {Proceedings of the Real-Time Systems Symposium - 1990, Lake Buena
                  Vista, Florida, USA, December 1990},
  pages        = {191--200},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/REAL.1990.128747},
  doi          = {10.1109/REAL.1990.128747},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/Baker90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadas/GieringB90,
  author       = {Edward William Giering III and
                  Theodore P. Baker},
  editor       = {Eileen Quann and
                  Christine L. Braun},
  title        = {Compile time scheduling of an Ada subset},
  booktitle    = {Proceedings of the Seventh Washington Ada Symposium on Ada, {WADAS}
                  1990, McLean, Virginia, USA, 1990},
  pages        = {143--155},
  publisher    = {{ACM}},
  year         = {1990},
  url          = {https://doi.org/10.1145/327011.327071},
  doi          = {10.1145/327011.327071},
  timestamp    = {Tue, 29 Mar 2022 11:59:37 +0200},
  biburl       = {https://dblp.org/rec/conf/wadas/GieringB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rts/BakerS89,
  author       = {Theodore P. Baker and
                  Alan C. Shaw},
  title        = {The Cyclic Executive Model and Ada},
  journal      = {Real Time Syst.},
  volume       = {1},
  number       = {1},
  pages        = {7--25},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF02341919},
  doi          = {10.1007/BF02341919},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rts/BakerS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker89,
  author       = {Ted Baker},
  editor       = {John B. Goodenough},
  title        = {Time issues working group},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {119--135},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91381},
  doi          = {10.1145/91354.91381},
  timestamp    = {Fri, 01 Apr 2022 12:29:11 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker89a,
  author       = {Ted Baker},
  editor       = {John B. Goodenough},
  title        = {Fixing some time-related problems in Ada},
  booktitle    = {Proceedings of the Third International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1989, Farmington, Pennsylvannia, USA, 1989},
  pages        = {136--143},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/91354.91382},
  doi          = {10.1145/91354.91382},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker89a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/GieringB89,
  author       = {E. W. Giering and
                  Theodore P. Baker},
  title        = {Toward the Deterministic Scheduling of Ada Tasks},
  booktitle    = {Proceedings of the Real-Time Systems Symposium - 1989, Santa Monica,
                  California, USA, December 1989},
  pages        = {31--40},
  publisher    = {{IEEE} Computer Society},
  year         = {1989},
  url          = {https://doi.org/10.1109/REAL.1989.63554},
  doi          = {10.1109/REAL.1989.63554},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/GieringB89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Baker88,
  author       = {Theodore P. Baker},
  title        = {An improved Ada run-time system interface},
  journal      = {J. Syst. Softw.},
  volume       = {8},
  number       = {5},
  pages        = {373--393},
  year         = {1988},
  url          = {https://doi.org/10.1016/0164-1212(88)90029-5},
  doi          = {10.1016/0164-1212(88)90029-5},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/Baker88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker88,
  author       = {Ted Baker},
  editor       = {John Barnes},
  title        = {Improving immediacy in Ada},
  booktitle    = {Proceedings of the Second International Workshop on Real-Time Ada
                  Issues, {IRTAW} 1988, Moretonhampstead, Devon, UK, June 1-3, 1988},
  pages        = {50--56},
  publisher    = {{ACM}},
  year         = {1988},
  url          = {https://doi.org/10.1145/58612.59375},
  doi          = {10.1145/58612.59375},
  timestamp    = {Thu, 31 Mar 2022 11:11:48 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BakerS88,
  author       = {Theodore P. Baker and
                  Alan C. Shaw},
  title        = {The Cyclic Executive Model and Ada},
  booktitle    = {Proceedings of the 9th {IEEE} Real-Time Systems Symposium {(RTSS}
                  '88), December 6-8, 1988, Huntsville, Alabama, {USA}},
  pages        = {120--129},
  publisher    = {{IEEE} Computer Society},
  year         = {1988},
  url          = {https://doi.org/10.1109/REAL.1988.51108},
  doi          = {10.1109/REAL.1988.51108},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/BakerS88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irtaw/Baker87,
  author       = {Ted Baker},
  editor       = {John Barnes},
  title        = {Ada runtime support environments to better support real-time systems},
  booktitle    = {Proceedings of the First International Workshop on Real-Time Ada Issues,
                  {IRTAW} 1987, Morehampstead, Devon, United Kingdom, May 13-15, 1987},
  pages        = {85--87},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/36821.36810},
  doi          = {10.1145/36821.36810},
  timestamp    = {Wed, 30 Mar 2022 14:40:38 +0200},
  biburl       = {https://dblp.org/rec/conf/irtaw/Baker87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BakerJ87,
  author       = {Theodore P. Baker and
                  Kevin Jeffay},
  title        = {Corset and Lace: Adapting Ada Runtime Support to Real-Time Systems},
  booktitle    = {Proceedings of the 8th {IEEE} Real-Time Systems Symposium {(RTSS}
                  '87), December 1-3, 1987, San Jose, Califorinia, {USA}},
  pages        = {158--167},
  publisher    = {{IEEE} Computer Society},
  year         = {1987},
  timestamp    = {Wed, 23 Jan 2013 07:55:26 +0100},
  biburl       = {https://dblp.org/rec/conf/rtss/BakerJ87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/Baker87,
  author       = {Theodore P. Baker},
  editor       = {Benjamin M. Brosgol},
  title        = {A low-level tasking package for Ada},
  booktitle    = {Proceedings of the 1987 Annual {ACM} SIGAda International Conference
                  on Ada, SIGAda 1987, Boston, Massachusetts, USA, 1987},
  pages        = {141--146},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/317500.317519},
  doi          = {10.1145/317500.317519},
  timestamp    = {Mon, 28 Mar 2022 11:40:57 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/Baker87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BakerS86,
  author       = {Theodore P. Baker and
                  Gregory M. Scallon},
  title        = {Special Feature: An Architecture for Real-Time Software Systems},
  journal      = {{IEEE} Softw.},
  volume       = {3},
  number       = {3},
  pages        = {50--58},
  year         = {1986},
  url          = {https://doi.org/10.1109/MS.1986.233416},
  doi          = {10.1109/MS.1986.233416},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/BakerS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BakerR86,
  author       = {Theodore P. Baker and
                  Gregory A. Riccardi},
  title        = {Implementing Ada Exceptions},
  journal      = {{IEEE} Softw.},
  volume       = {3},
  number       = {5},
  pages        = {42--51},
  year         = {1986},
  url          = {https://doi.org/10.1109/MS.1986.234397},
  doi          = {10.1109/MS.1986.234397},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/BakerR86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BakerR85,
  author       = {Theodore P. Baker and
                  Gregory A. Riccardi},
  title        = {Ada Tasking: From semantics to Efficient Implementation},
  journal      = {{IEEE} Softw.},
  volume       = {2},
  number       = {2},
  pages        = {34--46},
  year         = {1985},
  url          = {https://doi.org/10.1109/MS.1985.230349},
  doi          = {10.1109/MS.1985.230349},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/BakerR85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/RiccardiB85,
  author       = {Gregory A. Riccardi and
                  Theodore P. Baker},
  editor       = {John G. P. Barnes and
                  Gerald A. Fisher},
  title        = {A runtime supervisor to support Ada tasking: rendezvous and delays},
  booktitle    = {Proceedings of the 1985 Annual {ACM} SIGAda International Conference
                  on Ada, SIGAda 1985, Paris, France, May 14-16, 1985},
  pages        = {329--342},
  publisher    = {Cambridge University Press},
  year         = {1985},
  url          = {https://dl.acm.org/doi/10.1145/324426.324404},
  doi          = {10.1145/324426.324404},
  timestamp    = {Wed, 04 May 2022 13:02:17 +0200},
  biburl       = {https://dblp.org/rec/conf/sigada/RiccardiB85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Baker82,
  author       = {Theodore P. Baker},
  title        = {A One-Pass Algorithm for Overload Resolution in Ada},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {4},
  number       = {4},
  pages        = {601--614},
  year         = {1982},
  url          = {https://doi.org/10.1145/69622.69623},
  doi          = {10.1145/69622.69623},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/Baker82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigplan/Baker82,
  author       = {Theodore P. Baker},
  editor       = {John R. White and
                  Frances E. Allen},
  title        = {A Single-Pass Syntax-Directed Front End for Ada},
  booktitle    = {Proceedings of the {SIGPLAN} '82 Symposium on Compiler Construction,
                  Boston, Massachusetts, USA, June 23-25, 1982},
  pages        = {318--326},
  publisher    = {{ACM}},
  year         = {1982},
  url          = {https://doi.org/10.1145/800230.807006},
  doi          = {10.1145/800230.807006},
  timestamp    = {Fri, 09 Jul 2021 14:03:46 +0200},
  biburl       = {https://dblp.org/rec/conf/sigplan/Baker82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Baker81,
  author       = {Theodore P. Baker},
  title        = {Extending Lookahead for {LR} Parsers},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {22},
  number       = {2},
  pages        = {243--259},
  year         = {1981},
  url          = {https://doi.org/10.1016/0022-0000(81)90030-1},
  doi          = {10.1016/0022-0000(81)90030-1},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Baker81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Baker79,
  author       = {Theodore P. Baker},
  title        = {On "Provable" Analogs of {P} and {MP}},
  journal      = {Math. Syst. Theory},
  volume       = {12},
  pages        = {213--218},
  year         = {1979},
  url          = {https://doi.org/10.1007/BF01776574},
  doi          = {10.1007/BF01776574},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/Baker79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BakerS79,
  author       = {Theodore P. Baker and
                  Alan L. Selman},
  title        = {A Second Step Toward the Polynomial Hierarchy},
  journal      = {Theor. Comput. Sci.},
  volume       = {8},
  pages        = {177--187},
  year         = {1979},
  url          = {https://doi.org/10.1016/0304-3975(79)90043-4},
  doi          = {10.1016/0304-3975(79)90043-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BakerS79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BakerH79,
  author       = {Theodore P. Baker and
                  Juris Hartmanis},
  title        = {Succinctness, Verifiability and Determinism in Representations of
                  Polynomial-Time Languages},
  booktitle    = {20th Annual Symposium on Foundations of Computer Science, San Juan,
                  Puerto Rico, 29-31 October 1979},
  pages        = {392--396},
  publisher    = {{IEEE} Computer Society},
  year         = {1979},
  url          = {https://doi.org/10.1109/SFCS.1979.41},
  doi          = {10.1109/SFCS.1979.41},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/BakerH79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HartmanisB79,
  author       = {Juris Hartmanis and
                  Theodore P. Baker},
  editor       = {Jir{\'{\i}} Becv{\'{a}}r},
  title        = {Relative Succinctness of Representations of Languages and Separation
                  of Complexity Classes},
  booktitle    = {Mathematical Foundations of Computer Science 1979, Proceedings, 8th
                  Symposium, Olomouc, Czechoslovakia, September 3-7, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {74},
  pages        = {70--88},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-09526-8\_6},
  doi          = {10.1007/3-540-09526-8\_6},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/HartmanisB79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Baker78,
  author       = {Theodore P. Baker},
  title        = {Surveyor's Forum: Is Software Science Hard?},
  journal      = {{ACM} Comput. Surv.},
  volume       = {10},
  number       = {4},
  pages        = {504},
  year         = {1978},
  url          = {https://doi.org/10.1145/356744.356752},
  doi          = {10.1145/356744.356752},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Baker78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Baker78,
  author       = {Theodore P. Baker},
  title        = {"Natural" Properties of Flowchart Step-Counting Measures},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {16},
  number       = {1},
  pages        = {1--22},
  year         = {1978},
  url          = {https://doi.org/10.1016/0022-0000(78)90047-8},
  doi          = {10.1016/0022-0000(78)90047-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Baker78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Baker78a,
  author       = {Theodore P. Baker},
  title        = {A Technique for Extending Rapid Exact-Match String Matching to Arrays
                  of More Than One Dimension},
  journal      = {{SIAM} J. Comput.},
  volume       = {7},
  number       = {4},
  pages        = {533--541},
  year         = {1978},
  url          = {https://doi.org/10.1137/0207043},
  doi          = {10.1137/0207043},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/Baker78a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BakerS76,
  author       = {Theodore P. Baker and
                  Alan L. Selman},
  title        = {A Second Step toward the Polynomial Hierarchy},
  booktitle    = {17th Annual Symposium on Foundations of Computer Science, Houston,
                  Texas, USA, 25-27 October 1976},
  pages        = {71--75},
  publisher    = {{IEEE} Computer Society},
  year         = {1976},
  url          = {https://doi.org/10.1109/SFCS.1976.2},
  doi          = {10.1109/SFCS.1976.2},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/BakerS76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/HartmanisB75,
  author       = {Juris Hartmanis and
                  Theodore P. Baker},
  title        = {On Simple G{\"{o}}del Numberings and Translations},
  journal      = {{SIAM} J. Comput.},
  volume       = {4},
  number       = {1},
  pages        = {1--11},
  year         = {1975},
  url          = {https://doi.org/10.1137/0204001},
  doi          = {10.1137/0204001},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/HartmanisB75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BakerGS75,
  author       = {Theodore P. Baker and
                  John Gill and
                  Robert Solovay},
  title        = {Relativizations of the {P} =? {NP} Question},
  journal      = {{SIAM} J. Comput.},
  volume       = {4},
  number       = {4},
  pages        = {431--442},
  year         = {1975},
  url          = {https://doi.org/10.1137/0204037},
  doi          = {10.1137/0204037},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamcomp/BakerGS75.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Baker74,
  author       = {Theodore P. Baker},
  title        = {"Natural" Properties of Flowchart Complexity Measures},
  booktitle    = {15th Annual Symposium on Switching and Automata Theory, New Orleans,
                  Louisiana, USA, October 14-16, 1974},
  pages        = {178--184},
  publisher    = {{IEEE} Computer Society},
  year         = {1974},
  url          = {https://doi.org/10.1109/SWAT.1974.1},
  doi          = {10.1109/SWAT.1974.1},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Baker74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HartmanisB74,
  author       = {Juris Hartmanis and
                  Theodore P. Baker},
  editor       = {Jacques Loeckx},
  title        = {On Simple Goedel Numberings and Translations},
  booktitle    = {Automata, Languages and Programming, 2nd Colloquium, University of
                  Saarbr{\"{u}}cken, Germany, July 29 - August 2, 1974, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14},
  pages        = {301--316},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06841-4\_69},
  doi          = {10.1007/3-540-06841-4\_69},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/HartmanisB74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Baker73,
  author       = {Theodore P. Baker},
  title        = {Computational Complexity and Nondeterminism in Flowchart Programs},
  school       = {Cornell University, {USA}},
  year         = {1973},
  timestamp    = {Mon, 28 Mar 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Baker73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics