1411 search results - page 111 / 283 » A Value Analysis for C Programs |
142
click to vote
WCRE
2006
IEEE
15 years 10 months ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
131
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Code specialization is a way to obtain significant improvement in the performance of an application. It works by exposing values of different parameters in source code. The availa...
190
click to vote
FOGA
2011
14 years 7 months ago
2011
The distribution of fitness values across a set of states sharply influences the dynamics of evolutionary processes and heuristic search in combinatorial optimization. In this p...
158
click to vote
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
237
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...