Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Theodore P. Baker
@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} }
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.