320 search results - page 26 / 64 » Conditionals and consequences |
SEUS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
TIT
2011
13 years 4 months ago
2011
We consider a dense K user Gaussian interference network formed by paired transmitters and receivers placed independently at random in a fixed spatial region. Under natural condi...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
We consider the problem of energy-efficient point-to-point transmission of delay-sensitive data (e.g. multimedia data) over a fading channel. We propose a rigorous and unified fra...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this work we derive the maximum likelihood estimator for passive wavefront curvature ranging systems operating in environments subject to a spatial coherence loss. As a consequ...
CLUSTER
2011
IEEE
12 years 9 months ago
2011
IEEE
— In this paper, we propose a light-weight asynchronous message progression mechanism for large message transfers in Message Passing Interface (MPI) Rendezvous protocol that is s...