10. RTSS 1989:
Santa Monica,
California,
USA
Proceedings of the Real-Time Systems Symposium - 1989,
Santa Monica,
California,
USA,
December 1989. IEEE Computer Society Press,
1989
- Joseph Y.-T. Leung, Tommy W. Tam, C. S. Wong, G. H. Wong:
Minimizing Mean Flow Time with Error Constraint.
2-11 BibTeX
- Wei Kuan Shih, Jane W.-S. Liu, Jen-Yao Chung:
Fast Algorithms for Scheduling Imprecise Computations.
12-21 BibTeX
- Marc D. Donner, David H. Jameson, William L. Moran Jr.:
Events: A Structuring Mechanism for a Real-Time Runtime System.
22-30 BibTeX
- E. W. Giering, Theodore P. Baker:
Toward the Deterministic Scheduling of Ada Tasks.
31-40 BibTeX
- Padmanabhan Krishnan, Richard A. Volz:
A Distributed Real-Time Language and Its Operational Semantics.
41-51 BibTeX
- O. W. Craig, C. Murray Woodside:
Nearly Poisson Transfer Traffic in Real-Time Networks.
52-58 BibTeX
- Ching-Chih Han, Kwei-Jay Lin:
Scheduling Parallelizable Jobs on Multiprocessors.
59-67 BibTeX
- Richard Gerber, Insup Lee:
Communicating Shared Resources: A Model for Distributed Real-Time Systems.
68-78 BibTeX
- Thomas E. Marchok, Jay K. Strosnider, Hideyuki Tokuda:
Token-Ring Adapter-Chipset Architectural Considerations for Real-Time Systems.
79-91 BibTeX
- Jonathan S. Ostroff:
Real-Time Temporal Logic Decision Procedures.
92-101 BibTeX
- Hans Hansson, Bengt Jonsson:
A Framework for Reasoning about Time and Reliability.
102-111 BibTeX
- Matthew K. Franklin, Armen Gabrielian:
A Transformational Method for Verifying Safety Properties in Real-Time Systems.
112-125 BibTeX
- Philip M. Thambidurai, Kishor S. Trivedi:
Transient Overloads in Fault-Tolerant Real-Time Systems.
126-133 BibTeX
- Vijay Balasubramanian, Prithviraj Banerjee:
Algorithm-based Error Detection for Signal Processing Applications on a Hypercube Multiprocessor.
134-143 BibTeX
- Jiandong Huang, John A. Stankovic, Donald F. Towsley, Krithi Ramamritham:
Experimental Evaluation of Real-Time Transaction Processing.
144-155 BibTeX
- Wei Zhao, John A. Stankovic:
Performance Analysis of FCFS and Improved FCFS Scheduling Algorithms for Dynamic Real-Time Computer Systems.
156-165 BibTeX
- John P. Lehoczky, Lui Sha, Y. Ding:
The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior.
166-171 BibTeX
- Dieter Haban, Kang G. Shin:
Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times.
172-183 BibTeX
- Jehuda Ish-Shalom, Peter Kazanzides:
Signal Processor Architecture for High-Performance Real-Time Applications.
184-193 BibTeX
- Thomas E. Bihari, Prabha Gopinath, Karsten Schwan:
Object-Oriented Design of Real-Time Software.
194-203 BibTeX
- Alice H. Muntz, Ellis Horowitz:
A Framework for Specification and Design of Software for Advanced Sensor Systems.
204-213 BibTeX
- Myron Hecht, J. Agron, S. Hochhauser:
A Distributed Fault Tolerant Architecture for Nuclear Reactor Control and Safety Functions.
214-221 BibTeX
- Cristian Constantinescu, Calin Sandovici:
A Fault-Tolerant Microcomputer for Advanced Control: Architecture and Performability Analysis.
222-228 BibTeX
- D. B. Kirk:
SMART (Strategic Memory Allocation for Real-Time) Cache Design.
229-239 BibTeX
- X. Yuan, A. K. Argawala:
A Decomposition Approach to Non-preemptive Scheduling in Hard Real-Time Systems.
240-248 BibTeX
- Thierry Gautier, B. Le Goff:
From Synchronous Intensional Programming to Efficient Implementation.
249-257 BibTeX
- Vered Gafni:
A Tasking Model for Reactive Systems.
258-267 BibTeX
- Hagit Attiya, Nancy A. Lynch:
Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty.
268-284 BibTeX
- Donald W. Gillies, Jane W.-S. Liu:
Greed in Resource Scheduling.
285-294 BibTeX
- Kevin Jeffay:
Analysis of a Synchron ation and Scheduling Discipline for Real-Time Tasks with Preemption Constraints.
295-307 BibTeX
- Aloysius K. Mok:
Formal Analysis of Real-Time Equational Rule-Based Systems.
308-318 BibTeX
- Farnam Jahanian:
Verifying Broperties of Systems with Variable Timing Constraints.
319-329 BibTeX
- K. Arvind:
A New Brobabilistic AIgorithm for Clock Synchronization.
330-339 BibTeX
- Horst Wedde, Ghasem S. Alijani, D. Baran, Gookhai Kang, Bo-Kyung Kim:
Real-Time File Performance of a Completely Decentralized Adaptive File System.
340-347 BibTeX
- Hideyuki Tokuda, Clifford W. Mercer, Yutaka Ishikawa, Thomas E. Marchok:
Priority Inversions in Real-Time Communication.
348-359 BibTeX
- Luigi Ciminiera, Paolo Montuschi, Adriano Valenzano:
Some Properties of Double-Ring Networks with Real-Time Constraints.
360-368 BibTeX
Copyright © Sat May 16 23:36:15 2009
by Michael Ley (ley@uni-trier.de)
