12272 search results - page 94 / 2455 » Experimental program analysis |
AAAI
2010
15 years 2 months ago
2010
In a previous paper, Liu argued for the importance of establishing a precise theoretical foundation for program debugging from first principles. In this paper, we present a first ...
93
Voted
CC
2006
Springer
15 years 4 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
108
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
132
Voted
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
145
Voted
MM
2010
ACM
15 years 1 months ago
2010
ACM
This paper proposes a new framework to formulate the problem of rushes video summarization as an unsupervised learning problem. We pose the problem of video summarization as one o...