981 search results - page 152 / 197 » Symbolic pointer analysis |
144
click to vote
ANSS
2006
IEEE
16 years 23 hour 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...
161
click to vote
VTC
2006
IEEE
15 years 12 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...
205
click to vote
CIVR
2005
Springer
15 years 11 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...
154
click to vote
ICALP
2005
Springer
15 years 11 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...
153
click to vote
ISSAC
2005
Springer
15 years 11 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 ...