981 search results - page 77 / 197 » Symbolic pointer analysis |
WCNC
2010
IEEE
14 years 25 days ago
2010
IEEE
—It is well known that symbol timing offsets larger than the cyclic prefix as well as carrier frequency offsets between transmitter and receiver stations destroy the orthogonali...
TWC
2008
13 years 8 months ago
2008
Space-time block codes (STBC) using coordinate interleaved orthogonal designs (CIOD) proposed recently by Khan and Rajan allow single-complex symbol decoding and offer higher data ...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
A major feature of new mobiles terminals using penbased interfaces, such as personal assistants or e-book, is their personal character, implying that a good interface should be ea...
SBMF
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...