5900 search results - page 370 / 1180 » Dependable Systems |
257
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
171
click to vote
ISORC
2005
IEEE
16 years 9 days 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...
268
click to vote
PRDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes the implementation of a processorgroup membership protocol in an experimental real-time network. The protocol is appropriate for fault-tolerant distributed sy...
171
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies the effect of heterogenous delays in networks of weakly pulse-coupled identical oscillators. We develop a new framework to study them by constructing a non-delay...
166
click to vote
ACL
2006
15 years 8 months ago
2006
This paper proposes a generic mathematical formalism for the combination of various structures: strings, trees, dags, graphs and products of them. The polarization of the objects ...