3507 search results - page 12 / 702 » Slicing for architectural analysis |
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
Analysis of execution traces plays a fundamental role in many program analysis approaches. Execution traces are frequently parametric, i.e., they contain events with parameter bind...
ICS
1997
Tsinghua U.
14 years 2 months ago
1997
Tsinghua U.
Program slicing is an analysis that answers questions such as \Which statements might a ect the computation of variable v at statement s?" or \Which statements depend on the ...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
This paper presents Kato, a tool that implements a novel class of optimizations that are inspired by program slicing for imperative languages but are applicable to analyzable decl...
SCP
2010
13 years 8 months ago
2010
One of the most challenging tasks a programmer can face is attempting to analyse and understand a legacy assembler system. Many features of assembler make analysis difficult, and ...
ISBI
2004
IEEE
14 years 11 months ago
2004
IEEE
We report a method for semi-automated segmentation of extended features such as filamentous structures in electron tomograms. We present an application of this method for the auto...