Sciweavers

422 search results - page 8 / 85
» On combinations of CMA equalizers
Sort
View
LICS
2010
IEEE
14 years 8 months ago
Equality Is Typable in Semi-full Pure Type Systems
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
Vincent Siles, Hugo Herbelin
CORR
2010
Springer
147views Education» more  CORR 2010»
14 years 9 months ago
Chunky and Equal-Spaced Polynomial Multiplication
Finding the product of two polynomials is an essential and basic problem in computer algebra. While most previous results have focused on the worst-case complexity, we instead emp...
Daniel S. Roche
IEICET
2006
70views more  IEICET 2006»
14 years 9 months ago
Subcarrier Block Power Control for Adaptive Downlink OFDM with Frequency Spreading and Equalization
In this paper, we propose the transmit power controlled adaptive downlink frequency symbol spreading OFDM (TPC-AMS/FSS-OFDM) system. In the TPC-AMS/FSSOFDM, each serial to paralle...
Nam-Su Kim, Sungho Cho, Chang-Jun Ahn
INFOCOM
2009
IEEE
15 years 4 months ago
All Bits Are Not Equal - A Study of IEEE 802.11 Communication Bit Errors
—In IEEE 802.11 Wireless LAN (WLAN) systems, techniques such as acknowledgement, retransmission, and transmission rate adaptation, are frame-level mechanisms designed for combati...
Bo Han, Lusheng Ji, Seungjoon Lee, Bishwaranjan Bh...
66
Voted
VMCAI
2005
Springer
15 years 3 months ago
Checking Herbrand Equalities and Beyond
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
Markus Müller-Olm, Oliver Rüthing, Helmu...