1227 search results - page 70 / 246 » Using Generation for Grammar Analysis and Error Detection |
102
click to vote
IEEEARES
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we propose a system that recognises gait and quadruped structure from a sparse set of tracked points. In this work the motion information is derived from dynamic wil...
ESEC
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
We propose a method to verify the result of attacks detected by signature-based network intrusion detection systems using lightweight protocol analysis. The observation is that ne...
139
click to vote
BCB
2010
14 years 4 months ago
2010
We present a new method for identifying gene sets associated with labeled samples, where the labels can be case versus control, or genotype differences. Existing approaches to thi...