Real-Time Systems, Volume 1

Volume 1, Number 1, 1989

Theodore P. Baker, Alan C. Shaw: The Cyclic Executive Model and Ada. 7-25 BibTeX
Brinkley Sprunt, Lui Sha, John P. Lehoczky: Aperiodic Task Scheduling for Hard Real-Time Systems. 27-60 BibTeX
R. J. Lauber: Forecasting Real-Time Behavior During Software Design using a CASE Environment. 61-76 BibTeX
Richard K. J. Henn: Feasible Processor Allocation in a Hard-Real-Time Environment. 77-93 BibTeX

Bogdan Lent, Hans Kurmann: The OR Dataflow Architecture for a Machine Embedded Control System. 107-132 BibTeX
Jay K. Strosnider, Thomas E. Marchok: Responsive, Deterministic IEEE 802.5 Token Ring Scheduling. 133-158 BibTeX
Peter P. Puschner, Christian Koza: Calculating the Maximum Execution Time of Real-Time Programs. 159-176 BibTeX
Shojiro Nishio, Shinichi Taniguchi, Toshihide Ibaraki: On the Efficiency of Cautious Schedulers for Database Concurrency Control - Why Insist on Two-Phase Locking? 177-195 BibTeX

Herbert Schweinzer: Fast Sensor Corrections of Robot Motion Paths Processed in Real-Time by Control Algorithms Running in Parallel. 207-220 BibTeX
Helmut Rzehak, Abd E. Elnakhal, Rudolf Jaeger: Analysis of Real-Time Properties and Rules for Setting Protocol Parameters of MAP Networks. 221-241 BibTeX
Lui Sha, Ragunathan Rajkumar, John P. Lehoczky, Krithi Ramamritham: Mode Change Protocols for Priority-Driven Preemptive Scheduling. 243-264 BibTeX
Kwang Soo Hong, Joseph Y.-T. Leung: Preemptive Scheduling with Release Times and Deadlines. 265-281 BibTeX

Tomohiro Murata, Norihisa Komoda: Real-Time Control Software for Transaction Processing Based on Colored Safe Petri Net Model. 299-312 BibTeX
Shinichi Honiden, Naoshi Uchihira, Kazunori Matsumoto, Kazuo Matsumura, Masahiko Arai: An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design. 313-331 BibTeX
Masaru Takesue: Dataflow Computer Extension Towards Real-Time Processing. 333-350 BibTeX
Tadashi Ae, Reiji Aibara: Programmable Real-Time Scheduler Using a Neurocomputer. 351-363 BibTeX