๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Refinement of actions for real-time concurrent systems with causal ambiguity

โœ Scribed by Mila Majster-Cederbaum; Jinzhao Wu; Houguang Yue


Publisher
Springer-Verlag
Year
2005
Tongue
English
Weight
639 KB
Volume
42
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Minimal schedulability interval for real
โœ Annie Choquet-Geniet; Emmanuel Grolleau ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 286 KB

We consider real-time systems in highly safety context where tasks have to meet strict deadlines. Tasks are periodic, may have o sets, share critical resources and be precedence constrained. O -line scheduling should be of great help for such systems, but methods proposed in the literature cannot de

Using language C for real-time control o
โœ C.G. Murray; P.M.D. Gray ๐Ÿ“‚ Article ๐Ÿ“… 1982 ๐Ÿ› Elsevier Science โš– 940 KB

The manufacturers of several 16-bit microcomputers are now adopting the UNIX operating system developed at Bell Laboratories which is written in the high level language C. However, UNIX is not a real-time system, and this is a drawback for the engineer who may wish to use a microcomputer for control