Theodore P. Baker

According to our database1, Theodore P. Baker authored at least 60 papers between 1974 and 2011.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2012, "For contributions to real-time computing applications".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2011
A unified analysis of global EDF and fixed-task-priority schedulability of sporadic task systems on multiprocessors.
J. Embed. Comput., 2011

2010
Defects of the POSIX Sporadic Server and How to Correct Them.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

What to Make of Multicore Processors for Reliable Real-Time Systems?
Proceedings of the Reliable Software Technologiey, 2010

2009
An analysis of global edf schedulability for arbitrary-deadline sporadic task systems.
Real Time Syst., 2009

Sustainable Multiprocessor Scheduling of Sporadic Task Systems.
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

2008
Schedulability analysis of global edf.
Real Time Syst., 2008

EDZL scheduling analysis.
Real Time Syst., 2008

Throttling On-Disk Schedulers to Meet Soft-Real-Time Requirements.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Global EDF Schedulability Analysis of Arbitrary Sporadic Task Systems.
Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007
Schedulability Analysis of Multiprocessor Sporadic Task Systems.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Modeling Device Driver Effects in Real-Time Schedulability Analysis: Study of a Network Driver.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks.
Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

EDZL Scheduling Analysis.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006
An Analysis of Fixed-Priority Schedulability on a Multiprocessor.
Real Time Syst., 2006

A Necessary and Sometimes Sufficient Condition for the Feasibility of Sets of Sporadic Hard-Deadline Tasks.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Algorithms for Determining the Demand-Based Load of a Sporadic Task System.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

The Partitioned Scheduling of Sporadic Tasks According to Static-Priorities.
Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

2005
An Analysis of EDF Schedulability on a Multiprocessor.
IEEE Trans. Parallel Distrib. Syst., 2005

Real-Time Scheduling for Embedded Systems.
Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004
Real Time Scheduling Theory: A Historical Perspective.
Real Time Syst., 2004

2003
Multiprocessor EDF and Deadline Monotonic Schedulability Analysis.
Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

1999
A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel.
Proceedings of the Reliable Software Technologies, 1999

1998
Utilization Bounds for N-Processor Rate Monotone Scheduling with Static Processor Assignment.
Real Time Syst., 1998

From POSIX Threads to Ada to Java: A Brief History of Runtime Development for Some Real-Time Programming Languages.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Porting the GNAT Tasking Runtime System to the Java Virtual Machine.
Proceedings of the Reliable Software Technologies, 1998

1997
Optimization of Ada '95 Tasking Constructs.
Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation.
Proceedings of the Reliable Software Technologies, 1997

1996
The GNARL Implementation of POSIX/Ada Signal Services.
Proceedings of the Reliable Software Technologies, 1996

1995
Aperiodic Servers in a Deadline Scheduling Environment.
Real Time Syst., 1995

Fast context switches: compiler and architectural support for preemptive scheduling.
Microprocess. Microsystems, 1995

MiThOS - A Real-Time Micro-Kernel Threads Operating System.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

1994
A Retargetable Technique for Predicting Execution Time of Code Segments.
Real Time Syst., 1994

Features of the GNU Ada Runtime Library.
Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1993
Implementing Ada 9X Features Using POSIX Threads: Design Issues.
Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993

1992
Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress.
Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

A Retargetable Technique for Predicting Execution Time.
Proceedings of the Real-Time Systems Symposium, 1992

1991
Stack-based Scheduling of Realtime Processes.
Real Time Syst., 1991

Real-Time Features for Ada 9X.
Proceedings of the Real-Time Systems Symposium, 1991

1990
A Stack-Based Resource Allocation Policy for Realtime Processes.
Proceedings of the Real-Time Systems Symposium, 1990

1989
The Cyclic Executive Model and Ada.
Real Time Syst., 1989

Toward the Deterministic Scheduling of Ada Tasks.
Proceedings of the Real-Time Systems Symposium, 1989

1988
An improved Ada run-time system interface.
J. Syst. Softw., 1988

1987
Corset and Lace: Adapting Ada Runtime Support to Real-Time Systems.
Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

1986
Special Feature: An Architecture for Real-Time Software Systems.
IEEE Softw., 1986

Implementing Ada Exceptions.
IEEE Softw., 1986

1985
Ada Tasking: From semantics to Efficient Implementation.
IEEE Softw., 1985

1982
A One-Pass Algorithm for Overload Resolution in Ada.
ACM Trans. Program. Lang. Syst., 1982

A Single-Pass Syntax-Directed Front End for Ada.
Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

1981
Extending Lookahead for LR Parsers.
J. Comput. Syst. Sci., 1981

1979
A Second Step Toward the Polynomial Hierarchy.
Theor. Comput. Sci., 1979

On "Provable" Analogs of P and MP.
Math. Syst. Theory, 1979

Relative Succinctness of Representations of Languages and Separation of Complexity Classes.
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

Succinctness, Verifiability and Determinism in Representations of Polynomial-Time Languages
Proceedings of the 20th Annual Symposium on Foundations of Computer Science, 1979

1978
A Technique for Extending Rapid Exact-Match String Matching to Arrays of More Than One Dimension.
SIAM J. Comput., 1978

"Natural" Properties of Flowchart Step-Counting Measures.
J. Comput. Syst. Sci., 1978

Surveyor's Forum: Is Software Science Hard?
ACM Comput. Surv., 1978

1975
On Simple Gödel Numberings and Translations.
SIAM J. Comput., 1975

Relativizations of the P =? NP Question.
SIAM J. Comput., 1975

1974
On Simple Goedel Numberings and Translations.
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

"Natural" Properties of Flowchart Complexity Measures
Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974


  Loading...