![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.