981 search results - page 58 / 197 » Symbolic pointer analysis |
ISMIR
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we describe a novel automatic cluster analysis method for symbolic music. The method contains both a surface level and a paradigmatic level analysing block and work...
IPPS
1995
IEEE
14 years 14 days ago
1995
IEEE
Abstract. To e ectively parallelize real programs, parallelizing compilers need powerful symbolic analysis techniques 13, 6 . In previous work we have introduced an algorithm calle...
LCPC
1995
Springer
14 years 13 days ago
1995
Springer
Abstract. To e ectively parallelize real programs, parallelizing compilers need powerful symbolic analysis techniques 13, 6]. In previous work we have introduced an algorithm calle...
ICDAR
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper, we propose a new approach for symbolic representation of off-line signatures based on relative distances between centroids useful for verification. Distances betwee...
PASTE
2005
ACM
14 years 2 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...