7766 search results - page 1180 / 1554 » Testing Nondeterminate Systems |
143
Voted
MOBISYS
2009
ACM
16 years 5 months ago
2009
ACM
In this paper, we present a reliable storage service, called SolarStore, that adaptively trades-off storage reliability versus energy consumption in solar-powered sensor networks....
174
click to vote
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
The continuing frequency and seriousness of security incidents underlines the importance of application security. Decentralized information flow control (DIFC), a promising tool ...
137
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...
135
click to vote
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...
150
click to vote
LCTRTS
2009
Springer
15 years 11 months ago
2009
Springer
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...