7778 search results - page 1171 / 1556 » Designing Controllers for Reachability |
182
click to vote
RSP
2000
IEEE
15 years 9 months ago
2000
IEEE
Dataflow programming has proven to be popular for representing applications in rapid prototyping tools for digital signal processing (DSP); however, existing dataflow design tools...
158
click to vote
POPL
1999
ACM
15 years 9 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
151
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
139
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
Typically, temporal validity of real-time data is maintained by periodic update transactions. In this paper, we examine the problem of period and deadline assignment for these upda...
152
click to vote
RTCSA
1998
IEEE
15 years 9 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...