


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














