1560 search results - page 21 / 312 » Order Functions and Evaluation Codes |
PEPM
1998
ACM
13 years 11 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
Abstract. The combination of a language with ne-grain implicit parallelism and a data
ow evaluation scheme is suitable for high-level programming on massively parallel architectur...
DAC
1995
ACM
13 years 11 months ago
1995
ACM
High-level synthesis (HLS) has been successfully targeted towards the digital signal processing (DSP) domain. Both application-speci c integrated circuits (ASICs) and application-...
VTC
2006
IEEE
14 years 1 months ago
2006
IEEE
— New space-time trellis codes with 4-PSK, 8-PSK and 16-QAM for two transmit antennas in slow fading channels are proposed in this paper. The codes are designed specifically to ...
AAAI
2011
12 years 7 months ago
2011
We study iterative randomized greedy algorithms for generating (elimination) orderings with small induced width and state space size - two parameters known to bound the complexity...