981 search results - page 152 / 197 » Symbolic pointer analysis |
ANSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper introduces a resource allocation strategy which focuses on minimizing power consumption in Orthogonal Frequency Division Multiplexing(OFDM) systems. In case of multi...
CIVR
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a new approach for building semantic image indexing and retrieval systems. Our approach is composed of four phases : (1) knowledge acquisition, (2) weakly-super...
ICALP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
ISSAC
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...