default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th RTSS 1995: Pisa, Italy
- 16th IEEE Real-Time Systems Symposium, Palazzo dei Congressi, Via Matteotti, 1, Pisa, Italy, December 4-7, 1995, Proceedings. IEEE Computer Society 1995, ISBN 0-8186-7337-0
Applications
- Simin Nadjm-Tehrani, Jan-Erik Strömberg:
Proving Dynamic Properties in an Aerospace Application. 2-10 - Nigel Baker, Wayne Harris, Chris Wallace, Richard McClatchey, Jean-Marie Le Goff:
Modelling a Real Time Control System Based on Distributed Objects. 11-15
Synchronization and OS
- Injong Rhee, Graham R. Martin:
A Scalable Real-Time Synchronization Protocol for Distributed Systems. 18-27 - James H. Anderson, Srikanth Ramamurthy, Kevin Jeffay:
Real-Time Computing with Lock-Free Shared Objects. 28-37 - Marty Humphrey, Gary Wallace, John A. Stankovic:
Kernel-Level Threads for Dynamic, Hard Real-Time Environments. 38-48 - Frank Mueller, Viresh Rustagi, Ted Baker:
MiThOS - A Real-Time Micro-Kernel Threads Operating System. 49-53
Formal Methods
- Thomas A. Henzinger
, Pei-Hsin Ho, Howard Wong-Toi:
HyTech: The Next Generation. 56-65 - Conrado Daws, Sergio Yovine:
Two Examples of Verification of Multirate Timed Automata with Kronos. 66-75 - Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Compositional and Symbolic Model-Checking of Real-Time Systems. 76-87
Scheduling I
- Giorgio C. Buttazzo, Marco Spuri, Fabrizio Sensini:
Value vs. Deadline Scheduling in Overload Conditions. 90-99 - Robert I. Davis, Andy J. Wellings:
Dual Priority Scheduling. 100-109 - Gilad Koren, Dennis E. Shasha:
An Approach To Handling Overloaded Systems That Allow Skips. 110-119
Fault Tolerance
- Sunondo Ghosh, Rami G. Melhem, Daniel Mossé:
Enhancing Real-Time Schedules to Tolerate Transient Faults. 120-129 - Scott Dawson, Farnam Jahanian, Todd Mitton:
A Software Fault Injection Tool on Real-Time Mach. 130-140 - Biao Chen, Sanjay Kamat, Wei Zhao:
Fault-tolerant Real-Time Communication in FDDI-Based Networks. 141-150
Distributed Systems
- Gerhard Fohler:
Joint Scheduling of Distributed Complex Periodic and Hard Aperiodic Tasks in Statically Scheduled Systems. 152-161 - Tarek F. Abdelzaher, Kang G. Shin:
Optimal Combined Task and Message Scheduling in Distributed Real-Time Systems. 162-171 - Chih-wen Hsueh, Kwei-Jay Lin, Nong Fan:
Distributed Pinwheel Scheduling with End-to-End Timing Constraints. 172-181 - Hermann Kopetz, Martin Braun, Christian Ebner, Andreas Krüger, Dietmar Millinger, Roman Nossal, Anton V. Schedl:
The Design of Large Real-Time Systems: The Time-Triggered Approach. 182-187
Scheduling II
- Marco Di Natale, John A. Stankovic:
Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control. 190-199 - Sanjoy K. Baruah:
Fairness in Periodic Real-Time Scheduling. 200-209 - Marco Spuri, Giorgio C. Buttazzo, Fabrizio Sensini:
Robust Aperiodic Scheduling Under Dynamic Priority Systems. 210-219
Communication
- Ching-Chih Han, Chao-Ju Hou, Kang G. Shin:
On Slot Reuse for Isochronous Services in DQDB Networks. 222-231 - Chao-Ju Hou, Kar Shun Tsoi:
Dynamic Real-Time Channel Setup and Tear-Down in DQDB Networks. 232-241 - Kevin A. Kettler, Jay K. Strosnider:
Modeling Bus Scheduling Policies for Real-Time Systems. 242-253
Specification
- Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart:
Compiling Modechart Specifications. 256-265 - Jin-Young Choi, Insup Lee, Hong-liang Xie:
The Specification and Schedulability Analysis of Real-Time Systems using ACSR. 266-275 - Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi:
A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. 276-286
Timing Analysis
- Christopher A. Healy, David B. Whalley, Marion G. Harmon:
Integrating the Timing Analysis of Pipelining and Instruction Caching. 288-297 - Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe:
Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software. 298-307 - Yerang Hur, Young Hyun Bae, Sung-Soo Lim, Sung-Kwan Kim, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Chong-Sang Kim:
Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study. 308-319
Real-Time DB and Window Systems
- Y. C. Tay:
Some Performance Issues for Database Transactions with Firm Deadlines. 322-331 - Matthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son:
Managing Contention and Timing Constraints in a Real-Time Database System. 332-341 - John E. Sasinowski, Jay K. Strosnider:
ARTIFACT: A Platform for Evaluating Real-Time Window System Designs. 342-352
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.
last updated on 2026-09-02 00:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
