163 search results - page 10 / 33 » A Case Study in the Mechanical Verification of Fault Toleran... |
ICS
2007
Tsinghua U.
14 years 26 days ago
2007
Tsinghua U.
Large-scale parallel computing is relying increasingly on clusters with thousands of processors. At such large counts of compute nodes, faults are becoming common place. Current t...
EDCC
2005
Springer
14 years 7 days ago
2005
Springer
Fault links represent relationships between the types of mistakes made and the type of module being developed or modified. The existence of such fault links can be used to guide co...
ICDCS
1995
IEEE
13 years 10 months ago
1995
IEEE
One of the mostsoughtaftersoftware innovation of thisdecade is the construction of systems using off-the-shelf workstations that actually deliver, and even surpass, the power and ...
CBSQ
2003
Springer
13 years 12 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
DICS
2006
13 years 10 months ago
2006
Dynamic Parallel Schedules (DPS) is a flow graph based framework for developing parallel applications on clusters of workstations. The DPS flow graph execution model enables automa...