


default search action
19th RTSS 1998: Madrid, Spain
- Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998. IEEE Computer Society 1998, ISBN 0-8186-9212-X

Session 1: Keynote Talk
- David Martinez:

Future Challenges in the Development of Real-Time High Performance Embedded Systems. 1-2
Session 2: Systems and Scheduling I
- Luca Abeni, Giorgio C. Buttazzo:

Integrating Multimedia Applications in Hard Real-Time Systems. 4-13 - Masaaki Iwasaki, Tadashi Takeuchi, Masahiko Nakahara, Takahiro Nakano:

Isochronous Scheduling and its Application to Traffic Control. 14-25 - José C. Palencia Gutiérrez, Michael González Harbour:

Schedulability Analysis for Tasks with Static and Dynamic Offsets. 26-37
Session 3.A: Databases and Filesystems
- Ray-I Chang, Wei-Kuan Shih, Ruei-Chuan Chang:

Deadline-Modification-SCAN with Maximum-Scannable-Groups for Multimedia Real-Time Disk Scheduling. 40-49 - Kwok-Wa Lam, Sang Hyuk Son, Victor C. S. Lee, Sheung-lun Hung:

Using Separate Algorithms to Process Read-Only Transactions in Real-Time Systems. 50-59 - R. Srinivasan, C. Liang, Krithi Ramamritham:

Maintaining Temporal Coherency of Virtual Data Warehouses. 60-70
Session 3.B: Systems Design and Development I
- Lonnie R. Welch, Binoy Ravindran, Behrooz A. Shirazi, Carl Bruggeman:

Specification and Modeling of Dynamic, Distributed Real-Time Systems. 72-81 - Ulf Nilsson, S. Streiffert, Anders Törne:

Detailed Design of Avionics Control Software. 82-91 - Manas Saksena, Alan Ptak, Paul Freedman, Pawel Rodziewicz:

Schedulability Analysis for Automated Implementations of Real-Time Object-Oriented Models. 92-102
Session 4.A: Scheduling and Analysis I
- Ching-Chih Jason Han:

A Better Polynomial-Time Schedulability Test for Real-Time Multiframe Tasks. 104-113 - Sanjoy K. Baruah:

A General Model for Recurring Real-Time Tasks. 114-122 - Alia Atlas, Azer Bestavros

:
Statistical Rate Monotonic Scheduling. 123-132
Session 4.B: Timing Analysis and Compiler Techniques
- Peter P. Puschner, Roman Nossal:

Testing the Results of Static Worst-Case Execution-Time Analysis. 134-143 - Henrik Theiling, Christian Ferdinand:

Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. 144-153 - Sundaram Anantharaman, Santosh Pande

:
Compiler Optimizations for Real Time Execution of Loops on Limited Memory Embedded Systems. 154-164
Session 5: Keynote Talk
- Bran Selic:

Animated Structures: Real-Time, Objects, and the UML. 165-
Session 6: Systems and Scheduling II
- Hermann Kopetz:

The Time-Triggered Model of Computation. 168-177 - Inki Hong, Gang Qu, Miodrag Potkonjak, Mani B. Srivastava:

Synthesis Techniques for Low-Power Hard Real-Time Systems on Variable Voltage Processors. 178-187 - Danbing Seto, John P. Lehoczky, Lui Sha:

Task Period Selection and Schedulability in Real-Time Systems. 188-198
Session 7.A: Testing, Verification and Analysis I
- Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber:

Automatic Testing of Reactive Systems. 200-209 - Guillaume P. Brat, Vijay K. Garg:

Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra. 210-219 - Abdeslam En-Nouaary, Rachida Dssouli, Ferhat Khendek, Abdelkader Elqortobi:

Timed Test Cases Generation Based on State Characterization Technique. 220-229
Session 7.B: Operating Systems and Services
- Frank W. Miller, Peter J. Keleher, Satish K. Tripathi:

