11. RTSS 1990:
Lake Buena Vista,
Florida,
USA
Proceedings of the Real-Time Systems Symposium - 1990,
Lake Buena Vista,
Florida,
USA,
December 1990. IEEE Computer Society Press,
1990
- Clifford W. Mercer, Hideyuki Tokuda:
The ARTS Real-Time Object Model.
2-10 BibTeX
- Ralf Guido Herrtwich:
Time Capsules: An Abstraction for Access of Continuous-Media Data.
11-20 BibTeX
- Douglas Washabaugh, Dennis G. Kafura:
Incremental Garbage Collection of Concurrent Objects for Real-Time Applications.
21-31 BibTeX
- Joseph Y.-T. Leung, C. S. Wong:
Minimizing the Number of Late Tasks with Error Constraint.
32-40 BibTeX
- Chia Shen, Krithi Ramamritham, John A. Stankovic:
Resource Reclaiming in Real-Time.
41-50 BibTeX
- Nancy D. Griffeth, Abel Weinrib:
Scalability of a Distributed Real-Time Resource Counter.
51-61 BibTeX
- Douglas A. Stuart:
Implementing a Verifier for Real-Time Systems.
62-71 BibTeX
- Chang Yun Park, Alan C. Shaw:
Experiments with a Program Timing Tool Based on Source-Level Timing Schema.
72-81 BibTeX
- Karsten Schwan, Ahmed Gheith, Hongyi Zhou:
From CHAOS^it base to CHAOS^it arc: A Family of Real-Time Kernels.
82-93 BibTeX
- Jayant R. Haritsa, Michael J. Carey, Miron Livny:
Dynamic Real-Time Optimistic Concurrency Control.
94-103 BibTeX
- Yi Lin, Sang Hyuk Son:
Concurrency Control in Real-Time Databases by Dynamic Adjustment of Serialization Order.
104-112 BibTeX
- Robert K. Abbott, Hector Garcia-Molina:
Scheduling I/O Requests with Deadlines: A Performance Evaluation.
113-125 BibTeX
- Joseph Y.-T. Leung, Tommy W. Tam, Gilbert H. Young:
On-Line Routing of Real-Time Messages.
126-135 BibTeX
- Kang G. Shin, Chao-Ju Hou:
Analysis of Three Contention Protocols in Distributed Real-Time Systems.
136-145 BibTeX
- Yann-Hang Lee, L.-T. Shen:
Real-Time Communication in Multiple Token Ring Networks.
146-155 BibTeX
- H. Raymond Strong, Danny Dolev, Flaviu Cristian:
New Latency Bounds for Atomic Broadcast.
156-165 BibTeX
- Brian A. Coan, G. Thomas:
Agreeing on a Leader in Real-Time.
166-172 BibTeX
- Paul D. Ezhilchelvan, Rogério de Lemos:
A Robust Group Membership Algorithm for Distributed Real-Time Systems.
173-181 BibTeX
- Sanjoy K. Baruah, Aloysius K. Mok, Louis E. Rosier:
Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor.
182-190 BibTeX
- Theodore P. Baker:
A Stack-Based Resource Allocation Policy for Realtime Processes.
191-200 BibTeX
- John P. Lehoczky:
Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines.
201-213 BibTeX
- J. J. Molini, S. K. Maimon, P. H. Watson:
Real-Time System Scenarios.
214-225 BibTeX
- Sukhamoy Som, Roland R. Mielke, John W. Stoughton:
Strategies for Predictability in Real-Time Data-Flow Architectures.
226-237 BibTeX
- Kevin B. Kenny, Kwei-Jay Lin:
Structuring Large Real-Time Systems with Performance Polymorphism.
238-246 BibTeX
- Prabha Gopinath, A. Gupta:
Applying Compiler Techniques to Scheduling in Real-Time Systems.
247-256 BibTeX
- Vivek Nirkhe, Satish K. Tripathi, Ashok K. Agrawala:
Language Support for the Maruti Real-Time System.
257-266 BibTeX
- C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng:
MRL: A Real-Time Rule-Based Production System.
267-277 BibTeX
- Hans Hansson, Bengt Jonsson:
A Calculus for Communicating Systems with Time and Probabitilies.
278-287 BibTeX
- A. Gerber, I. Lee:
A Proof System for Communicating Shared Resources.
288-299 BibTeX
- Victor Yodaiken, Krithi Ramamritham:
Specifying and Verifying a Real-Time Priority Queue with Modal Algebra.
300-311 BibTeX
- S. J. Adams, T. Sims:
A Tagged Memory Technique for Recovery from Transient Errors in Fault Tolerant Systems.
312-321 BibTeX
- D. B. Kirk, Jay K. Strosnider:
SMART (Strategic Memory Allocation for Real-Time) Cache Design Using the MIPS R3000.
322-330 BibTeX
- Lui Sha, John P. Lehoczky, Ragunathan Rajkumar:
Real-Time Scheduling Support in Futurebus+.
331 BibTeX
Copyright © Wed Jun 4 18:52:00 2008
by Michael Ley (ley@uni-trier.de)
