default search action
Real-Time Systems, Volume 9
Volume 9, Number 1, July 1995
- Alan A. Bertossi, Massimo Bonometto, Luigi V. Mancini:
Increasing Processor Utilization in Hard-Real-Time Systems with Checkpoints. 5-29 - T. M. Ghazalie, Theodore P. Baker:
Aperiodic Servers in a Deadline Scheduling Environment. 31-67 - Kang G. Shin, Chao-Ju Hou:
Analytic Evaluation of Contention Protocols Used in Distributed Real-Time Systems. 69-107
Volume 9, Number 2, September 1995
- Ping Zhou, Jozef Hooman:
Formal Specification and Compositional Verification of an Atomic Broadcast Protocol. 119-145 - Ken Tindell, Alan Burns, Andy J. Wellings:
Analysis of Hard Real-Time Communications. 147-171 - George Hassapis, John Papadopoulos:
Support Software for the Development of Programmable Logic Controller Applications. 173-193
Volume 9, Number 3, November 1995
- Yingfeng Oh, Sang Hyuk Son:
Allocating Fixed-Priority Periodic Tasks on Multiprocessor Systems. 207-239 - Wil M. P. van der Aalst, Michiel A. Odijk:
Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets. 241-263 - Justin N. Akazan, Zoubir Mammeri:
On Tasks Synchronization with the MMS Protocol. 265-287 - Ruck Thawonmas, Goutam Chakraborty, Norio Shiratori:
Fast Heuristic Scheduling Based on Neural Networks for Real-Time Systems. 289-304
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.