DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
Protecting the register value and its data buses is crucial to reliable computing in high-performance microprocessors due to the increasing susceptibility of CMOS circuitry to sof...
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
Total order broadcast is a fundamental communication primitive that plays a central role in bringing cheap software-based high availability to a wide array of services. This paper...
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper provides a technique, based on partially observable Markov decision processes (POMDPs), for building automatic recovery controllers to guide distributed system recovery...
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
The costs of data loss and unavailability can be large, so businesses use many data protection techniques, such as remote mirroring, snapshots and backups, to guard against failur...
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
In previous work, it has been shown how to solve atomic broadcast by reduction to consensus on messages. While this solution is theoretically correct, it has its limitations in pr...
DSN
2006
IEEE
14 years 2 months ago
2006
IEEE
In the asynchronous distributed system model, consensus is obtained in one communication step if all processes propose the same value. Assuming f < n/3, this is regardless of t...