1042 search results - page 184 / 209 » Failing First: An Update |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
In this paper, we study the average case complexity of the Unique Games problem. We propose a natural semi-random model, in which a unique game instance is generated in several st...
JCST
2011
13 years 4 months ago
2011
Software defect detection aims to automatically identify defective software modules for efficient software test in order to improve the quality of a software system. Although many...
DAC
2010
ACM
13 years 4 months ago
2010
ACM
This paper presents a logic restructuring technique named node addition and removal (NAR). It works by adding a node into a circuit to replace an existing node and then removing t...
HOTNETS
2010
13 years 4 months ago
2010
There are a lot of applications that run on modern mobile operating systems. Inevitably, some of these applications fail in the hands of users. Diagnosing a failure to identify the...
SYNTHESE
2010
13 years 4 months ago
2010
In this paper I outline my conception of the epistemology of science, by reference to my published papers, showing how the ideas presented there fit together. In particular I disc...