4716 search results - page 354 / 944 » Iterative-free program analysis |
176
click to vote
JCDL
2003
ACM
15 years 12 months ago
2003
ACM
A musical piece typically has a repetitive structure. Analysis of this structure will be useful for music segmentation, indexing and thumbnailing. This paper presents an algorithm...
194
click to vote
ICSE
1997
IEEE-ACM
15 years 11 months ago
1997
IEEE-ACM
We apply mathematical concept analysis in order to modularize legacy code. By analysing the relation between procedures and global variables, a so-called concept lattice is constr...
172
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
147
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper we give an overview of applications of Constraint Programming for IP (Internet Protocol) data networks, and discuss the problem of Resilience Analysis in mo...
130
click to vote
SNPD
2007
15 years 8 months ago
2007
As malicious code has become more sophisticated and pervasive, faster and more effective system for forensics and prevention is important. Particularly, quick analysis of polymorp...