981 search results - page 103 / 197 » Symbolic pointer analysis |
ESOP
2008
Springer
13 years 12 months ago
2008
Springer
In this work we address the problem of proving, by static analysis means, that allocating and deallocating regions in the store provides a safe way to achieve memory management. Th...
DOCENG
2003
ACM
14 years 3 months ago
2003
ACM
An integrated OCR system for mathematical documents, called INFTY, is presented. INFTY consists of four procedures, i.e., layout analysis, character recognition, structure analysi...
TCOM
2010
13 years 8 months ago
2010
—In this paper we analyze an adaptive downstream multichannel VDSL precoder that is based on error signal feedback. The analysis presents sufficient conditions for precoder conv...
SODA
2010
ACM
14 years 7 months ago
2010
ACM
We consider the complexity of sorting strings in the model that counts comparisons between symbols and not just comparisons between strings. We show that for any set of strings S ...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper, we present a statistical analysis of the peak-to-average power ratio (PAPR) for non-contiguous orthogonal frequency division multiplexing (NC-OFDM) signals. When...