242 search results - page 27 / 49 » Computing bounds for fault tolerance using formal techniques |
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
We propose a generalized forward recovery checkpointing scheme, with lookahead execution and rollback validation. This method takes advantage of voting and comparison on multiple v...
DAC
2003
ACM
15 years 2 months ago
2003
ACM
To improve the system performance, designs with multiple clocks have become more and more popular. In this paper, several novel test generation procedures are proposed to utilize ...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Execution of MPI applications on Clusters and Grid deployments suffers from node and network failure that motivates the use of fault tolerant MPI implementations. Two category tec...
ICDCSW
2007
IEEE
14 years 9 months ago
2007
IEEE
—Application mobility is an efficient way to mask uneven conditioning and reduce users’ distractions in pervasive environments. However, since mobility brings more dynamism and...
116
click to vote
DSD
2008
IEEE
14 years 11 months ago
2008
IEEE
Due to modern technology trends such as decreasing feature sizes and lower voltage levels, fault tolerance is becoming increasingly important in computing systems. Shared memory i...