1742 search results - page 43 / 349 » An Applicative Module Calculus |
95
Voted
ISCAS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—This paper presents a high-speed digital feedforward Delta-Sigma Modulator which relaxes timing requirement for the Dynamic Element Matching (DEM) algorithm. By making t...
VTC
2007
IEEE
15 years 8 months ago
2007
IEEE
— A special kind of symbol-wise puncturing is applied to the code symbols of a constituent trellis coded modulation (TCM) within two very bandwidth-efficient concatenated coding...
222
Voted
POPL
2009
ACM
16 years 2 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
118
click to vote
TCS
2008
15 years 2 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
110
Voted
ICASSP
2009
IEEE
15 years 9 months ago
2009
IEEE
This paper describes a method for designing oversampled DFT filter banks (FB) optimized for subband acoustic echo cancellation (AEC). For this application, the design requirements...