6960 search results - page 928 / 1392 » Continuity Analysis of Programs |
156
click to vote
IPPS
2007
IEEE
16 years 19 days ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...
168
click to vote
ISSRE
2006
IEEE
16 years 11 days ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
173
click to vote
RTAS
2006
IEEE
16 years 10 days ago
2006
IEEE
The evolution of battery technology is not being able to keep up with the increasing performance demand of mobile embedded systems. Therefore, battery life has become an important...
171
click to vote
WCRE
2006
IEEE
16 years 10 days 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 ...
161
Voted
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...