1268 search results - page 110 / 254 » Verifying distributed systems: the operational approach |
SIGCOMM
2010
ACM
14 years 10 months ago
2010
ACM
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...
EUROPAR
1999
Springer
15 years 2 months ago
1999
Springer
This paper describes an approach to the implementation and the operation of a Simultaneous Multithreaded processor. We propose an architecture which integrates a software mechanism...
USENIX
2008
15 years 10 days ago
2008
Despite a low occurrence rate, silent data corruption represents a growing concern for storage systems designers. Throughout the storage hierarchy, from the file system down to th...
HPDC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper proposes a comprehensive modeling architecture for workloads on parallel computers using Markov chains in combination with state dependent empirical distribution functi...
SOSP
2003
ACM
15 years 7 months ago
2003
ACM
Numerous systems have been designed which use virtualization to subdivide the ample resources of a modern computer. Some require specialized hardware, or cannot support commodity ...