4716 search results - page 417 / 944 » Iterative-free program analysis |
184
click to vote
ICAPR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
170
click to vote
VMCAI
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
185
click to vote
AOSD
2004
ACM
16 years 7 days ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
207
click to vote
MM
2004
ACM
16 years 7 days ago
2004
ACM
In this paper, we present a novel approach for music structure analysis. A new segmentation method, beat space segmentation, is proposed and used for music chord detection and voc...
184
click to vote
SAS
2004
Springer
16 years 4 days ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...