24554 search results - page 143 / 4911 » Dependable distributed systems |
140
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. The DECOS architec...
115
click to vote
ISCA
2008
IEEE
15 years 11 months ago
2008
IEEE
Modern processors rely on memory dependence prediction to execute load instructions as early as possible, speculating that they are not dependent on an earlier, unissued store. To...
127
click to vote
TYPES
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
138
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper presents a sufficient condition that establishes closed loop stability for linear time invariant dynamical systems with transfer functions that are analytic in the ...