


default search action
11th 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 1990, ISBN 0-8186-2112-5

- Clifford W. Mercer, Hideyuki Tokuda:

The ARTS Real-Time Object Model. 2-10 - Ralf Guido Herrtwich:

Time Capsules: An Abstraction for Access of Continuous-Media Data. 11-20 - Douglas Washabaugh, Dennis G. Kafura:

Incremental Garbage Collection of Concurrent Objects for Real-Time Applications. 21-30 - Joseph Y.-T. Leung, C. S. Wong:

Minimizing the Number of Late Tasks with Error Constraint. 32-40 - Chia Shen, Krithi Ramamritham, John A. Stankovic:

Resource Reclaiming in Real-Time. 41-50 - Nancy D. Griffeth, Abel Weinrib:

Scalability of a Distributed Real-Time Resource Counter. 51-59 - Douglas A. Stuart:

Implementing a Verifier for Real-Time Systems. 62-71 - Chang Yun Park, Alan C. Shaw:

Experiments with a Program Timing Tool Based on Source-Level Timing Schema. 72-81 - Karsten Schwan, Ahmed Gheith, Hongyi Zhou:

From CHAOS^it base to CHAOS^it arc: A Family of Real-Time Kernels. 82-91 - Jayant R. Haritsa, Michael J. Carey, Miron Livny:

Dynamic Real-Time Optimistic Concurrency Control. 94-103 - Yi Lin, Sang Hyuk Son:

Concurrency Control in Real-Time Databases by Dynamic Adjustment of Serialization Order. 104-112 - Robert K. Abbott, Hector Garcia-Molina:

Scheduling I/O Requests with Deadlines: A Performance Evaluation. 113-124 - Joseph Y.-T. Leung, Tommy W. Tam, Gilbert H. Young:

On-Line Routing of Real-Time Messages. 126-135 - Kang G. Shin, Chao-Ju Hou:

Analysis of Three Contention Protocols in Distributed Real-Time Systems. 136-145 - Yann-Hang Lee, Li-Tao Shen:

Real-Time Communication in Multiple Token Ring Networks. 146-154 - H. Raymond Strong, Danny Dolev, Flaviu Cristian:

New Latency Bounds for Atomic Broadcast. 156-165 - Brian A. Coan, Gomer Thomas:

Agreeing on a Leader in Real-Time. 166-172 - Paul D. Ezhilchelvan

, Rogério de Lemos
:
A Robust Group Membership Algorithm for Distributed Real-Time Systems. 173-179 - Sanjoy K. Baruah, Aloysius K. Mok, Louis E. Rosier:

Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor. 182-190 - Theodore P. Baker:

A Stack-Based Resource Allocation Policy for Realtime Processes. 191-200 - John P. Lehoczky:

Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines. 201-209 - J. J. Molini, S. K. Maimon, P. H. Watson:

Real-Time System Scenarios. 214-225 - Sukhamoy Som, Roland R. Mielke, John W. Stoughton:

Strategies for Predictability in Real-Time Data-Flow Architectures. 226-235 - Kevin B. Kenny, Kwei-Jay Lin:

Structuring Large Real-Time Systems with Performance Polymorphism. 238-246 - Prabha Gopinath, Rajiv Gupta:

Applying Compiler Techniques to Scheduling in Real-Time Systems. 247-256 - Vivek Nirkhe, Satish K. Tripathi, Ashok K. Agrawala:

Language Support for the Maruti Real-Time System. 257-266 - C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng

:
MRL: A Real-Time Rule-Based Production System. 267-276 - Hans Hansson

, Bengt Jonsson:
A Calculus for Communicating Systems with Time and Probabitilies. 278-287 - Richard Gerber, Insup Lee:

A Proof System for Communicating Shared Resources. 288-299 - Victor Yodaiken, Krithi Ramamritham:

Specifying and Verifying a Real-Time Priority Queue with Modal Algebra. 300-310 - Stuart J. Adams, Terry Sims:

A Tagged Memory Technique for Recovery from Transient Errors in Fault Tolerant Systems. 312-321 - David Blair Kirk, Jay K. Strosnider:

SMART (Strategic Memory Allocation for Real-Time) Cache Design Using the MIPS R3000. 322-330 - Lui Sha, John P. Lehoczky, Ragunathan Rajkumar:

Real-Time Scheduling Support in Futurebus+. 331-340

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














