1264 search results - page 64 / 253 » Designing Safe, Reliable Systems using Scade |
152
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
DVFS remains an important energy management technique for embedded systems. However, its negative impact on transient fault rates has been recently shown. In this paper, we propos...
167
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract—In distributed storage systems built using commodity hardware, it is necessary to store multiple replicas of every data chunk in order to ensure system reliability. In s...
146
click to vote
USENIX
1990
15 years 5 months ago
1990
This paper describes a new model for constructing distributed systems called the Remote Memory Model. The remote memory model consists of several client machines, one or more dedi...
126
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Software evolves to fix bugs and add features. Stopping and restarting programs to apply changes is inconvenient and often costly. Dynamic software updating (DSU) addresses this ...
135
click to vote
DDECS
2009
IEEE
15 years 11 months ago
2009
IEEE
—Quasi Delay Insensitive asynchronous logic is a very robust system allowing safe implementations while requiring minimal timing assumptions. Unfortunately the design methodologi...