24554 search results - page 512 / 4911 » Dependable distributed systems |
200
click to vote
RTCSA
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper presents an implementation of feedback control strategy on distributed static scheduling. The static schedule is created taking into account the average execution times...
171
click to vote
FROCOS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
229
click to vote
WOSP
2004
ACM
16 years 9 days ago
2004
ACM
This paper analyzes the performability of client-server applications that use a separate fault management architecture for monitoring and controlling of the status of the applicat...
164
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
1 We present an approach to schedulability analysis for the synthesis of multi-cluster distributed embedded systems consisting of timetriggered and event-triggered clusters, interc...
184
click to vote
ATC
2006
Springer
15 years 10 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...