2811 search results - page 72 / 563 » Real-Time Component-Based Systems |
112
click to vote
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
119
click to vote
HASE
2002
IEEE
15 years 7 months ago
2002
IEEE
We present two classes of distributed algorithms called DRBA and DOBA, for decentralized, proactive resource allocation in asynchronous real-time distributed systems. The objectiv...
121
click to vote
DAC
1999
ACM
15 years 6 months ago
1999
ACM
Power efficient design of real-time systems based on programmable processors becomes more important as system functionality is increasingly realized through software. This paper ...
138
Voted
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
A non-blocking protocol that allows real-time tasks to share data in a multiprocessor system is presented in this paper. The protocol gives the means to concurrent real-time tasks...
120
click to vote
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...