458 search results - page 62 / 92 » Symbolic Object Code Analysis |
155
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Current OFDM systems assume the channel is not time varying within one OFDM frame, and use channel estimates obtained from preamble or pilots for data symbols within the same f...
107
click to vote
WCRE
2002
IEEE
15 years 2 months ago
2002
IEEE
Scientific, symbolic, and multimedia applications present diverse computing workloads with different types of inherent parallelism. Tomorrow’s processors will employ varying com...
TWC
2008
14 years 9 months ago
2008
Abstract-- We present a unified detection framework for spatial multiplexing multiple-input multiple-output (MIMO) systems by generalizing Heller's classical feedback decoding...
107
click to vote
ECOOP
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...