1852 search results - page 89 / 371 » Block-level link analysis |
CGO
2005
IEEE
15 years 6 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
88
Voted
ISI
2005
Springer
15 years 6 months ago
2005
Springer
This work identifies the limitations of n-way data analysis techniques in multidimensional stream data, such as Internet chatroom communications data, and establishes a link betwe...
84
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use link...
92
Voted
PATMOS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. An extensible and configurable processor is a programmable platform offering the possibility to customize the instruction set and/or underlying microarchitecture. Efficie...
TOOLS
1998
IEEE
15 years 4 months ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...