981 search results - page 65 / 197 » Symbolic pointer analysis |
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
POPL
1998
ACM
14 years 1 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
—In this paper, we analyze the maximum likelihood decoding performance of non-regenerative cooperation employing Alamouti scheme. Specifically, we derive two closed-form express...
GLOBECOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—In this paper we present an analytical approach to evaluate the M-QAM symbol error rate (SER) of Alamouti space time coded OFDM direct conversion receivers subject to carrier fr...
ICTAC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...