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 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
  

Last update Sat May 25 16:44:24 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page