981 search results - page 180 / 197 » Symbolic pointer analysis |
GLOBECOM
2008
IEEE
13 years 9 months 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...
AMAI
2007
Springer
13 years 9 months 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...
COMGEO
2010
ACM
13 years 9 months 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...
JSAC
2008
13 years 8 months 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...
ENTCS
2007
13 years 8 months 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 ...