981 search results - page 174 / 197 » Symbolic pointer analysis |
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
Oscillator phase noise (PN) in orthogonal frequency division multiplexing (OFDM) systems can cause severe performance degradation. In contrary to the assumptions made previously, r...
ICFP
2005
ACM
14 years 2 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
ACNS
2005
Springer
14 years 2 months ago
2005
Springer
Recently, several public key exchange protocols based on symbolic computation in non-commutative (semi)groups were proposed as a more efficient alternative to well established prot...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
Code bloat, the excessive increase of code size, is an important issue in Genetic Programming (GP). This paper proposes a theoretical analysis of code bloat in the framework of sy...
ISSAC
2005
Springer
14 years 2 months ago
2005
Springer
We reduce the problem of computing the rank and a nullspace basis of a univariate polynomial matrix to polynomial matrix multiplication. For an input n×n matrix of degree d over ...