12084 search results - page 216 / 2417 » Effect Systems with Subtyping |
274
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
248
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: An alternative to standard approaches to uncover biologically meaningful structures in micro array data is to treat the data as a blind source separation (BSS) problem...
237
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
204
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Implementing real-time video processing systems put high requirements on computation and memory performance. FPGAs have proven to be effective implementation architecture for thes...
137
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper studies orthogonal frequency-division multiplexing (OFDM) systems employing coded modulation. Clipping is applied to reduce the peak-to-average-power-ratio (PAPR) of ...