Theodore P. Baker

71 papers A* 3A 12B 8C 1Misc 4Journal 27Unranked 13

Year	Rank	Type	Title / Venue / Authors
2011	J	`jnl`	A unified analysis of global EDF and fixed-task-priority schedulability of sporadic task systems on multiprocessors. J. Embed. Comput. Theodore P. Baker, Michele Cirinei
2010	A	`conf`	Defects of the POSIX Sporadic Server and How to Correct Them. IEEE Real-Time and Embedded Technology and Applications Symposium Mark J. Stanovich, Theodore P. Baker, An-I Wang, Michael González Harbour
2010	Misc	`conf`	What to Make of Multicore Processors for Reliable Real-Time Systems? Ada-Europe Theodore P. Baker
2009	J	`jnl`	An analysis of global edf schedulability for arbitrary-deadline sporadic task systems. Real Time Syst. Theodore P. Baker, Sanjoy K. Baruah
2009	A	`ed.`	Proceedings of the 30th IEEE Real-Time Systems Symposium, RTSS 2009, Washington, DC, USA, 1-4 December 2009 RTSS Theodore P. Baker
2009	B	`conf`	Sustainable Multiprocessor Scheduling of Sporadic Task Systems. ECRTS Theodore P. Baker, Sanjoy K. Baruah
2008	J	`jnl`	EDZL scheduling analysis. Real Time Syst. Theodore P. Baker, Michele Cirinei, Marko Bertogna
2008	B	`conf`	Global EDF Schedulability Analysis of Arbitrary Sporadic Task Systems. ECRTS Sanjoy K. Baruah, Theodore P. Baker
2008	B	`ed.`	Principles of Distributed Systems, 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings OPODIS Theodore P. Baker, Alain Bui, Sébastien Tixeuil
2008	J	`jnl`	Schedulability analysis of global edf. Real Time Syst. Sanjoy K. Baruah, Theodore P. Baker
2008	A	`conf`	Throttling On-Disk Schedulers to Meet Soft-Real-Time Requirements. IEEE Real-Time and Embedded Technology and Applications Symposium Mark J. Stanovich, Theodore P. Baker, An-I Andy Wang
2007	B	`conf`	Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks. OPODIS Theodore P. Baker, Michele Cirinei
2007	B	`conf`	EDZL Scheduling Analysis. ECRTS Michele Cirinei, Theodore P. Baker
2007	A	`conf`	Modeling Device Driver Effects in Real-Time Schedulability Analysis: Study of a Network Driver. IEEE Real-Time and Embedded Technology and Applications Symposium Mark Lewandowski, Mark J. Stanovich, Theodore P. Baker, Kartik Gopalan, An-I Andy Wang
2007	—	`ch.`	Schedulability Analysis of Multiprocessor Sporadic Task Systems. Handbook of Real-Time and Embedded Systems Sanjoy K. Baruah, Theodore P. Baker
2006	A	`conf`	A Necessary and Sometimes Sufficient Condition for the Feasibility of Sets of Sporadic Hard-Deadline Tasks. RTSS Theodore P. Baker, Michele Cirinei
2006	B	`conf`	Algorithms for Determining the Demand-Based Load of a Sporadic Task System. RTCSA Nathan Fisher, Theodore P. Baker, Sanjoy K. Baruah
2006	J	`jnl`	An Analysis of Fixed-Priority Schedulability on a Multiprocessor. Real Time Syst. Theodore P. Baker
2006	B	`conf`	The Partitioned Scheduling of Sporadic Tasks According to Static-Priorities. ECRTS Nathan Fisher, Sanjoy K. Baruah, Theodore P. Baker
2005	J	`jnl`	An Analysis of EDF Schedulability on a Multiprocessor. IEEE Trans. Parallel Distributed Syst. Theodore P. Baker
2005	—	`ch.`	Real-Time Scheduling for Embedded Systems. Handbook of Networked and Embedded Control Systems Marco Caccamo, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Lui Sha
2004	J	`jnl`	Real Time Scheduling Theory: A Historical Perspective. Real Time Syst. Lui Sha, Tarek F. Abdelzaher, Karl-Erik Årzén, Anton Cervin, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Marco Caccamo, John P. Lehoczky, Aloysius K. Mok
2003	A	`conf`	Multiprocessor EDF and Deadline Monotonic Schedulability Analysis. RTSS Theodore P. Baker
1999	Misc	`conf`	A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel. Ada-Europe Hongfeng Shen, Arnaud Charlet, Theodore P. Baker
1999	—	`conf`	A Linux kernel module implementation of restricted Ada tasking. IRTAW Hongfeng Shen, Theodore P. Baker
1998	J	`jnl`	Utilization Bounds for N-Processor Rate Monotone Scheduling with Static Processor Assignment. Real Time Syst. Dong-Ik Oh, Theodore P. Baker
1997	Misc	`conf`	Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation. Ada-Europe Theodore P. Baker, Dong-Ik Oh
1997	—	`conf`	Optimization of Ada '95 Tasking Constructs. TRI-Ada Dong-Ik Oh, Theodore P. Baker
1996	Misc	`conf`	The GNARL Implementation of POSIX/Ada Signal Services. Ada-Europe Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon
1995	J	`jnl`	Aperiodic Servers in a Deadline Scheduling Environment. Real Time Syst. T. M. Ghazalie, Theodore P. Baker
1995	J	`jnl`	Fast context switches: compiler and architectural support for preemptive scheduling. Microprocess. Microsystems Jeffrey S. Snyder, David B. Whalley, Theodore P. Baker
1995	—	`conf`	Implementing Ada protected objects - interface issues and optimization. TRI-Ada E. W. Giering, Theodore P. Baker
1994	J	`jnl`	A Retargetable Technique for Predicting Execution Time of Code Segments. Real Time Syst. Marion G. Harmon, Theodore P. Baker, David B. Whalley
1994	C	`conf`	A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks. SETA Edward William Giering III, Theodore P. Baker
1994	—	`conf`	Features of the GNU Ada Runtime Library. TRI-Ada E. W. Giering, Frank Mueller, Theodore P. Baker
1994	J	`jnl`	Real-time schedulability-analyzable mechanisms in Ada9X. Proc. IEEE Alexander D. Stoyenko, Theodore P. Baker
1994	—	`conf`	The GNU Ada runtime library (GNARL). WADAS Edward William Giering III, Theodore P. Baker
1993	—	`conf`	Implementing Ada 9X Features Using POSIX Threads: Design Issues. TRI-Ada E. W. Giering, Frank Mueller, Theodore P. Baker
1992	A	`conf`	A Retargetable Technique for Predicting Execution Time. RTSS Marion G. Harmon, Theodore P. Baker, David B. Whalley
1992	—	`conf`	POSIX/Ada real-time bindings: description of work in progress. WADAS Edward William Giering III, Theodore P. Baker
1992	—	`conf`	Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress. TRI-Ada E. W. Giering, Theodore P. Baker
1991	A	`conf`	Real-Time Features for Ada 9X. RTSS Theodore P. Baker, Offer Pazy
1991	J	`jnl`	Stack-based Scheduling of Realtime Processes. Real Time Syst. Theodore P. Baker
1990	A	`conf`	A Stack-Based Resource Allocation Policy for Realtime Processes. RTSS Theodore P. Baker
1990	—	`conf`	Compile time scheduling of an Ada subset. WADAS Edward William Giering III, Theodore P. Baker
1989	J	`jnl`	The Cyclic Executive Model and Ada. Real Time Syst. Theodore P. Baker, Alan C. Shaw
1989	A	`conf`	Toward the Deterministic Scheduling of Ada Tasks. RTSS E. W. Giering, Theodore P. Baker
1988	J	`jnl`	An improved Ada run-time system interface. J. Syst. Softw. Theodore P. Baker
1988	A	`conf`	The Cyclic Executive Model and Ada. RTSS Theodore P. Baker, Alan C. Shaw
1987	—	`conf`	A low-level tasking package for Ada. SIGAda Theodore P. Baker
1987	A	`conf`	Corset and Lace: Adapting Ada Runtime Support to Real-Time Systems. RTSS Theodore P. Baker, Kevin Jeffay
1986	J	`jnl`	Implementing Ada Exceptions. IEEE Softw. Theodore P. Baker, Gregory A. Riccardi
1986	J	`jnl`	Special Feature: An Architecture for Real-Time Software Systems. IEEE Softw. Theodore P. Baker, Gregory M. Scallon
1985	—	`conf`	A runtime supervisor to support Ada tasking: rendezvous and delays. SIGAda Gregory A. Riccardi, Theodore P. Baker
1985	J	`jnl`	Ada Tasking: From semantics to Efficient Implementation. IEEE Softw. Theodore P. Baker, Gregory A. Riccardi
1982	J	`jnl`	A One-Pass Algorithm for Overload Resolution in Ada. ACM Trans. Program. Lang. Syst. Theodore P. Baker
1982	—	`conf`	A Single-Pass Syntax-Directed Front End for Ada. SIGPLAN Symposium on Compiler Construction Theodore P. Baker
1981	J	`jnl`	Extending Lookahead for LR Parsers. J. Comput. Syst. Sci. Theodore P. Baker
1979	J	`jnl`	A Second Step Toward the Polynomial Hierarchy. Theor. Comput. Sci. Theodore P. Baker, Alan L. Selman
1979	J	`jnl`	On "Provable" Analogs of P and MP. Math. Syst. Theory Theodore P. Baker
1979	B	`conf`	Relative Succinctness of Representations of Languages and Separation of Complexity Classes. MFCS Juris Hartmanis, Theodore P. Baker
1979	A*	`conf`	Succinctness, Verifiability and Determinism in Representations of Polynomial-Time Languages FOCS Theodore P. Baker, Juris Hartmanis
1978	J	`jnl`	"Natural" Properties of Flowchart Step-Counting Measures. J. Comput. Syst. Sci. Theodore P. Baker
1978	J	`jnl`	A Technique for Extending Rapid Exact-Match String Matching to Arrays of More Than One Dimension. SIAM J. Comput. Theodore P. Baker
1978	J	`jnl`	Surveyor's Forum: Is Software Science Hard? ACM Comput. Surv. Theodore P. Baker
1976	A*	`conf`	A Second Step toward the Polynomial Hierarchy FOCS Theodore P. Baker, Alan L. Selman
1975	J	`jnl`	On Simple Gödel Numberings and Translations. SIAM J. Comput. Juris Hartmanis, Theodore P. Baker
1975	J	`jnl`	Relativizations of the P =? NP Question. SIAM J. Comput. Theodore P. Baker, John Gill, Robert Solovay
1974	—	`conf`	"Natural" Properties of Flowchart Complexity Measures SWAT Theodore P. Baker
1974	A*	`conf`	On Simple Goedel Numberings and Translations. ICALP Juris Hartmanis, Theodore P. Baker
1973	—	`—`	Computational Complexity and Nondeterminism in Flowchart Programs. Theodore P. Baker