RTCSA
1998
IEEE
14 years 3 months ago
1998
IEEE
RTCSA
1998
IEEE
14 years 3 months ago
1998
IEEE
In this paper, we propose a protocol synthesis method based on a partial order model (called event structures) for the class of context-free processes. First, we assign a unique n...
RTCSA
1998
IEEE
14 years 3 months ago
1998
IEEE
Advances in the computer technology encouraged the avionics industry to replace the federated design of control units with an integrated suite of control modules that share the co...
RTCSA
1998
IEEE
14 years 3 months ago
1998
IEEE
RTCSA
1998
IEEE
14 years 3 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
RTCSA
1998
IEEE
14 years 3 months ago
1998
IEEE