1227 search results - page 106 / 246 » Using Generation for Grammar Analysis and Error Detection |
184
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
130
Voted
AAAI
2008
15 years 6 months ago
2008
We describe a method to improve detection of disease outbreaks in pre-diagnostic time series data. The method uses multiple forecasters and learns the linear combination to minimi...
174
Voted
CIA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a method that improves the results of network intrusion detection by integration of several anomaly detection algorithms through trust and reputation models. O...
129
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
121
Voted
VTS
2006
IEEE
15 years 9 months ago
2006
IEEE
A new algorithm for identifying stuck faults in combinational circuits that cannot be detected by a given input sequence is presented. Other than pre and post-processing steps, ce...