2957 search results - page 32 / 592 » Code analysis and CS-XML |
CGO
2010
IEEE
14 years 2 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
AICCSA
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
ICIP
2004
IEEE
14 years 9 months ago
2004
IEEE
Unlike conventional layered scalable video coding, leaky prediction layered video coding (LPLC) introduces a leaky factor , which takes on values in the range between 0 and 1, to ...
NDSS
2008
IEEE
14 years 1 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
BIOCOMP
2009
13 years 5 months ago
2009
- Identification and annotation of all the functional elements in the genome, including genes and regulatory sequences, is a fundamental challenge in genomics and computational bio...