2000 search results - page 233 / 400 » Program Transformation and Proof Transformation |
133
click to vote
PLDI
1999
ACM
15 years 8 months ago
1999
ACM
Previous selective dynamic compilation systems have demonstrated that dynamic compilation can achieve performance improvements at low cost on small kernels, but they have had diff...
115
click to vote
ECRTS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
138
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
We develop virtual machines and compilers for a multi-level language, which supports multi-stage specialization by composing program fragments with quotation mechanisms. We conside...
130
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
Multi-processor architectures have gained interest recently because of their ability to exploit programmable silicon parallelism at acceptable power-efficiency figures. Despite th...
130
click to vote
DMDW
2001
15 years 5 months ago
2001
The problem of data cleaning, which consists of removing inconsistencies and errors from original data sets, is well known in the area of decision support systems and data warehou...