5149 search results - page 171 / 1030 » Timed Asynchronous Distributed Systems |
126
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
136
click to vote
ISORC
1998
IEEE
15 years 7 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...
122
click to vote
ARCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
113
click to vote
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Traditional GSS workflow leverages the abilities of an expert facilitator to lead groups through the convergence activities. This dependence on a facilitator creates a bottleneck ...
116
click to vote
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author’s observations for more than...