4880 search results - page 618 / 976 » Mechanism Design by Creditability |
174
click to vote
CDES
2006
15 years 8 months ago
2006
- Error detection plays an important role in fault-tolerant computer systems. Two primary parameters concerned for error detection are the latency and coverage. In this paper, a ne...
188
click to vote
IJIT
2004
15 years 8 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
192
click to vote
ECIS
2003
15 years 8 months ago
2003
Since networks and computing systems are vital components of today's life, it is of utmost importance to endow them with the capability to survive physical and logical faults...
205
click to vote
SDL
2001
15 years 8 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
190
click to vote
OSDI
2000
ACM
15 years 8 months ago
2000
ACM
A variety of performance-enhancing techniques, such as striping, mirroring, and rotational data replication, exist in the disk array literature. Given a fixed budget of disks, one...