526 search results - page 60 / 106 » Towards the Verifying Compiler |
EUROPAR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs (from now on, computational kernel...
HIPEAC
2005
Springer
15 years 3 months ago
2005
Springer
This article aims at making iterative optimization practical and usable by speeding up the evaluation of a large range of optimizations. Instead of using a full run to evaluate a s...
HICSS
1997
IEEE
15 years 2 months ago
1997
IEEE
The SB-PRAM is a massively parallel, uniform memory access (UMA) shared memory computer. The main ideas of the design are multithreading on instruction level, hashing of the addre...
LFP
1992
14 years 11 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
We have implemented a two-stage language, Paradise, for building reusable components which are used to price financial products. Paradise is embedded in Haskell and makes heavy us...