15888 search results - page 121 / 3178 » Supporting human-intensive systems |
121
click to vote
NSDI
2004
15 years 4 months ago
2004
Availability is a storage system property that is both highly desired and yet minimally engineered. While many systems provide mechanisms to improve availability
125
Voted
DAC
2007
ACM
16 years 4 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
126
click to vote
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
121
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we present the overall design for an auctioning based resource trading/acquiring system that can be deployed in wide-area computing systems such as Grid systems. Se...
108
click to vote
HICSS
1994
IEEE
15 years 7 months ago
1994
IEEE
This paper addresses a purely software-based solution to the multiprocessor cache coherence problem by structuring an operating system to provide for the coherence of its own data...