274 search results - page 23 / 55 » The Design of the YAP Compiler: An Optimizing Compiler for L... |
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
TVCG
2010
13 years 5 months ago
2010
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
VEE
2005
ACM
14 years 1 months ago
2005
ACM
We introduce a strategy for inlining native functions into JavaTM applications using a JIT compiler. We perform further optimizations to transform inlined callbacks into semantica...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Power leakage constitutes an increasing fraction of the total power consumption in modern semiconductor technologies. Recent research efforts have tried to integrate architecture...