1227 search results - page 84 / 246 » Using Generation for Grammar Analysis and Error Detection |
121
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
141
Voted
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
The Fisher kernel is a generic framework which combines the benefits of generative and discriminative approaches to pattern classification. In this contribution, we propose to a...
108
Voted
TROB
2008
15 years 3 months ago
2008
-- This paper presents the theoretical analysis and the experimental validation of the force sensing capabilities of continuum robots. These robots employ super-elastic NiTi backbo...
113
click to vote
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
156
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: DNA copy number alterations are one of the main characteristics of the cancer cell karyotype and can contribute to the complex phenotype of these cells. These alterati...