4722 search results - page 526 / 945 » Representation-independent program analysis |
189
click to vote
CC
2007
Springer
16 years 28 days ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
160
click to vote
APSEC
2005
IEEE
16 years 11 days ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
193
click to vote
MM
2005
ACM
16 years 9 days 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...
185
click to vote
PLDI
2005
ACM
16 years 9 days ago
2005
ACM
We present a new technique, path slicing, that takes as input a possibly infeasible path to a target location, and eliminates all the operations that are irrelevant towards the re...
173
Voted
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...