12272 search results - page 103 / 2455 » Experimental program analysis |
120
Voted
MM
2005
ACM
15 years 6 months ago
2005
ACM
To locate a video clip in large collections is very important for retrieval applications, especially for digital rights management. In this paper, we present a novel technique for...
102
Voted
CC
2002
Springer
15 years 20 days ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
72
Voted
TCS
2002
15 years 14 days ago
2002
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes set-sharing. In th...
102
click to vote
ICPP
1996
IEEE
15 years 5 months ago
1996
IEEE
This paper presents the design and preliminary implementation of MpPVM, a software system that supports process migration for PVM application programs in a non-dedicated heterogen...
129
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...