Sciweavers

4 search results - page 1 / 1
» Finding Isolated Cliques by Queries -- An Approach to Fault ...
Sort
View
DAGSTUHL
2004
13 years 6 months ago
Finding Isolated Cliques by Queries -- An Approach to Fault Diagnosis with Many Faults
A well-studied problem in fault diagnosis is to identify the set of all good processors in a given set {p1, p2, . . . , pn} of processors via asking some processors pi to test whet...
William I. Gasarch, Frank Stephan
SIGSOFT
2006
ACM
14 years 5 months ago
Failure proximity: a fault localization-based approach
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
Chao Liu 0001, Jiawei Han
CORR
2010
Springer
66views Education» more  CORR 2010»
13 years 5 months ago
Query strategy for sequential ontology debugging
Abstract. Debugging is an important prerequisite for the wide-spread application of ontologies, especially in areas that rely upon everyday users to create and maintain knowledge b...
Kostyantyn M. Shchekotykhin, Gerhard Friedrich
CONSTRAINTS
2007
112views more  CONSTRAINTS 2007»
13 years 4 months ago
Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
Francisco Azevedo