180 search results - page 23 / 36 » Program transformation for numerical precision |
PLDI
1997
ACM
13 years 11 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
PLDI
1999
ACM
13 years 12 months ago
1999
ACM
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...
PLDI
2003
ACM
14 years 24 days ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
ALDT
2009
Springer
14 years 2 months ago
2009
Springer
This paper is devoted to sequential decision problems with imprecise probabilities. We study the problem of determining an optimal strategy according to the Hurwicz criterion in de...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Stereo matching is an active area of research in image processing. In a recent work, a convex programming approach was developed in order to generate a dense disparity field. In ...