default search action
Real-Time Systems, Volume 2
Volume 2, Number 1-2, 1990
- Richard E. Korf:
Depth-Limited Search for Real-Time Problem Solving. 7-24 - Piero P. Bonissone, Peter C. Halverson:
Time-Constrained Reasoning Under Uncertainty. 25-45 - Keith Decker, Victor R. Lesser, Robert Whitehair:
Extending a Blackboard Architecture for Approximate Processing. 47-79 - Adele E. Howe, David M. Hart, Paul R. Cohen:
Addressing Real-Time Constraints in the Design of Autonomous Agents. 81-96 - Barbara Hayes-Roth:
Architectural Foundations for Real-Time Performance in Intelligent Agents. 99-125 - Jay S. Lark, Lee D. Erman, Stephanie Forrest, Kim P. Gostelow:
Concepts, Methods, and Languages for Building Timely Intelligent Systems. 127-148
Volume 2, Number 3, 1990
- Lory D. Molesky, Chia Shen, Goran Zlokapa:
Predictable Synchronization Mechanisms for Multiprocessor Real-Time Systems. 163-180 - Houssine Chetto, Maryline Silly, T. Bouchentouf:
Dynamic Scheduling of Real-Time Tasks under Precedence Constraints. 181-194 - Flaviu Cristian:
Synchronous Atomic Broadcast for Redundant Broadcast Channels. 195-212 - Michael G. Rodd, Guo Feng Zhao, Ivan Izikowitz:
RIMMS - An OSI-based Real-Time Messaging System. 213-234
Volume 2, Number 4, 1990
- John A. Stankovic, Krithi Ramamritham:
Editorial: What is Predictability for Real-Time Systems? 247-254 - Ron Koymans:
Specifying Real-Time Properties with Metric Temporal Logic. 255-299 - 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 - Min-Ih Chen, Kwei-Jay Lin:
Dynamic Priority Ceilings: A Concurrency Control Protocol for Real-Time. 325-346 - Horst F. 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 - Wolfgang A. Halang, Alexander D. Stoyenko:
Comparative Evaluation of High-Level Real-Time Programming Languages. 365-382
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.