Theodore P. Baker

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An analysis of global \texttt{EDF} schedulability for arbitrary-deadline sporadic task systems Real-Time Systems	2009-11-27	Paper
EDZL scheduling analysis Real-Time Systems	2009-09-25	Paper
Brute-Force Determination of Multiprocessor Schedulability for Sets of Sporadic Hard-Deadline Tasks Lecture Notes in Computer Science	2008-04-22	Paper
Schedulability analysis of global EDF Real-Time Systems	2008-04-03	Paper
An analysis of fixed-priority schedulability on a multiprocessor Real-Time Systems	2006-11-17	Paper
scientific article; zbMATH DE number 2200040 (Why is no real title available?)	2005-08-29	Paper
Real time scheduling theory: A historical perspective Real-Time Systems	2005-01-12	Paper
scientific article; zbMATH DE number 3807608 (Why is no real title available?)	1983-01-01	Paper
A One-Pass Algorithm for Overload Resolution in Ada ACM Transactions on Programming Languages and Systems	1982-01-01	Paper
Extending lookahead for LR parsers Journal of Computer and System Sciences	1981-01-01	Paper
scientific article; zbMATH DE number 3637285 (Why is no real title available?)	1979-01-01	Paper
A second step toward the polynomial hierarchy Theoretical Computer Science	1979-01-01	Paper
On “provable” analogs of and Mathematical Systems Theory	1979-01-01	Paper
A Technique for Extending Rapid Exact-Match String Matching to Arrays of More than One Dimension SIAM Journal on Computing	1978-01-01	Paper
``Natural properties of flowchart step-counting measures Journal of Computer and System Sciences	1978-01-01	Paper
Relativizations of the $\mathcal{P} = ?\mathcal{NP}$ Question SIAM Journal on Computing	1975-01-01	Paper
On Simple Goedel Numberings and Translations SIAM Journal on Computing	1975-01-01	Paper
scientific article; zbMATH DE number 3444819 (Why is no real title available?)	1974-01-01	Paper

Research outcomes over time

This page was built for person: Theodore P. Baker