4166 search results - page 532 / 834 » A modular module system |
257
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
171
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Regime switching models, in which the state of the world is locally stationary, are a useful abstraction for many continuous valued data streams. In this paper we develop an onlin...
155
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Dataflow descriptions have been used in a wide range of Digital Signal Processing (DSP) applications, such as multi-media processing, and wireless communications. Among various f...
148
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Trellis-coded modulation (TCM) is an attractive coded modulation technique which yields significant coding gain without bandwidth expansion. So far, researches concerning the o...
165
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We examine the application of current research in sparse signal recovery to the problem of channel estimation. Specifically, using an Orthogonal Frequency Division Multiplexed (O...