2811 search results - page 72 / 563 » Real-Time Component-Based Systems |
ERSHOV
2003
Springer
14 years 2 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...
HASE
2002
IEEE
14 years 1 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...
DAC
1999
ACM
14 years 1 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 ...
RTCSA
1999
IEEE
14 years 1 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...
RTSS
1999
IEEE
14 years 1 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...