503 search results - page 11 / 101 » Equality In Lazy Computation Systems |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
For single-carrier systems with frequency domain equalization, decision feedback equalization (DFE) performs better than linear equalization and has much lower computational compl...
VTC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This study proposes an efficient way of interference mitigation for ultra-wideband energy detection. A receiver for pulse position modulation systems is investigated. The inter...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Clipping and filtering is an attractive method for the reduction of the PAPR of OFDM signals before transmission. However, the resulting in-band distortion noise impacts the e...
MSCS
2008
13 years 9 months ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
CSFW
1996
IEEE
14 years 1 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...