1268 search results - page 142 / 254 » Verifying distributed systems: the operational approach |
PPOPP
2005
ACM
15 years 3 months ago
2005
ACM
Disk subsystem is known to be a major contributor to overall power consumption of high-end parallel systems. Past research proposed several architectural level techniques to reduc...
ICAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Detection and diagnosis of faults in a large-scale distributed system is a formidable task. Interest in monitoring and using traces of user requests for fault detection has been o...
SACMAT
2006
ACM
15 years 3 months ago
2006
ACM
We propose an integrity measurement approach based on information flow integrity, which we call the Policy-Reduced Integrity Measurement Architecture (PRIMA). The recent availabi...
105
click to vote
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
EUROSYS
2008
ACM
15 years 7 months ago
2008
ACM
Parallax is a distributed storage system that uses virtualization to provide storage facilities specifically for virtual environments. The system employs a novel architecture in ...