General Data Streaming. 232-241 - Martin Borriss, Hermann Härtig:

Design and Implementation of a Real-Time ATM-Based Protocol Server. 242-252 - Kevin Jeffay, F. Donelson Smith, A. Moorthy, James H. Anderson:

Proportional Share Scheduling of Operating System Services for Real-Time Applications. 480-491
Session 8.A: Testing, Verification and Analysis II
- Rajeev Alur, Robert P. Kurshan, Mahesh Viswanathan:

Membership Questions for Timed and Hybrid Automata. 254-263 - Víctor A. Braberman, Dang Van Hung:

On Checking Timed Automata for Linear Duration Invariants. 264-273 - Michael J. Meyer, Howard Wong-Toi:

Schedulability Analysis of Acyclic Processes. 274-284
Session 8.B: Quality of Service Issues
- Giorgio C. Buttazzo, Giuseppe Lipari

, Luca Abeni:
Elastic Task Model for Adaptive Rate Control. 286-295 - Ragunathan Rajkumar, Chen Lee, John P. Lehoczky, Daniel P. Siewiorek:

Practical Solutions for QoS-Based Resource Allocation. 296-306 - Scott A. Brandt, Gary J. Nutt, Toby S. Berk, James E. Mankovich:

A Dynamic Quality of Service Middleware Agent for Mediating Application Resource Usage. 307-317
Session 9: Keynote Talk
- Ted Baker:

From POSIX Threads to Ada to Java: A Brief History of Runtime Development for Some Real-Time Programming Languages. 319-
Session 10: Operating Systems and Runtimes
- Alexander G. Dean

, John Paul Shen:
Techniques for Software Thread Integration in Real-Time Embedded Systems. 322-333 - Sung-Soo Lim, Jung Hee Han, Jihong Kim, Sang Lyul Min:

A Worst Case Timing Analysis Technique for Multiple-Issue Machines. 334-345 - James H. Anderson, Rohit Jain, Kevin Jeffay:

Efficient Object Sharing in Quantum-Based Real-Time Systems. 346-355
Session 11.A: Systems Design and Development Tools II
- Bernd Hedenetz:

A Development Framework for Ultra-Dependable Automotive Systems Based on a Time-Triggered Architecture. 358-367 - Carlos Puchol, Aloysius K. Mok:

Integrated Design Tools for Hard Real-Time Systems. 368-378 - Alan Mink, Wayne Salamon, Jeffrey K. Hollingsworth, Ramu Arunachalam:

Performance Measurement Using Low Perturbation and High Precision Hardware Assists. 379-388
Session 11.B: Scheduling and Analysis II
- Andy J. Wellings, Ljerka Beus-Dukic, David Powell:

Real-Time Scheduling in a Generic Fault-Tolerant Architecture. 390-398 - Mikael Sjödin, Hans Hansson:

Improved Response-Time Analysis Calculations. 399-408 - Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky:

Symbolic Schedulability Analysis of Real-Time Systems. 409-418
Session 12.A: Dependability and Fault Tolerance
- Luís E. T. Rodrigues, Mário Luís Guimarães

, José Rufino:
Fault-Tolerant Clock Synchronization in CAN. 420-429 - Carlos Almeida, Paulo Veríssimo:

Using Light-Weight Groups to Handle Timing Failures in Quasi-Synchronous Systems. 430-439 - Lui Sha:

Dependable System Upgrade. 440-448
Session 12.B: Communications and Networks
- Pawan Goyal, Harrick M. Vin:

Statistical Delay Guarantee of Virtual Clock. 450-459 - Ashish Mehra, Anees Shaikh, Tarek F. Abdelzaher, Zhiqun Wang, Kang G. Shin:

Realizing Services for Guaranteed-QoS Communication on a Microkernel Operating System. 460-469 - John P. Lehoczky:

Scheduling Communication Networks Carrying Real-Time Traffic. 470-479

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














