1626 search results - page 116 / 326 » Subtyping with Power Types |
148
Voted
JACM
2007
15 years 4 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
144
Voted
VISUALIZATION
1992
IEEE
15 years 8 months ago
1992
IEEE
algorithms as networks of modules. The data flow architecture is popular because of the flexibility of mixing calculation modules with display modules, and because of its easy grap...
134
click to vote
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper the fading multiple antenna (MIMO) wire-tap channel is investigated under short term power constraints. The secret diversity gain and the secret multiplexing gain ar...
135
click to vote
FPGA
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes a technique that reduces dynamic power in FPGAs by reducing the number of glitches in the global routing resources. The technique involves adding programmable...
129
click to vote
AHS
2006
IEEE
15 years 10 months ago
2006
IEEE
Adaptive antenna technology represents the most advanced smart antenna approach to date. Using a variety of new signal-processing algorithms, the adaptive system takes advantage o...