9186 search results - page 37 / 1838 » A Module System for Scheme |
POPL
2004
ACM
14 years 8 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Recent and next-generation wireless broadcasting standards, such as DVB-T2 or DVB-NGH, are considering distributed multi-antenna transmission in order to increase bandwidth effic...
ICCS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The high level of abstraction necessary to teach data structures and algorithmic schemes has been more than a hindrance to students. In order to make a proper approach to...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
The combination of source coding with decoder side-information (Wyner-Ziv problem) and channel coding with encoder side-information (Gel'fand-Pinsker problem) can be optimall...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we study the possibility of throughput improvement through precoding in OFDMA based wireless systems with limited channel feedback. Precoding can increase the overal...