Theodore P. Baker

According to our database, Theodore P. Baker authored at least 77 papers between 1973 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

A unified analysis of global EDF and fixed-task-priority schedulability of sporadic task systems on multiprocessors.

Theodore P. Baker, Michele Cirinei

J. Embed. Comput., 2011

2010

Defects of the POSIX Sporadic Server and How to Correct Them.

Mark J. Stanovich, Theodore P. Baker, An-I Wang, Michael González Harbour

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?

Theodore P. Baker

Proceedings of the Reliable Software Technologiey, 2010

2009

An analysis of global edf schedulability for arbitrary-deadline sporadic task systems.

Theodore P. Baker, Sanjoy K. Baruah

Real Time Syst., 2009

Sustainable Multiprocessor Scheduling of Sporadic Task Systems.

Theodore P. Baker, Sanjoy K. Baruah

Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

2008

Schedulability analysis of global edf.

Sanjoy K. Baruah, Theodore P. Baker

Real Time Syst., 2008

EDZL scheduling analysis.

Theodore P. Baker, Michele Cirinei, Marko Bertogna

Real Time Syst., 2008

Throttling On-Disk Schedulers to Meet Soft-Real-Time Requirements.

Mark J. Stanovich, Theodore P. Baker, An-I Andy Wang

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Global EDF Schedulability Analysis of Arbitrary Sporadic Task Systems.

Sanjoy K. Baruah, Theodore P. Baker

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007

Schedulability Analysis of Multiprocessor Sporadic Task Systems.

Sanjoy K. Baruah, Theodore P. Baker

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.

Mark Lewandowski, Mark J. Stanovich, Theodore P. Baker, Kartik Gopalan, An-I Andy Wang

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.

Theodore P. Baker, Michele Cirinei

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

EDZL Scheduling Analysis.

Michele Cirinei, Theodore P. Baker

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006

An Analysis of Fixed-Priority Schedulability on a Multiprocessor.

Theodore P. Baker

Real Time Syst., 2006

A Necessary and Sometimes Sufficient Condition for the Feasibility of Sets of Sporadic Hard-Deadline Tasks.

Theodore P. Baker, Michele Cirinei

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Algorithms for Determining the Demand-Based Load of a Sporadic Task System.

Nathan Fisher, Theodore P. Baker, Sanjoy K. Baruah

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.

Nathan Fisher, Sanjoy K. Baruah, Theodore P. Baker

Proceedings of the 18th Euromicro Conference on Real-Time Systems, 2006

2005

An Analysis of EDF Schedulability on a Multiprocessor.

Theodore P. Baker

IEEE Trans. Parallel Distributed Syst., 2005

Real-Time Scheduling for Embedded Systems.

Marco Caccamo, Theodore P. Baker, Alan Burns, Giorgio C. Buttazzo, Lui Sha

Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004

Real Time Scheduling Theory: A Historical Perspective.

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 Syst., 2004

2003

Multiprocessor EDF and Deadline Monotonic Schedulability Analysis.

Theodore P. Baker

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003

1999

A Linux kernel module implementation of restricted Ada tasking.

Hongfeng Shen, Theodore P. Baker

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel.

Hongfeng Shen, Arnaud Charlet, Theodore P. Baker

Proceedings of the Reliable Software Technologies, 1999

1998

Utilization Bounds for N-Processor Rate Monotone Scheduling with Static Processor Assignment.

Dong-Ik Oh, Theodore P. Baker

Real Time Syst., 1998

From POSIX Threads to Ada to Java: A Brief History of Runtime Development for Some Real-Time Programming Languages.

Ted Baker

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Porting the GNAT Tasking Runtime System to the Java Virtual Machine.

Laurent Millet, Ted Baker

Proceedings of the Reliable Software Technologies, 1998

1997

Optimization of Ada '95 Tasking Constructs.

Dong-Ik Oh, Theodore P. Baker

Proceedings of the Conference, The annual meeting of the Ada programming world, 1997

Tasking profiles (session summary).

Alan Burns, Ted Baker, Tullio Vardanega

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

Ada Bindings for C Interfaces: Lessons Learned from the Florist Implementation.

Theodore P. Baker, Dong-Ik Oh

Proceedings of the Reliable Software Technologies, 1997

1996

The GNARL Implementation of POSIX/Ada Signal Services.

Dong-Ik Oh, Theodore P. Baker, Seung-Jin Moon

Proceedings of the Reliable Software Technologies, 1996

1995

Aperiodic Servers in a Deadline Scheduling Environment.

T. M. Ghazalie, Theodore P. Baker

Real Time Syst., 1995

Fast context switches: compiler and architectural support for preemptive scheduling.

Jeffrey S. Snyder, David B. Whalley, Theodore P. Baker

Microprocess. Microsystems, 1995

Implementing Ada protected objects - interface issues and optimization.

E. W. Giering, Theodore P. Baker

Proceedings of the conference on TRI-Ada 1995: Ada's role in global markets: solutions for a changing complex world, 1995

MiThOS - A Real-Time Micro-Kernel Threads Operating System.

Frank Mueller, Viresh Rustagi, Ted Baker

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

1994

A Retargetable Technique for Predicting Execution Time of Code Segments.

Marion G. Harmon, Theodore P. Baker, David B. Whalley

Real Time Syst., 1994

Real-time schedulability-analyzable mechanisms in Ada9X.

Alexander D. Stoyenko, Theodore P. Baker

Proc. IEEE, 1994

The GNU Ada runtime library (GNARL).

Edward William Giering III, Theodore P. Baker

