Real-Time Systems, Volume 2

Volume 2, Number 1-2, 1990

Special Issue: Real-Time Artificial Intelligence

Richard E. Korf: Depth-Limited Search for Real-Time Problem Solving. 7-24 BibTeX
Piero P. Bonissone, Peter C. Halverson: Time-Constrained Reasoning Under Uncertainty. 25-45 BibTeX
Keith Decker, Victor R. Lesser, Robert Whitehair: Extending a Blackboard Architecture for Approximate Processing. 47-79 BibTeX
Adele E. Howe, David M. Hart, Paul R. Cohen: Addressing Real-Time Constraints in the Design of Autonomous Agents. 81-96 BibTeX
Barbara Hayes-Roth: Architectural Foundations for Real-Time Performance in Intelligent Agents. 99-125 BibTeX
Jay S. Lark, Lee D. Erman, Stephanie Forrest, Kim P. Gostelow: Concepts, Methods, and Languages for Building Timely Intelligent Systems. 127-148 BibTeX

Lory D. Molesky, Chia Shen, Goran Zlokapa: Predictable Synchronization Mechanisms for Multiprocessor Real-Time Systems. 163-180 BibTeX
Houssine Chetto, Maryline Silly, T. Bouchentouf: Dynamic Scheduling of Real-Time Tasks under Precedence Constraints. 181-194 BibTeX
Flaviu Cristian: Synchronous Atomic Broadcast for Redundant Broadcast Channels. 195-212 BibTeX
Michael G. Rodd, Guo Feng Zhao, Ivan Izikowitz: RIMMS - An OSI-based Real-Time Messaging System. 213-234 BibTeX

John A. Stankovic, Krithi Ramamritham: Editorial: What is Predictability for Real-Time Systems? 247-254 BibTeX
Ron Koymans: Specifying Real-Time Properties with Metric Temporal Logic. 255-299 BibTeX
Sanjoy K. Baruah, Louis E. Rosier, Rodney R. Howell: Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor. 301-324 BibTeX
Min-Ih Chen, Kwei-Jay Lin: Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time. 325-346 BibTeX
Horst Wedde, Ghasem S. Alijani, Dorota M. Huizinga, Gookhai Kang, Bo-Kyung Kim: MELODY: A Completely Decentralized Adaptive File System for Handling Real-Time Tasks in Unpredictable Environments. 347-364 BibTeX
Wolfgang A. Halang, Alexander D. Stoyenko: Comparative Evaluation of High-Level Real-Time Programming Languages. 365-382 BibTeX