Theodore P. Baker

Publication Activity (10 Years)

Years Active: 1974-2011
Publications (10 Years): 0

Publications

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