951 search results - page 25 / 191 » On the Computation of Correctly-Rounded Sums |
125
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
121
click to vote
VTS
1995
IEEE
15 years 7 months ago
1995
IEEE
Optimized locally exhaustive test pattern generators based on linear sums promise a low overhead, but have an irregular structure. The paper presents a new algorithm able to compu...
145
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We study the MIMO broadcast channel and compare the achievable throughput for the optimal strategy of dirty paper coding to that achieved with sub-optimal and lower complexity lin...
122
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
107
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper proposes the opportunistic power allocation (OPA) scheme for random beamforming with a limited feedback rate. Without the channel state information, the prop...