981 search results - page 180 / 197 » Symbolic pointer analysis |
102
Voted
GLOBECOM
2008
IEEE
15 years 15 days ago
2008
IEEE
Selection cooperation is proposed for rateless coded relaying by developing a novel low-complexity protocol that exploits all source-destination, source-relay, and relay-destinatio...
112
click to vote
AMAI
2007
Springer
15 years 15 days ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
116
Voted
COMGEO
2010
ACM
15 years 14 days ago
2010
ACM
: We present a method to compute the exact topology of a real algebraic surface S, implicitly given by a polynomial f Q[x,y,z] of arbitrary total degree N. Additionally, our analy...
99
Voted
JSAC
2008
15 years 10 days ago
2008
In this paper, we propose a new precoding algorithm for orthogonalized spatial multiplexing (OSM) systems over flatfading multiple-input multiple-output (MIMO) channels. The OSM sc...
120
click to vote
ENTCS
2007
15 years 9 days ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...