Proceedings of the Eleventh Annual Washington Ada Symposium & summer ACM SIGAda Meeting on Ada, 1994

Features of the GNU Ada Runtime Library.

E. W. Giering, Frank Mueller, Theodore P. Baker

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks.

Edward William Giering III, Theodore P. Baker

Proceedings of the Second International Symposium on Environments and Tools for Ada, 1994

1993

Implementing Ada 9X Features Using POSIX Threads: Design Issues.

E. W. Giering, Frank Mueller, Theodore P. Baker

Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993

1992

POSIX/Ada real-time bindings: description of work in progress.

Edward William Giering III, Theodore P. Baker

Proceedings of the Ninth Washington Ada Symposium on Ada, 1992

Using POSIX Threads to Implement Ada Tasking: Description of Work in Progress.

E. W. Giering, Theodore P. Baker

Proceedings of the Conference Proceedings on TRI-Ada 1992, 1992

A Retargetable Technique for Predicting Execution Time.

Marion G. Harmon, Theodore P. Baker, David B. Whalley

Proceedings of the Real-Time Systems Symposium, 1992

1991

Stack-based Scheduling of Realtime Processes.

Theodore P. Baker

Real Time Syst., 1991

Real-Time Features for Ada 9X.

Theodore P. Baker, Offer Pazy

Proceedings of the Real-Time Systems Symposium, 1991

1990

Compile time scheduling of an Ada subset.

Edward William Giering III, Theodore P. Baker

Proceedings of the Seventh Washington Ada Symposium on Ada, 1990

A Stack-Based Resource Allocation Policy for Realtime Processes.

Theodore P. Baker

Proceedings of the Real-Time Systems Symposium, 1990

Opening up Ada-tasking.

Ted Baker

Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

Protected records, time management and distribution.

Ted Baker

Proceedings of the Fourth International Workshop on Real-Time Ada Issues, 1990

1989

The Cyclic Executive Model and Ada.

Theodore P. Baker, Alan C. Shaw

Real Time Syst., 1989

Toward the Deterministic Scheduling of Ada Tasks.

E. W. Giering, Theodore P. Baker

Proceedings of the Real-Time Systems Symposium, 1989

Fixing some time-related problems in Ada.

Ted Baker

Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

Time issues working group.

Ted Baker

Proceedings of the Third International Workshop on Real-Time Ada Issues, 1989

1988

An improved Ada run-time system interface.

Theodore P. Baker

J. Syst. Softw., 1988

Improving immediacy in Ada.

Ted Baker

Proceedings of the Second International Workshop on Real-Time Ada Issues, 1988

1987

A low-level tasking package for Ada.

Theodore P. Baker

Proceedings of the 1987 Annual ACM SIGAda International Conference on Ada, 1987

Corset and Lace: Adapting Ada Runtime Support to Real-Time Systems.

Theodore P. Baker, Kevin Jeffay

Proceedings of the 8th IEEE Real-Time Systems Symposium (RTSS '87), 1987

Ada runtime support environments to better support real-time systems.

Ted Baker

Proceedings of the First International Workshop on Real-Time Ada Issues, 1987

1986

Special Feature: An Architecture for Real-Time Software Systems.

Theodore P. Baker, Gregory M. Scallon

IEEE Softw., 1986

Implementing Ada Exceptions.

Theodore P. Baker, Gregory A. Riccardi

IEEE Softw., 1986

1985

Ada Tasking: From semantics to Efficient Implementation.

Theodore P. Baker, Gregory A. Riccardi

IEEE Softw., 1985

A runtime supervisor to support Ada tasking: rendezvous and delays.

Gregory A. Riccardi, Theodore P. Baker

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

1982

A One-Pass Algorithm for Overload Resolution in Ada.

Theodore P. Baker

ACM Trans. Program. Lang. Syst., 1982

A Single-Pass Syntax-Directed Front End for Ada.

Theodore P. Baker

Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, 1982

1981

Extending Lookahead for LR Parsers.

Theodore P. Baker

J. Comput. Syst. Sci., 1981

1979

A Second Step Toward the Polynomial Hierarchy.

Theodore P. Baker, Alan L. Selman

Theor. Comput. Sci., 1979

On "Provable" Analogs of P and MP.

Theodore P. Baker

Math. Syst. Theory, 1979

Relative Succinctness of Representations of Languages and Separation of Complexity Classes.

Juris Hartmanis, Theodore P. Baker

Proceedings of the Mathematical Foundations of Computer Science 1979, 1979

Succinctness, Verifiability and Determinism in Representations of Polynomial-Time Languages

Theodore P. Baker, Juris Hartmanis

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.

Theodore P. Baker

SIAM J. Comput., 1978

"Natural" Properties of Flowchart Step-Counting Measures.

Theodore P. Baker

J. Comput. Syst. Sci., 1978

Surveyor's Forum: Is Software Science Hard?

Theodore P. Baker

ACM Comput. Surv., 1978

1975

On Simple Gödel Numberings and Translations.

Juris Hartmanis, Theodore P. Baker

SIAM J. Comput., 1975

Relativizations of the P =? NP Question.

Theodore P. Baker, John Gill, Robert Solovay

SIAM J. Comput., 1975

1974

On Simple Goedel Numberings and Translations.

Juris Hartmanis, Theodore P. Baker

Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

"Natural" Properties of Flowchart Complexity Measures

Theodore P. Baker

Proceedings of the 15th Annual Symposium on Switching and Automata Theory, 1974

1973

Computational Complexity and Nondeterminism in Flowchart Programs.

Theodore P. Baker

PhD thesis, 1973