20 search results - page 2 / 4 » SMT-Based Validation of Timed Failure Propagation Graphs |
DSN
2003
IEEE
14 years 23 days ago
2003
IEEE
Arbitrary faults of a single node in a time-triggered architecture (TTA) bus topology system may cause error propagation to correct nodes and may lead to inconsistent system state...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
The source code of a software system is in constant change. The impact of these changes spreads out across the software system and may lead to the sudden manifestation of failures...
PR
2000
2000
A region-level motion-based graph representation and labeling for tracking a spatial image partition
13 years 7 months ago
This paper addresses two image sequence analysis issues under a common framework. These tasks are, "rst, motion-based segmentation and second, updating and tracking over time...
WSDM
2010
ACM
14 years 4 months ago
2010
ACM
Recently, there has been tremendous interest in the phenomenon of influence propagation in social networks. The studies in this area assume they have as input to their problems a ...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Commodity computer clusters are often composed of hundreds of computing nodes. These generally off-the-shelf systems are not designed for high reliability. Node failures therefore...