1145 search results - page 116 / 229 » The Correctness of an Optimized Code Generation |
148
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
123
click to vote
LCPC
1999
Springer
15 years 8 months ago
1999
Springer
The traditional target machine of a parallelizing compiler can execute code sections either serially or in parallel. In contrast, targeting the generated code to a speculative para...
159
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
183
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Graphics processing units (GPUs) provide a low cost platform for accelerating high performance computations. The introduction of new programming languages, such as CUDA and OpenCL...
122
Voted
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Boundary overflows are caused by violation of constraints, mostly limiting the range of internal values of a program, and can be provoked by an intruder to gain control of or acce...