


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














