![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
15th RTSS 1994: San Juan, Puerto Rico
- Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), San Juan, Puerto Rico, December 7-9, 1994. IEEE Computer Society 1994, ISBN 0-8186-6600-5
Scheduling and Resource Allocation I
- Marco Spuri, Giorgio C. Buttazzo:
Efficient Aperiodic Service Under Earliest Deadline Scheduling. 2-11 - Neil C. Audsley, Robert I. Davis, Alan Burns:
Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems. 12-21 - Sandra R. Thuel, John P. Lehoczky:
Algorithms for Scheduling Hard Aperiodic Tasks in Fixed-Priority Systems Using Slack Stealing. 22-33
Databases and Resource Management
- Azer Bestavros
, Spyridon Braoudakis:
Timeliness via Speculation for Real-Time Databases. 36-45 - Jiandong Huang, Ding-Zhu Du:
Resource Management for Continuous Multimedia Database Applications. 46-54
Communications I
- Dan Picker, Ronald D. Fellman:
Scaling and Performance of a Priority Packet Queue for Real-Time Applications. 56-62 - Kenji Toda, Kenji Nishida, Eiichi Takahashi, Yoshinori Yamaguchi:
A Priority Forwarding Router Chip for Real-Time Interconnection Networks. 63-73 - Kai Chiu Kwan, Parameswaran Ramanathan:
Multiple Route Real-Time Channels in Packet-Switched Networks. 74-83
Compilers
- Rajiv Gupta
, Madalene Spezialetti:
Busy-Idle Profiles and Compact Task Graphs: Compile-Time Support for Interleaved and Overlapped Scheduling of Real- Time Tasks. 86-96 - Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Chong-Sang Kim:
An Accurate Worst Case Timing Analysis Technique for RISC Processors. 97-108 - Mohamed F. Younis, Thomas J. Marlowe, Alexander D. Stoyenko:
Compiler Transformations for Speculative Execution in a Real-Time System. 109-117
Formal Methods
- Constance L. Heitmeyer
, Nancy A. Lynch:
The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. 120-131 - James C. Corbett:
Modeling and Analysis of Real-Time Ada Tasking Programs. 132-141 - Rwo-Hsi Wang, Aloysius K. Mok:
Response-Time Bounds of Rule-Based Programs Under Rule Priority Structure. 142-151
Experimental Systems and Applications
- Hermann Kopetz:
A Solution to an Automotive Control System Benchmark. 154-158 - David del Val, Ángel Viña:
Applying RMA to Improve a High-Speed, Real Time Data Acquisition System. 159-164 - Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini:
ARINC 659 Scheduling: Problem Definition. 165-169
Tools
- Robert D. Arnold, Frank Mueller, David B. Whalley, Marion G. Harmon:
Bounding Worst-Case Instruction Cache Performance. 172-181 - Jyh-Charn Liu, Hung-ju Lee:
Deterministic Upperbounds of the Worst-Case Execution Times of Cached Programs. 182-191 - Richard Gerber, Seongsoo Hong, Manas Saksena:
Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes. 192-203
Scheduling and Resource Allocation II
- Kai Wang, Tein-Hsiang Lin:
Scheduling Adaptive Tasks in Real-Time Systems. 206-215 - Marco Di Natale
, John A. Stankovic:
Dynamic End-to-End Guarantees in Distributed Real Time Systems. 216-227 - Sanjoy K. Baruah, Jayant R. Haritsa, Nitin Sharma:
On-Line Scheduling to Maximize Task Completions. 228-236
Communications II
- Louise E. Moser, P. M. Melliar-Smith:
Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. 238-248 - Rosa M. L. R. Carmo, Francisco Vasques
, Guy Juanole:
Real-Time Communication Services in a DQDB Network. 249-258 - Ken Tindell, H. Hanssmon, Andy J. Wellings:
Analysing Real-Time Communications: Controller Area Network (CAN). 259-263
Formal Approaches and Language
- Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi:
Computing Quantitative Characteristics of Finite-State Real-Time Systems. 266-270 - Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
:
Verifying an Intelligent Structural Control System: A Case Study. 271-275 - Paul J. Fortier, Victor Fay Wolfe, Janet J. Prichard:
Flexible Real-Time SQL Transactions. 276-280
Operating Systems and Communications
- Chitra Venkatramani, Tzi-cker Chiueh:
Supporting Real-Time Traffic on Ethernet. 282-286 - Daniel I. Katcher, Kevin A. Kettler, Jay K. Strosnider:
Modeling DSP Operating Systems for Multimedia Applications. 287-291 - Brad Adelberg, Hector Garcia-Molina, Ben Kao:
Emulating Soft Real-Time Scheduling Using Traditional Operating System Schedulers. 292-298
![](https://dblp.uni-trier.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.